Unified Property Specification for Hardware/Software Co-Verification.
Fei XieHuaiyu LiuPublished in: COMPSAC (1) (2007)
Keyphrases
- hardware software
- hardware and software
- hw sw
- embedded systems
- formal methods
- design methodology
- high performance computing
- formal specification
- multi core processors
- model checking
- high level
- hardware software partitioning
- hardware design
- highly efficient
- computer systems
- data management
- open source
- programming language
- general purpose
- real time