책 이미지
eBook 미리보기
책 정보
· 제목 : A Practical Guide for SystemVerilog Assertions (Hardcover)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전기공학
· ISBN : 9780387260495
· 쪽수 : 334쪽
· 출판일 : 2005-06-21
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전기공학
· ISBN : 9780387260495
· 쪽수 : 334쪽
· 출판일 : 2005-06-21
목차
Assertion Based Verification.- to SVA.- SVA Simulation Methodology.- SVA for Finite State Machines.- SVA for Data Intensive Designs.- SVA for Memories.- SVA for Protocol Interface.- Checking the Checker.
