AMulet 2.0 for Verifying Multiplier Circuits.
Daniela KaufmannArmin BierePublished in: TACAS (2) (2021)
Keyphrases
- high speed
- power saving
- power reduction
- floating point
- high level synthesis
- vlsi circuits
- logic synthesis
- circuit design
- analog vlsi
- analog circuits
- interior point methods
- hardware implementation
- model checking
- type ii
- logic circuits
- databases
- low power
- digital circuits
- multi threaded
- power consumption
- asynchronous circuits
- electronic circuits
- linear programming
- data structure
- objective function
- database systems
- information systems