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/aiger/aiger.cc | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

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

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