System-level design verification in the AT&T computer division: overview and strategy.
Miron AbramoviciJ. W. BierbauerR. H. HellmanC. L. HongDavid T. MillerR. G. TaylorPublished in: ICCD (1989)
Keyphrases
- design process
- case study
- design methodology
- artificial intelligence
- formal verification
- optimal design
- computer aided
- building blocks
- knowledge based systems
- computer systems
- functional verification
- formal methods
- conceptual framework
- data sets
- evolutionary algorithm
- user interface
- multiscale
- database systems
- decision trees
- decision making
- computer vision
- neural network