책 이미지
책 정보
· 제목 : Theoretical Foundations of VLSI Design (Paperback) 
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전자공학 > 회로
· ISBN : 9780521545655
· 쪽수 : 452쪽
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전자공학 > 회로
· ISBN : 9780521545655
· 쪽수 : 452쪽
목차
Introduction; Part I. Formal Methods and Verification: 1. A mechanised proof of correctness of a simple counter; 2. A formal model for the hierarchical design of synchronous and systolic algorithms; 3. Correctness proofs for systolic algorithms; 4. A palindrome recogniser; Part II. Theory and Methodology of Design: 5. Formal specification of a digital correlator; 6. Describing and reasoning about circuits using relations; Part III. Models of Circuits and Complexity Theory: 7. Superpolynomial bounds on monotone network complexity; 8. The prioritiser experiment; 9. Estimation and measurement of computation time in VLSI.
추천도서
분야의 베스트셀러 >