Formal hardware specification and verification using prolog.
Zmago BrezocnikBogomir HorvatPublished in: Microprocessing and Microprogramming (1989)
Keyphrases
- formal methods
- formal specification
- model checking
- formal verification
- formal analysis
- concurrent systems
- reactive systems
- hardware designs
- logic programming
- low cost
- formal language
- protocol specification
- specification languages
- hardware and software
- asynchronous circuits
- expert systems
- operational semantics
- specification language
- real time
- programming language
- formal languages
- parallel hardware
- knowledge base
- massively parallel
- abstract machine
- software engineering
- theorem proving
- computer systems
- hardware implementation
- embedded systems
- verification method
- requirements specification
- high level
- face verification
- data acquisition
- temporal logic
- personal computer
- vlsi implementation
- computing systems
- hardware design
- signature verification