Arithmetic Circuits Verification without Looking for Internal Equivalences.
Omid SarbisheiBijan AlizadehMasahiro FujitaPublished in: MEMOCODE (2008)
Keyphrases
- asynchronous circuits
- model checking
- delay insensitive
- internal and external
- high speed
- arithmetic operations
- verification method
- digital circuits
- database
- face verification
- internal states
- floating point
- relational algebra
- connected components
- analog vlsi
- neural network
- vlsi circuits
- lateral inhibition
- formal verification
- logic synthesis
- electronic circuits
- internal state
- low cost
- data sets
- real time