Resolution-based correctness proofs of synchronous circuits.

Paolo Camurati Tiziana Margaria Paolo Prinetto

Published in: EURO-DAC (1991)

Keyphrases

theorem proving
consequence finding
formal proofs
high speed
theorem prover
tunnel diode
analog vlsi
logic synthesis
circuit design
high resolution
social networks
learning algorithm
databases
multiresolution
computer programs
provably correct
real world
real time
mathematical proofs
database