Formal Specification and Verification in VLSI Design
暂无分享,去创建一个
Hardware descriptive languages - describing behaviour a selection of languages CIRCAL enhanced CIRCAL specification techniques, SuperC manual design transformation automatic design validation - simulation a simple computer - informal and formal specification constraints - introductory examples and definitions specification of constraints the uses of constraints constraints and SuperC.