Logic BIST: State-of-the-Art and Open Problems.

Nan Li Gunnar Carlsson Elena Dubrova Kim Petersen

Published in: CoRR (2015)

Keyphrases

open problems
built in self test
database theory
long standing
logic programming
multidatabase transaction management
multi valued
computational properties
classical logic
predicate logic
computational advertising
data sets
data structure
modal logic
integrated circuit
automated reasoning