In-system testing of Xilinx 7-Series FPGAs: Part 1-logic.

Harmish Modi Peter Athanas

Published in: MILCOM (2015)

Keyphrases

field programmable gate array
hardware implementation
fpga implementation
high speed
logic programming

embedded systems
computational properties
defeasible logic
application specific integrated circuits
test data

test set
probability theory
multi valued
formal verification
digital circuits

predicate logic
software engineering
programmable logic
sound and complete axiomatization