Title
SoC Symbolic Simulation: a case study on delay fault testing
Abstract
Functional test methodologies such as Software-Based Self-Test appear to suit well SoC delay fault testing. State-of-the-art solutions in this topic are quite far from maturity and few works consider Software-based Diagnosis for delay faults. In this paper we evaluate benefits and costs in using symbolic simulation for SoCs, in particular focusing on embedded processor core testing. Symbolic simulation principles are key to enable fast analysis and speed up delay fault diagnosis; to cope with SoC behavior, the traditional 6-valued symbolic algebra was expanded in order to tackle X and Z logic states. As a case study we consider a large design including many core types and suitable DFT for performing high quality test without scan chains.
Year
DOI
Venue
2008
10.1109/DDECS.2008.4538810
DDECS
Keywords
Field
DocType
6-valued symbolic algebra,embedded processor core testing,functional test methodology,symbolic simulation principle,symbolic simulation,delay fault diagnosis,soc delay fault testing,delay fault,core type,case study,soc behavior,soc symbolic simulation,design for testability,embedded systems,algebra,design for testing,embedded processor,functional testing,software testing,system on chip
Design for testing,Symbolic simulation,System on a chip,Computer science,Symbolic computation,Real-time computing,Software,Logic simulation,Speedup,Built-in self-test
Conference
ISSN
Citations 
PageRank 
2334-3133
5
0.53
References 
Authors
10
4
Name
Order
Citations
PageRank
Alberto Bosio122246.70
P. Girard247841.91
S. Pravossoudovich391.07
Paolo Bernardi424430.63