Verifying hardware in its software context.
Robert P. KurshanVladimir LevinMarius MineaDoron A. PeledHüsnü YenigünPublished in: ICCAD (1997)
Keyphrases
- computer systems
- hardware design
- embedded systems
- low cost
- hardware software
- software implementation
- source code
- personal computer
- context sensitive
- hardware platforms
- software maintenance
- software systems
- contextual information
- real time
- context aware
- software development
- high end
- software design
- computer hardware
- control software
- context dependent
- hardware and software
- user interface
- neural network
- dedicated hardware
- windows xp
- hardware description language
- industry standard
- circuit design
- data flow
- software tools
- software architecture
- operating system