A BIST scheme for RTL controller-data paths based on symbolic testability analysis

Mathematics

• Built-in Self-test 100%
• Symbolic Analysis 80%
• Controller 49%
• Path 35%
• Module 13%
• Data Flow 13%
• Signal Control 7%
• Testing 7%
• Universities 6%
• Fault 6%
• Insertion 5%
• Architecture 5%
• Libraries 5%
• Observability 5%
• Exercise 5%
• Justification 5%
• Experimental Results 5%
• Coverage 5%
• Benchmark 5%
• Signature 4%
• Controllability 4%
• Propagation 4%
• Output 3%
• Generator 3%
• Cycle 3%
• Necessary 3%

Engineering & Materials Science

• Built-in self test 64%
• Networks (circuits) 28%
• Controllers 27%
• Observability 8%
• Controllability 7%
• Testing 7%