pfnet-research/ATPG4SV

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

语言：OCaml · GitHub 星标：22 · Fork：2

话题：atpg · concolic-execution · ocaml · smt-solver · symbolic-execution · system-verilog

在 GitHub 上查看原仓库