Test program synthesis for path delay faults in microprocessor cores.
Wei-Cheng LaiAngela KrsticKwang-Ting ChengPublished in: ITC (2000)
Keyphrases
- program synthesis
- fault diagnosis
- test cases
- recursive programs
- inductive logic programming
- built in self test
- high speed
- decision trees
- object oriented
- model based diagnosis
- shortest path
- path length
- relational learning
- databases
- logic programming
- information extraction
- expert systems
- learning algorithm
- neural network