책 이미지
책 정보
· 제목 : Verification Methodology Manual for Systemverilog (Hardcover, 2006)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전기공학
· ISBN : 9780387255385
· 쪽수 : 503쪽
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전기공학
· ISBN : 9780387255385
· 쪽수 : 503쪽
목차
Verification Planning.- Assertions.- Testbench Infrastructure.- Stimulus and Response.- Coverage-Driven Verification.- Assertions for Formal Tools.- System-Level Verification.- Processor Integration Verification.
