Logic Debugging of Arithmetic Circuits.
Samaneh GhandaliCunxi YuDuo LiuWalter BrownMaciej J. CiesielskiPublished in: ISVLSI (2015)
Keyphrases
- logic synthesis
- delay insensitive
- digital circuits
- logic circuits
- asynchronous circuits
- micron cmos
- model based diagnosis
- chip design
- fault models
- multi valued
- modal logic
- classical logic
- random access memory
- logic programming
- built in self test
- tunnel diode
- quantifier free
- quantum computing
- execution traces
- floating point
- high speed
- analog circuits
- fault localization
- truth values
- lateral inhibition
- predicate logic
- neural network