HOOVER: Hardware Object-Oriented Verification.
Mostafa M. ArefKhaled M. ElleithyPublished in: Great Lakes Symposium on VLSI (1998)
Keyphrases
- object oriented
- hardware designs
- low cost
- hardware and software
- real time
- object oriented programming
- object oriented databases
- relational databases
- hardware implementation
- image processing
- programming language
- database applications
- face verification
- embedded systems
- verification method
- model checking
- database design
- object oriented modeling
- database schema
- vlsi implementation
- hardware architecture
- computing systems
- data model
- object oriented database systems
- computer systems
- neural network
- industry standard
- asynchronous circuits
- database systems
- query language
- software engineering
- conceptual models
- high end
- control system
- personal computer
- hardware software
- general purpose
- database management systems
- programming interface
- data sets