Specification and verification of VLSI systems.

Asher Wilk Amir Pnueli

Published in: ICCAD (1989)

Keyphrases

formal methods
asynchronous circuits
management system
reactive systems
high level
distributed systems
intelligent systems
computer systems
knowledge based systems
learning systems
vlsi design
real time
computer vision
expert systems
low cost
building blocks