Logic Verification of Incomplete Functions and Design Error Location.

Qinhai Zhang Charles Trullemans

Published in: CHARME (1993)

Keyphrases

multi valued
chip design
knowledge based systems
building blocks
model checking
formal methods
functional verification
bounded model checking
logic synthesis
proof theory
logic circuits
model checker
predicate logic
neural network
engineering design
computer aided
missing data
knowledge base
information systems