Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design

2021 IEEE International Symposium on Circuits and Systems (ISCAS) ◽

10.1109/iscas51556.2021.9401267 ◽

2021 ◽

Author(s):

Tun Li ◽

Hongji Zou ◽

Dan Luo ◽

Wanxia Qu

Keyword(s):

Symbolic Simulation ◽

Fuzz Testing ◽

Download Full-text

Analysis of Switch-Level Faults by Symbolic Simulation

32nd Design Automation Conference ◽

10.1109/dac.1995.249972 ◽

1995 ◽

Author(s):

Lluis Ribas-Xirgo

Keyword(s):

Symbolic Simulation

Download Full-text

RankFuzz: Fuzz Testing Based on Comprehensive Evaluation

2012 Fourth International Conference on Multimedia Information Networking and Security ◽

10.1109/mines.2012.161 ◽

2012 ◽

Author(s):

Cheng Li ◽

Qiang Wei ◽

Qingxian Wang

Keyword(s):

Comprehensive Evaluation ◽

Download Full-text

Fuzz testing based data augmentation to improve robustness of deep neural networks

Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering ◽

10.1145/3377811.3380415 ◽

2020 ◽

Author(s):

Xiang Gao ◽

Ripon K. Saha ◽

Mukul R. Prasad ◽

Abhik Roychoudhury

Keyword(s):

Neural Networks ◽

Deep Neural Networks ◽

Data Augmentation ◽

Download Full-text

Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

International Journal of Parallel Programming ◽

10.1007/s10766-005-8910-3 ◽

2005 ◽

Vol 33 (6) ◽

pp. 645-666 ◽

Author(s):

Alfred Koelbl ◽

Carl Pixley

Keyword(s):

Formal Models ◽

Symbolic Simulation ◽

Download Full-text

Algorithmic Aspects of Linear Symbolic Simulation

Symbolic Analysis for Automated Design of Analog Integrated Circuits ◽

10.1007/978-1-4615-3962-9_4 ◽

1991 ◽

pp. 101-196

Author(s):

Georges Gielen ◽

Willy Sansen

Keyword(s):

Symbolic Simulation

Download Full-text

Fuzz Testing based on Sulley Framework

Current Trends in Computer Science and Mechanical Automation Vol.1 ◽

10.1515/9783110584974-022 ◽

2017 ◽

pp. 181-187

Keyword(s):

Download Full-text

System-on-a-Chip (SoC) based Hardware Acceleration in Register Transfer Level (RTL) Design

10.25148/etd.fi13042902 ◽

2012 ◽

Author(s):

Xinwei Niu

Keyword(s):

Hardware Acceleration ◽

Register Transfer Level ◽

Register Transfer ◽

System On A Chip

Download Full-text

A SAT-Based Algorithm for Reparameterization in Symbolic Simulation

10.21236/ada461257 ◽

2003 ◽

Author(s):

Pankaj Chauhan ◽

Daniel Kroening ◽

Edmund Clarke

Keyword(s):

Symbolic Simulation

Download Full-text

On the Verification of a WiMax Design Using Symbolic Simulation

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.122.3 ◽

2013 ◽

Vol 122 ◽

pp. 23-37

Author(s):

Salim Ismail Al-Akhras ◽

Sofiène Tahar ◽

Gabriela Nicolescu ◽

Michel Langevin ◽

Pierre Paulin

Keyword(s):

Symbolic Simulation

Download Full-text

CRAXfuzz: Target-Aware Symbolic Fuzz Testing

2015 IEEE 39th Annual Computer Software and Applications Conference ◽

10.1109/compsac.2015.99 ◽

2015 ◽

Author(s):

Chao-Chun Yeh ◽

Hsiang Chung ◽

Shih-Kun Huang

Keyword(s):

Download Full-text