Efficient Verification and Synthesis using Design Commonalities.
Gitanjali SwamyStephen A. EdwardsRobert K. BraytonPublished in: VLSI Design (1998)
Keyphrases
- design process
- building blocks
- case study
- user interface
- databases
- design tools
- design decisions
- computer aided
- knowledge based systems
- distributed systems
- image sequences
- design principles
- database systems
- data sets
- face verification
- formal verification
- design space exploration
- logic synthesis
- functional verification