책 이미지
eBook 미리보기
책 정보
· 제목 : Formal Verification : An Essential Toolkit for Modern VLSI Design (Paperback, 2 ed)
· 분류 : 외국도서 > 건축/디자인 > 디자인 > 제품
· ISBN : 9780323956123
· 쪽수 : 424쪽
· 출판일 : 2023-05-26
· 분류 : 외국도서 > 건축/디자인 > 디자인 > 제품
· ISBN : 9780323956123
· 쪽수 : 424쪽
· 출판일 : 2023-05-26
목차
1. Formal verification: From dreams to reality
2. Basic formal verification algorithms
3. Introduction to systemverilog assertions
4. Formal property verification
5. Effective FPV for design exercise
6. Effective FPV for verification
7. FPV "Apps" for specific SOC problems
8. Formal equivalence verification
9. Formal verification’s greatest bloopers: The danger of false positives
10. Dealing with complexity
11. The Road to Formal Signoff
12. Putting it All Together
13. Your new FV-aware lifestyle
