The Formal Description and Verification of Hardware Timing.
George J. MilnePublished in: IEEE Trans. Computers (1991)
Keyphrases
- asynchronous circuits
- hardware designs
- low cost
- model checking
- real time
- hardware and software
- image processing
- computer systems
- hardware architecture
- formal verification
- formal specification
- face verification
- hardware implementation
- computing power
- personal computer
- computing platform
- embedded systems
- high end
- data acquisition
- vlsi implementation
- video sequences
- control program
- information systems