DocumentCode :
3589328
Title :
Hardware-efficient on-chip generation of time-extensive constrained-random sequences for in-system validation
Author :
Kinsman, Adam B. ; Ho Fai Ko ; Nicolici, Nicola
Author_Institution :
Dept. of Electr. & Comput. Eng., McMaster Univ., Hamilton, ON, Canada
fYear :
2013
Firstpage :
1
Lastpage :
6
Abstract :
Linear Feedback Shift Registers (LFSRs) have been extensively used for compressed manufacturing test. They have been recently employed as a foundation for porting constrained-random stimuli from a pre-silicon verification environment to in-system validation. This work advances this concept by improving both the hardware efficiency and the duration of in-system validation experiments.
Keywords :
formal verification; logic testing; shift registers; LFSR; constrained-random stimuli; hardware-efficient on-chip generation; in-system validation; linear feedback shift register; presilicon verification environment; time-extensive constrained-random sequences; Equations; Generators; Hardware; Prototypes; Radiation detectors; System-on-chip; Vectors; Constrained-Random Sequences; In-System Validation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference (DAC), 2013 50th ACM/EDAC/IEEE
ISSN :
0738-100X
Type :
conf
Filename :
6560714
Link To Document :
بازگشت