Truth Table Verification for one-Dimensional CMOS ILA's.

Vlad. Hert Ad J. van de Goor

Published in: Fault-Tolerant Computing Systems (1991)

Keyphrases

truth table
incremental learning algorithm
commercial systems
incremental learning
boolean functions
defeasible logic
model checking
hyperplane
dnf formulas
learning algorithm
open source
database
support vector machine
upper bound
database management systems
query processing
pairwise
log log