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.