Performance Driven BIST Technique for Random Logic.

Charles Njinda Neeraj Kaul

Published in: ITC (1995)

Keyphrases

built in self test
logic programming
classical logic
uniformly distributed
predicate logic
randomly generated
databases
website
case study
expert systems
automated reasoning
multi valued
computational properties
sound and complete axiomatization