A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018. - View it on GitHub