diff options
| author | Jannis Harder <me@jix.one> | 2023-01-10 17:04:06 +0100 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2023-01-11 18:07:16 +0100 |
| commit | 7ddec5093f09640db0f502dfa341c25e4028563f (patch) | |
| tree | b37cd73756a4822ab403696de3333ea14eaea1cb /backends/aiger/aiger.cc | |
| parent | 636b9f27052ef67192ee55a862c31e57a1ccad79 (diff) | |
| download | yosys-7ddec5093f09640db0f502dfa341c25e4028563f.tar.gz yosys-7ddec5093f09640db0f502dfa341c25e4028563f.tar.bz2 yosys-7ddec5093f09640db0f502dfa341c25e4028563f.zip | |
sim: Improvements and fixes for yw cosim
* Fixed $cover handling
* Improved sparse memory handling when writing traces
* JSON summary output
Diffstat (limited to 'backends/aiger/aiger.cc')
| -rw-r--r-- | backends/aiger/aiger.cc | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 5cfdff3fb..4ef28be9f 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -20,6 +20,7 @@ #include "kernel/yosys.h" #include "kernel/sigtools.h" #include "kernel/json.h" +#include "kernel/yw.h" #include "libs/json11/json11.hpp" USING_YOSYS_NAMESPACE @@ -710,18 +711,6 @@ struct AigerWriter f << it.second; } - template<class T> static std::vector<std::string> witness_path(T *obj) { - std::vector<std::string> path; - if (obj->name.isPublic()) { - auto hdlname = obj->get_string_attribute(ID::hdlname); - for (auto token : split_tokens(hdlname)) - path.push_back("\\" + token); - } - if (path.empty()) - path.push_back(obj->name.str()); - return path; - } - void write_ywmap(PrettyJson &json) { json.begin_object(); |