Assertion-based on-line verification and debug environment for complex hardware systems.
Kevin PetersonYvon SavariaPublished in: ISCAS (2) (2004)
Keyphrases
- complex systems
- operating environment
- computer systems
- real time
- hardware designs
- low cost
- massively parallel
- complex environments
- embedded systems
- real world
- mobile robot
- high end
- knowledge based systems
- physical systems
- computing systems
- hardware implementation
- autonomous systems
- changing environment
- dynamic environments
- expert systems
- hardware and software
- image processing
- software systems
- formal methods
- programming environment
- high level
- distributed systems
- management system
- neural network