Specification-driven automated conformance checking for virtual prototype and post-silicon designs.
Haifeng GuMingsong ChenTongquan WeiLi LeiFei XiePublished in: DAC (2018)
Keyphrases
- data driven
- virtual environment
- high speed
- virtual reality
- virtual world
- semi automated
- augmented reality
- specification language
- high density
- database
- protocol specification
- manual inspection
- low cost
- data sets
- fully automated
- reactive systems
- semi automatic
- formal specification
- test bed
- computer aided
- np complete
- data model
- information systems
- real time