Arithmetic Circuit Verification Based on Symbolic Computer Algebra.
Yuki WatanabeNaofumi HommaTakafumi AokiTatsuo HiguchiPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2008)
Keyphrases
- computer algebra
- computer algebra systems
- theorem prover
- high speed
- model checking
- circuit design
- asynchronous circuits
- formal verification
- micron cmos
- interval arithmetic
- floating point
- neural network
- automated theorem provers
- electronic circuits
- verification method
- single phase
- analog circuits
- digital circuits
- symbolic representation
- high level
- semi supervised
- genetic algorithm
- theorem proving
- formal methods
- connectionist systems
- face verification
- tunnel diode
- real time