{"id":16313935,"url":"https://github.com/johnwickerson/netlistfuzz","last_synced_at":"2026-03-18T18:56:50.770Z","repository":{"id":161654108,"uuid":"161179245","full_name":"johnwickerson/netlistfuzz","owner":"johnwickerson","description":null,"archived":false,"fork":false,"pushed_at":"2019-09-16T19:40:28.000Z","size":53314,"stargazers_count":3,"open_issues_count":0,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-04-24T04:48:19.814Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/johnwickerson.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-12-10T13:27:50.000Z","updated_at":"2023-07-23T17:53:46.000Z","dependencies_parsed_at":"2023-06-19T13:23:50.637Z","dependency_job_id":null,"html_url":"https://github.com/johnwickerson/netlistfuzz","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/johnwickerson/netlistfuzz","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnwickerson%2Fnetlistfuzz","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnwickerson%2Fnetlistfuzz/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnwickerson%2Fnetlistfuzz/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnwickerson%2Fnetlistfuzz/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/johnwickerson","download_url":"https://codeload.github.com/johnwickerson/netlistfuzz/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/johnwickerson%2Fnetlistfuzz/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28630938,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-21T04:47:28.174Z","status":"ssl_error","status_checked_at":"2026-01-21T04:47:22.943Z","response_time":86,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-10T21:52:43.973Z","updated_at":"2026-01-21T09:03:02.743Z","avatar_url":"https://github.com/johnwickerson.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# netlistfuzz\nFuzz testing uses randomly generated inputs to detect bugs in software. This project apply fuzz testing in the area of hardware.\nNetlist is a description of electronic circuit connectivity in hardware description language. Typically, fuzz testing is used in software \ntesting. In this project, we apply it to detect bugs in hardware sy nthesis tools. Including crashes and languages features not being \nsupported, nine bugs were discovered from a HST called ABC. Quantitative and qualitative methods are used to evaluate the results of this\nproject. The main contributions of this project is a prototype tool that generates random netlists and uses them to check that the HST is\nworking correctly. This tool generates test cases with a variety of different features such as generating binary operations \nin a combinational circuit, cascaded connections of a sequential flip-flop and fuzzing finite-state Mealy or Moore machines.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjohnwickerson%2Fnetlistfuzz","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjohnwickerson%2Fnetlistfuzz","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjohnwickerson%2Fnetlistfuzz/lists"}