AMLETO: A multi-language environment for functional test generation

被引：20

作者：

Fin, A ^{[1
]}

Fummi, F ^{[1
]}

Pravadelli, G ^{[1
]}

机构：

[1] Univ Verona, Dipartimento Informat, Verona, Italy

来源：

INTERNATIONAL TEST CONFERENCE 2001, PROCEEDINGS | 2001年

关键词：

D O I：

10.1109/TEST.2001.966704

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

More and more people are starting to use the SystemC description language to model and simulate new designs. This is due mainly to the simplicity and power of the language. The number of models written in SystemC currently available is still very limited and testing SystemC descriptions is still an open issue, since the language is new and researchers are looking for efficient error models and coverage metrics. This paper presents AMLETO, a multi-language environment developed to efficiently test embedded systems and IP-Cores. Using, a HDL language independent representation, it supplies: fast translation from VHDL to SystemC of design descriptions and viceversa, generation and setup of customized TPGs for the design under test and generation of erroneous models capable to simulate the presence of design errors.

引用

页码：821 / 829

页数：9

共 18 条

[1] SYMBOLIC MODEL CHECKING FOR SEQUENTIAL-CIRCUIT VERIFICATION
BURCH, JR
CLARKE, EM
LONG, DE
MCMILLAN, KL
DILL, DL
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (04) : 401 - 424
[2] CELEIRO F, 1996, P EUR DAC EUR VHDL
[3] Testability analysis and ATPG on behavioral RT-level VHDL
Corno, F
Prinetto, P
Reorda, MS
[J]. ITC - INTERNATIONAL TEST CONFERENCE 1997, PROCEEDINGS: INTEGRATING MILITARY AND COMMERCIAL COMMUNICATIONS FOR THE NEXT CENTURY, 1997, : 753 - 759
[4] Corno F., 2000, Proceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537), P385, DOI 10.1109/DATE.2000.840300
[5] Automatic VHDL restructuring for RTL synthesis optimization and testability improvement
Corvino, D
Epicoco, I
Ferrandi, F
Fummi, F
Sciuto, D
[J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 436 - 441
[6] COUDERT O, 1989, P WORKSH AUT VER MET
[7] Fallah F., 1999, Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), P666, DOI 10.1109/DAC.1999.782026
[8] Fallah F, 1998, 1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, P528, DOI 10.1109/DAC.1998.724528
[9] FILKORN T, 1992, P 6 INT WORKSH HIGH, P344
[10] Fin A, 2001, PROCEEDINGS OF THE NINTH INTERNATIONAL SYMPOSIUM ON HARDWARE/SOFTWARE CODESIGN, P17, DOI 10.1109/HSC.2001.924644

← 1 2 →