RaceCheck: A race logic audit program for ESL-based soc designs.
Terence ChanPublished in: APCCAS (2008)
Keyphrases
- programs written
- language learning
- application specific integrated circuits
- logic programming
- declarative semantics
- hardware and software
- intrusion detection
- design principles
- classical logic
- test cases
- computer programs
- static analysis
- control program
- modal logic
- student learning
- statistically significant
- design space
- multi valued
- computer assisted language learning
- low cost