Issue No.03 - May/June (2009 vol.26)
pp: 16-24
Alfredo Benso , Politecnico di Torino
Paolo Prinetto , Politecnico di Torino
<p>Editor's note:</p><p>Functional verification of complex SoC designs is a challenging task, which fortunately is increasingly supported by automation. This article proposes a verification component for IEEE Std 1500, to be plugged into a commercial verification tool suite.</p><p align="right"><it>—Erik Jan Marinissen, IMEC</it></p>
IEEE 1500, functional verification, simulation, SoC
Alberto Bosio, Alfredo Benso, Paolo Prinetto, "Are IEEE-1500-Compliant Cores Really Compliant to the Standard?", IEEE Design & Test of Computers, vol.26, no. 3, pp. 16-24, May/June 2009, doi:10.1109/MDT.2009.46
1. IEEE Std 1500, Testability Method for Embedded Core-Based Integrated Circuits, IEEE, 2005.
2. Y. Zorian and A. Yessayan, "IEEE 1500 Utilization in SoC Design and Test," Proc. Int'l Test Conf. (ITC 05), IEEE CS Press, 2005, pp. 543-552.
3. IEEE Std 1450.6, Core Test Language, IEEE, 2005.
4. D. Appello et al., "A P1500 Compliant BIST-Based Approach to Embedded RAM Diagnosis," Proc. 10th IEEE Asian Test Symp. (ATS 01), IEEE CS Press, 2001, pp. 97-102.
5. S. Diamantidis, I. Diamantidis, and T. Oikonomou, "A Unified DFT Verification Methodology," Proc. IP-Based SoC Design (IP/SOC 05), EE Times, 2005;
6. I. Diamantidis, T. Oikonomou, and S. Diamantidis, "Towards an IEEE P1500 Verification Infrastructure: A Comprehensive Approach," Proc. 3rd IEEE Int'l Workshop on Infrastructure IP, IEEE Press, 2005, pp. 22-30.
7. T. Oikonomou, I. Diamantidis, and S. Diamantidis, "Coverage Driven Verification of IEEE P1500-Compliant Embedded Core Test Infrastructures," Globetech Solutions, 2005; http://www.globetechsolutions.comindex. php?module=uploads&func=download&fileId=40 .
8. A. Benso et al., "IEEE Std 1500 Compliance Verification for Embedded Cores," IEEE Trans. VLSI Systems, vol. 16, no. 4, 2008, pp. 397-407.
9. IEEE Std 1647, Functional Verification Language 'e', IEEE, 2006.
10. N. Wirth, Compiler Construction, Addison-Wesley, 1996.
11. A. Piziali, Functional Verification Coverage Measurement and Analysis, Springer, 2004.