https://github.com/pfnet-research/atpg4sv
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
https://github.com/pfnet-research/atpg4sv
atpg concolic-execution ocaml smt-solver symbolic-execution system-verilog
Last synced: about 1 year ago
JSON representation
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
- Host: GitHub
- URL: https://github.com/pfnet-research/atpg4sv
- Owner: pfnet-research
- License: mit
- Created: 2018-12-21T05:21:27.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-12-21T05:24:20.000Z (over 7 years ago)
- Last Synced: 2025-03-27T01:51:27.605Z (about 1 year ago)
- Topics: atpg, concolic-execution, ocaml, smt-solver, symbolic-execution, system-verilog
- Language: OCaml
- Size: 40 KB
- Stars: 18
- Watchers: 19
- Forks: 2
- Open Issues: 0