책 이미지
eBook 미리보기
책 정보
· 제목 : Hardware Description Languages and Their Applications: Specification, Modelling, Verification and Synthesis of Microelectronic Systems (Paperback, Softcover Repri) (Specification, Modelling, Verification and Synthesis of Microelectronic Systems)
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9781475753875
· 쪽수 : 350쪽
· 출판일 : 2013-01-08
· 분류 : 외국도서 > 컴퓨터 > 프로그래밍 언어 > 일반
· ISBN : 9781475753875
· 쪽수 : 350쪽
· 출판일 : 2013-01-08
목차
Specification and design of reactive systems. Verification using model checking techniques. Formal characterizations of systems. Analog languages. Languages in design flows. Future trends in hardware design. Formal methods for aynchronous and distributed systems. VHDL. Index of contributors. Keyword index.
