A frame-based approach to hardware verification (abstract only).
Wei Si JiangWilliam G. WeePublished in: ACM Conference on Computer Science (1987)
Keyphrases
- low cost
- hardware and software
- real time
- hardware designs
- hardware implementation
- video frames
- model checking
- computing power
- computer systems
- embedded systems
- personal computer
- verification method
- frame rate
- low level
- learning algorithm
- reference frame
- formal methods
- video sequences
- field programmable gate array
- circuit design
- signature verification
- digital circuits
- software implementation
- asynchronous circuits
- high level