Real Hardware Verification by Software for Bootstrap Using TSC.
Kunio MiyamotoHidehiko TanakaPublished in: DASC (2009)
Keyphrases
- hardware designs
- hardware design
- personal computer
- hardware platforms
- computer systems
- low cost
- source code
- software systems
- industry standard
- software architecture
- embedded systems
- software implementation
- blue gene
- commercial off the shelf
- computer hardware
- control unit
- software design
- software developers
- model checking
- real time
- hardware implementation
- real life
- formal methods
- software testing
- high end
- vlsi implementation
- hardware software
- dedicated hardware
- open source
- case study
- real world