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 /backends/smv | |
| 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 'backends/smv')
0 files changed, 0 insertions, 0 deletions