책 이미지
eBook 미리보기
책 정보
· 제목 : Assertion-Based Design (Hardcover, 2, 2004)
· 분류 : 외국도서 > 컴퓨터 > 로직 설계
· ISBN : 9781402080272
· 쪽수 : 390쪽
· 출판일 : 2004-05-19
· 분류 : 외국도서 > 컴퓨터 > 로직 설계
· ISBN : 9781402080272
· 쪽수 : 390쪽
· 출판일 : 2004-05-19
목차
Assertion Methodology.- Specifying RTL Properties.- PLI-Based Assertions.- Functional Coverage.- Assertion Patterns.- Assertion Cookbook.- Specifying Correct Behavior.
