Hierarchical design verification for large digital systems.
Tohru SasakiAkihiko YamadaToshinori AoyamaKatsutoshi HasegawaShunichi KatoShinichi SatoPublished in: DAC (1981)
Keyphrases
- design criteria
- formal methods
- circuit design
- design issues
- design process
- artificial intelligence
- design decisions
- building blocks
- knowledge based systems
- intelligent systems
- model checking
- design patterns
- design principles
- design methodology
- human computer interface
- user interface
- digital circuits
- neural network
- design requirements
- highly modular