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 2 months 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 (about 6 years ago)
• Default Branch: master
• Last Pushed: 2018-12-21T05:24:20.000Z (about 6 years ago)
• Last Synced: 2023-02-26T17:16:02.335Z (almost 2 years ago)
• Topics: atpg, concolic-execution, ocaml, smt-solver, symbolic-execution, system-verilog
• Language: OCaml
• Size: 40 KB
• Stars: 12
• Watchers: 24
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project