https://github.com/johnwickerson/netlistfuzz
https://github.com/johnwickerson/netlistfuzz
Last synced: 4 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/johnwickerson/netlistfuzz
- Owner: johnwickerson
- Created: 2018-12-10T13:27:50.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2019-09-16T19:40:28.000Z (almost 7 years ago)
- Last Synced: 2025-04-24T04:48:19.814Z (over 1 year ago)
- Language: TeX
- Size: 50.8 MB
- Stars: 3
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# netlistfuzz
Fuzz testing uses randomly generated inputs to detect bugs in software. This project apply fuzz testing in the area of hardware.
Netlist is a description of electronic circuit connectivity in hardware description language. Typically, fuzz testing is used in software
testing. In this project, we apply it to detect bugs in hardware sy nthesis tools. Including crashes and languages features not being
supported, nine bugs were discovered from a HST called ABC. Quantitative and qualitative methods are used to evaluate the results of this
project. The main contributions of this project is a prototype tool that generates random netlists and uses them to check that the HST is
working correctly. This tool generates test cases with a variety of different features such as generating binary operations
in a combinational circuit, cascaded connections of a sequential flip-flop and fuzzing finite-state Mealy or Moore machines.