找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Enhanced Virtual Prototyping; Featuring RISC-V Cas Vladimir Herdt,Daniel Gro?e,Rolf Drechsler Book 2021 The Editor(s) (if applicable) and T

[復(fù)制鏈接]
查看: 27033|回復(fù): 47
樓主
發(fā)表于 2025-3-21 18:48:15 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
書目名稱Enhanced Virtual Prototyping
副標(biāo)題Featuring RISC-V Cas
編輯Vladimir Herdt,Daniel Gro?e,Rolf Drechsler
視頻videohttp://file.papertrans.cn/312/311264/311264.mp4
概述Provides a comprehensive set of techniques to enhance all key aspects of a Virtual Prototype (VP)-based design flow.Includes automated formal verification methods and advanced coverage-guided testing
圖書封面Titlebook: Enhanced Virtual Prototyping; Featuring RISC-V Cas Vladimir Herdt,Daniel Gro?e,Rolf Drechsler Book 2021 The Editor(s) (if applicable) and T
描述.This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects..
出版日期Book 2021
關(guān)鍵詞Virtual Prototypes at the Electronic System Level; SystemC-based Virtual Prototypes; Formal verificati
版次1
doihttps://doi.org/10.1007/978-3-030-54828-5
isbn_softcover978-3-030-54830-8
isbn_ebook978-3-030-54828-5
copyrightThe Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl
The information of publication is updating

書目名稱Enhanced Virtual Prototyping影響因子(影響力)




書目名稱Enhanced Virtual Prototyping影響因子(影響力)學(xué)科排名




書目名稱Enhanced Virtual Prototyping網(wǎng)絡(luò)公開度




書目名稱Enhanced Virtual Prototyping網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Enhanced Virtual Prototyping被引頻次




書目名稱Enhanced Virtual Prototyping被引頻次學(xué)科排名




書目名稱Enhanced Virtual Prototyping年度引用




書目名稱Enhanced Virtual Prototyping年度引用學(xué)科排名




書目名稱Enhanced Virtual Prototyping讀者反饋




書目名稱Enhanced Virtual Prototyping讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:51:33 | 只看該作者
http://image.papertrans.cn/e/image/311264.jpg
板凳
發(fā)表于 2025-3-22 03:40:36 | 只看該作者
地板
發(fā)表于 2025-3-22 06:41:11 | 只看該作者
5#
發(fā)表于 2025-3-22 12:46:43 | 只看該作者
https://doi.org/10.1007/978-3-030-28936-2), which is the language of choice to create Virtual Prototypes (VPs). Then, the main concepts of the RISC-V Instruction Set Architecture (ISA) are described. RISC-V is used in several evaluations and case studies in this book and is the ISA implemented in our proposed open-source RISC-V based VP. F
6#
發(fā)表于 2025-3-22 13:52:26 | 只看該作者
https://doi.org/10.1007/978-94-6091-478-2the RISC-V ecosystem. The VP provides a 32/64 bit RISC-V core with an essential set of peripherals and support for multi-core simulations. In addition, the VP also provides SW debug (through the Eclipse IDE) and coverage measurement capabilities and supports the FreeRTOS, Zephyr and Linux operating
7#
發(fā)表于 2025-3-22 17:41:52 | 只看該作者
8#
發(fā)表于 2025-3-22 23:21:30 | 只看該作者
https://doi.org/10.1057/9780230288843ethods, which may still be susceptible to state space explosion. Compared to the existing simulation-based verification flow this chapter investigates stronger coverage metrics as well as advanced automated test-case generation and refinement techniques. In particular it considers the Data Flow Test
9#
發(fā)表于 2025-3-23 03:11:24 | 只看該作者
https://doi.org/10.1057/9780230274907tion flow by integrating stronger coverage metrics and providing automated test-case generation techniques as well as leverage formal methods. Ensuring correct functional behavior is very important to avoid errors and security vulnerabilities (such as buffer overflows). The first approach integrates
10#
發(fā)表于 2025-3-23 09:11:28 | 只看該作者
Performance of Labour Managed Firmsr management (PM) strategies can contribute a great deal to the overall power saving by putting unused components into low-power states and waking them up properly in an intelligent manner. Due to its ease of use and flexibility PW strategies are often implemented in SW. PM strategies are analyzed b
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-29 00:28
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
安康市| 通江县| 浮梁县| 德化县| 苏尼特左旗| 福建省| 金平| 南澳县| 乌拉特前旗| 富平县| 扎鲁特旗| 贡嘎县| 洛浦县| 玉树县| 镇远县| 田阳县| 武平县| 穆棱市| 吴堡县| 漳浦县| 施秉县| 赣州市| 靖远县| 秦安县| 盐城市| 察雅县| 成武县| 隆林| 上饶县| 邢台市| 济源市| 安国市| 涟源市| 庆城县| 保亭| 海淀区| 开原市| 三明市| 徐汇区| 临邑县| 兴业县|