Correctness verification of VLSI modules supported by a very efficient Boolean prover.

P. Lammens Luc J. M. Claesen Hugo De Man

Published in: ICCD (1989)

Keyphrases

signal processing
cost effective
computationally efficient
computationally expensive
database
real world
knowledge base
multiscale
data streams
real valued
boolean functions
theorem prover
vlsi design