diff options
| author | Jannis Harder <me@jix.one> | 2022-08-02 17:02:39 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-08-16 13:37:30 +0200 |
| commit | efd5b86eb9c56d293c608d378ee90beea53784b5 (patch) | |
| tree | f5cf866beac593533082f2c2b3b3ac313086e106 /CHANGELOG | |
| parent | f041e36c6e142878c5bca4da5b459177c4f75e07 (diff) | |
| download | yosys-efd5b86eb9c56d293c608d378ee90beea53784b5.tar.gz yosys-efd5b86eb9c56d293c608d378ee90beea53784b5.tar.bz2 yosys-efd5b86eb9c56d293c608d378ee90beea53784b5.zip | |
aiger: Add yosys-witness support
Adds a new json based aiger map file and yosys-witness converters to us
this to convert between native and AIGER witness files.
Diffstat (limited to 'CHANGELOG')
| -rw-r--r-- | CHANGELOG | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -15,6 +15,9 @@ Yosys 0.20 .. Yosys 0.20-dev - yosys-smtbmc: Reading and writing of yosys witness traces. - write_smt2: Emit inline metadata to support yosys witness trace. - yosys-witness is a new tool to inspect and convert yosys witness traces. + - write_aiger: Option to write a map file for yosys witness trace + conversion. + - yosys-witness: Conversion from and to AIGER witness traces. Yosys 0.19 .. Yosys 0.20 -------------------------- |