A technique for designing self-checking logic for FPGAs.

Parag K. Lala Alfred L. Burress

Published in: ISCAS (1) (1999)

Keyphrases

logic programming
modal logic
automated reasoning
classical logic
database
data sets
case study
defeasible logic
parallel architectures
hardware software