An Integrated Environment for Design Verification of ATE Systems.
Hamidreza HashempourFabrizio LombardiWarren NecoecheaRakesh MehtaTim AltonPublished in: IEEE Trans. Instrum. Meas. (2007)
Keyphrases
- operating environment
- case study
- design criteria
- formal methods
- high assurance
- building blocks
- artificial intelligence
- functional verification
- design issues
- real time
- mobile robot
- database systems
- software environment
- user interface
- computing systems
- embedded systems
- complex systems
- design process
- management system
- design principles
- human users
- design methodology
- knowledge based systems
- learning systems
- design space
- asynchronous circuits
- expert systems
- design requirements
- distributed multimedia
- information systems
- virtual environment