책 이미지
eBook 미리보기
책 정보
· 제목 : Enhanced Virtual Prototyping: Featuring Risc-V Case Studies (Hardcover, 2021)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전자공학 > 회로
· ISBN : 9783030548278
· 쪽수 : 247쪽
· 출판일 : 2020-10-15
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전자공학 > 회로
· ISBN : 9783030548278
· 쪽수 : 247쪽
· 출판일 : 2020-10-15
목차
Introduction.- Preliminaries.- An Open-Source RISC-V Evaluation Platform.- Formal Verification of SystemC-based Designs using Symbolic Simulation.- Coverage-guided Testing for Scalable Virtual Prototype Verification.- Verification of Embedded Software Binaries using Virtual Prototypes.- Validation of Firmware-Based Power Management using Virtual Prototypes.- Register-Transfer Level Correspondence Analysis.- Conclusion.- Index
