Mechanical Verification of Adder Circuits using Rewrite Rule Laboratory.
Deepak KapurMahadevan SubramaniamPublished in: Formal Methods Syst. Des. (1998)
Keyphrases
- logic circuits
- asynchronous circuits
- electronic circuits
- high speed
- power dissipation
- association rules
- tunnel diode
- delay insensitive
- model checking
- rule sets
- active databases
- logic synthesis
- classification rules
- chemical engineering
- verification method
- mechanical design
- data flow
- low power
- cryptographic protocols
- digital circuits
- signature verification
- rule discovery
- rule learning
- functional verification
- massachusetts institute of technology
- real time