Cellular Automata Based Test Structures with Logic Folding.

Biplab K. Sikdar Sukanta Das Samir Roy Niloy Ganguly Debesh K. Das

Published in: VLSI Design (2005)

Keyphrases

databases
cellular automata
database
logic programming
modal logic
logical framework
test cases
automated reasoning
multi valued
classical logic
relational structures