An Automatic Validation Methodology for Logic BIST in High Performance VLSI Design.

Michael Cogswell Don Pearl James Sage Alan Troidl

Published in: ICCD (2000)

Keyphrases

vlsi design
design methodology
logic programming
expert systems
classical logic
built in self test
neural network
decision making
semi automatic
database
artificial intelligence
knowledge base
fully automatic
modal logic
multi valued