/ATPG4SV

A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.

Primary LanguageOCamlMIT LicenseMIT

No issues in this repository yet.