Experience with Specification and Verification of Hardware Using PROLOG.
Norihisa SuzukiPublished in: VLSI Engineering (1984)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- hardware designs
- real time
- knowledge representation
- low cost
- model checking
- protocol specification
- hardware and software
- control program
- formal specification
- knowledge base
- face verification
- expert systems
- computing systems
- logic programming
- programming language
- single chip
- prolog programs
- concurrent systems
- high level
- input output
- hardware design
- software engineering
- reactive systems