LIFTING: a Flexible Open-Source Fault Simulator

被引：21

作者：

Bosio, A. ^{[1
]}

Di Natale, G. ^{[1
]}

机构：

[1] Univ Montpellier 2, Lab Informat Robot & Microelect Montpellier, CNRS, UMR 5506, F-34392 Montpellier 5, France

来源：

PROCEEDINGS OF THE 17TH ASIAN TEST SYMPOSIUM | 2008年

关键词：

D O I：

10.1109/ATS.2008.17

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents LIFTING (LIRMM Fault Simulator), an open-source simulator able to perform both logic and,fault simulations for single/multiple stuck-at faults and Single Event Upset (SEU) on digital circuits described in Verilog. Compared to existing tools, LIFTING provides several features for the analysis of the fault simulation results, meaningful for research purposes. Moreover, as an open-source tool, it can be customized to meet any user requirements. Experimental results show how LIFTING has been exploited on research fields. Eventually, execution time for large circuit simulations is comparable to the one of commercial tools.

引用

页码：35 / 40

页数：6

共 50 条

[1] An Open-Source Microscopic Traffic Simulator [J].

Treiber, Martin ;

Kesting, Arne .

IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, 2010, 2 (03) :6-13

[2] tLIFTING: an Open-Source Multi-Level Fault Simulator for Ionizing Effects [J].

Lu, Feng ;

Di Natale, Giorgio ;

Flottes, Marie-Lise ;

Rouzeyre, Bruno .

2013 9TH CONFERENCE ON PH. D. RESEARCH IN MICROELECTRONICS AND ELECTRONICS (PRIME 2013), 2013, :169-172

[3] CathSim: An Open-Source Simulator for Endovascular Intervention [J].

Jianu, Tudor ;

Huang, Baoru ;

Vu, Minh Nhat ;

Abdelaziz, Mohamed E. M. K. ;

Fichera, Sebastiano ;

Lee, Chun-Yi ;

Berthet-Rayne, Pierre ;

Rodriguez y Baena, Ferdinando ;

Nguyen, Anh .

IEEE TRANSACTIONS ON MEDICAL ROBOTICS AND BIONICS, 2024, 6 (03) :971-979

[4] An Open-Source Simulator for Exploring HPLC Theory [J].

Abate-Pella, Daniel ;

Stoll, Dwight R. ;

Carr, Peter W. ;

Boswell, Paul G. .

LC GC NORTH AMERICA, 2015, 33 (03) :200-207

[5] Open-Source JTAG Simulator Bundle for Labs [J].

Shibin, Konstantin ;

Devadze, Sergei ;

Rosin, Vjatseslav ;

Jutman, Artur ;

Ubar, Raimund .

INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2012, 58 (03) :233-239

[6] FlexFL: Flexible and Effective Fault Localization With Open-Source Large Language Models [J].

Xu, Chuyang ;

Liu, Zhongxin ;

Ren, Xiaoxue ;

Zhang, Gehao ;

Liang, Ming ;

Lo, David .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2025, 51 (05) :1455-1471

[7] A NEW OPEN-SOURCE DRIVING SIMULATOR FOR SLEEP RESEARCH [J].

Waxman, J. ;

Leigh, J. ;

Carley, D. W. .

SLEEP, 2012, 35 :A435-A435

[8] Waiwera: A parallel open-source geothermal flow simulator [J].

Croucher, Adrian ;

O'Sullivan, Michael ;

O'Sullivan, John ;

Yeh, Angus ;

Burnell, John ;

Kissling, Warwick .

COMPUTERS & GEOSCIENCES, 2020, 141

[9] On the Evolution of ndnSIM: an Open-Source Simulator for NDN Experimentation [J].

Mastorakis, Spyridon ;

Afanasyev, Alexander ;

Zhang, Lixia .

ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2017, 47 (03)

[10] MSPT: an open-source motion simulator for proton therapy [J].

Morel, P. ;

Flynn, R. T. ;

Gelover, E. ;

Blin, G. ;

Vialette, S. ;

Wu, X. ;

Wang, D. .

BIOMEDICAL PHYSICS & ENGINEERING EXPRESS, 2015, 1 (03)

← 1 2 3 4 5 →