From 7ddec5093f09640db0f502dfa341c25e4028563f Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Tue, 10 Jan 2023 17:04:06 +0100
Subject: sim: Improvements and fixes for yw cosim

  * Fixed $cover handling
  * Improved sparse memory handling when writing traces
  * JSON summary output
---
 backends/btor/btor.cc | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

(limited to 'backends/btor/btor.cc')

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);
-- 
cgit v1.2.3