Probabilistic Design Verification.
Jawahar JainJames R. BitnerDonald S. FussellJacob A. AbrahamPublished in: ICCAD (1991)
Keyphrases
- design methodology
- computer aided
- formal verification
- information systems
- artificial intelligence
- probabilistic model
- conceptual framework
- design process
- optimal design
- design tools
- design decisions
- design principles
- software architecture
- database
- knowledge based systems
- object oriented
- search engine
- neural network
- real time