Title :
Testing core-based systems: a symbolic methodology
Author :
Ferrandi, Fabrizio ; Fummi, Franco ; Sciuto, Donatella ; Macii, Enrico ; Poncino, Massimo
Author_Institution :
Politecnico di Milano, Italy
Abstract :
Because they must rely on vendor-provided test patterns, designers of core-based systems are forced to use expensive scan-based test techniques. The authors´ alternative solution exploits the expressiveness of binary decision diagrams to provide test generation for the system and testability estimation and improvement of its components
Keywords :
computer testing; decision tables; logic testing; magnetic core stores; binary decision diagrams; core-based systems; scan-based test; symbolic methodology; test generation; test patterns; testability estimation; Circuit testing; Design for testability; Functional programming; Hardware design languages; Intellectual property; Logic testing; Software libraries; System testing; Test pattern generators; Very large scale integration;
Journal_Title :
Design & Test of Computers, IEEE
