At-Speed Logic BIST for IP Cores.

B. Cheon E. Lee Laung-Terng Wang Xiaoqing Wen P. Hsu J. Cho J. Park H. Chao Shianling Wu

Published in: DATE (2005)

Keyphrases

built in self test
high speed
logic programming
logic programs
multi valued
classical logic
database
real time
modal logic
automated reasoning
logical framework
defeasible logic
multi core processors