FAST CONSTRUCTION OF TEST-PROGRAM GENERATORS FOR DIGITAL SIGNAL PROCESSORS

ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings

Volumn 4, Issue , 1999, Pages 1989-1992

  Rubin, Shai ^a   Levinger, Moshe ^a   Pratt, Randall R ^b   Moore, William P ^b  

^a IBM HAIFA RESEARCH LAB   (Israel)

^b IBM MICROELECTRONICS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL SIGNAL PROCESSING; PROGRAM PROCESSORS; SOFTWARE TESTING; TEST FACILITIES;

CASE-STUDIES; CORE TECHNOLOGY; DEVELOPMENT TIME; FUNCTIONAL VERIFICATION; GENESYS; LARGE-SCALES; LOW-COST CONSTRUCTION; POWERPC; TECHNOLOGY USE; TEST PROJECTS;

DIGITAL SIGNAL PROCESSORS;

EID: 84949251941     PISSN: 15206149     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICASSP.1999.758317     Document Type: Conference Paper

References (6)

1. A. Aharon, Dave G, M. Levinger, Y. Lichtenstein, Y. Malca, C. Metzger, M. Molcho, and G. Shurek, "Test Program Generation for Functional Verification of PowerPC Processors in IBM" in Proc. ACM/IEEE 32nd Design Automation Conference 1995.
2. Y. Lichtenstein, Y. Malca, A Aharon, "Model Based Test Generation for Processor Verification" IBM Technical Report 88.3371993.
3. L. Foumier, "Genesys-X86: An Automatic Test-Program Generator for X86 Microprocessors" IBM Haifa Research Center VLSI Internal Publication.
4. F. Casaubieilh, A. Mclsaac, M. Benjamin, M. Bartley, F. Pogodalla, F. Rocheteau, M. Belhadj, J. Eggleton, G. Mas, G. Barret, C. Berthet, "Functional Verification Methodology of Chameleon Processor" in Proc. ACM/IEEE 33rd Design Automation Conference 1996.
5. "Microcontrollers that offer the power of choice" Electronic Engineering April 1994.
6. Texas Instruments, "TMS320C54x User's Guide Preliminary" 1995.