Overview | Search Downloads | Up |
Category: Interpolant Compaction |
|
|
Readme |
README In order to reproduce the experimental results presented in our journal pubblication "Logic Synthesis for Interpolant Circuit Compaction", we present in this txt file a description of PdTRAV and ABC commands used. |
Created Size Downloads |
2018-02-16 13:18:02 1.23 KB 11 |
||
PdTrav (static linux exe) Version:3.4.0 |
PdTRAV (Politecnico di Torino Reachability Analysis & Verification)
|
Created Size Downloads |
2018-02-14 16:29:50 13.07 MB 11 |
||
Single Output Interpolants |
Set of selected interpolants used for benchmarking. Interpolants were extracted, as single-output AIG circuits, from model checking runs on publicly available benchmarks from the HWMCC set (http://fmv.jku.at/hwmcc17/). |
Created Size Downloads |
2018-01-24 14:32:52 492.68 MB 14 |
||