System-level design verification in the AT&T Computer Division: tools.
Miron AbramoviciJames J. KulikowskiDavid T. MillerPrem R. MenonPublished in: ICCD (1989)
Keyphrases
- design tools
- formal methods
- software tools
- design space
- higher level
- design decisions
- neural network
- interactive systems
- levels of abstraction
- design methodology
- engineering design
- design principles
- building blocks
- user interface
- case study
- computer technology
- design process
- computer systems
- information systems
- data sets