Object oriented hardware synthesis and verification.
Tommy KuhnTobias OppoldC. Schulz-KeyMarkus WinterholerWolfgang RosenstielMark EdwardsYaron KashaiPublished in: ISSS (2001)
Keyphrases
- object oriented
- hardware designs
- low cost
- relational databases
- hardware and software
- real time
- hardware implementation
- data model
- programming language
- model checking
- object oriented databases
- object oriented programming
- formal verification
- database design
- object oriented modeling
- texture synthesis
- verification method
- industry standard
- object oriented languages
- programming interface
- asynchronous circuits
- hardware architecture
- computing power
- object oriented database systems
- face verification
- database schema
- design patterns
- computer systems
- neural network
- vlsi implementation
- parallel hardware
- object oriented concepts
- databases
- data sets