Induction-Based Gate-Level Verification of Multipliers.

Ying-Tsai Chang Kwang-Ting Cheng

Published in: ICCAD (2001)

Keyphrases

model checking
levels of abstraction
data sets
data mining
artificial intelligence
face recognition
multiscale
optimal solution
inductive logic programming
formal verification