Mining Hardware Assertions With Guidance From Static Analysis.
Samuel HertzDavid SheridanShobha VasudevanPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2013)
Keyphrases
- static analysis
- dynamic analysis
- source code
- low cost
- malicious code
- real time
- abstract interpretation
- data mining techniques
- hardware and software
- regular expressions
- symbolic execution
- test generation
- test suite
- java card
- data mining
- knowledge discovery
- knowledge base
- building blocks
- reverse engineering
- hardware implementation
- database