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/btor/btor.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/btor/btor.cc')
| -rw-r--r-- | backends/btor/btor.cc | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc index 4315f6f67..4eb675c3c 100644 --- a/backends/btor/btor.cc +++ b/backends/btor/btor.cc @@ -29,6 +29,7 @@ #include "kernel/log.h" #include "kernel/mem.h" #include "kernel/json.h" +#include "kernel/yw.h" #include <string> USING_YOSYS_NAMESPACE @@ -141,18 +142,6 @@ struct BtorWorker return " " + infostr; } - 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 ywmap_state(const SigSpec &sig) { if (ywmap_json.active()) ywmap_states.emplace_back(sig); |