pyosys 0.55__cp312-cp312-macosx_11_0_arm64.whl → 0.55.23__cp312-cp312-macosx_11_0_arm64.whl

pyosys/share/include/kernel/satgen.h

@@ -101,7 +101,9 @@ struct SatGen
 				else
 					vec.push_back(bit == (undef_mode ? RTLIL::State::Sx : RTLIL::State::S1) ? ez->CONST_TRUE : ez->CONST_FALSE);
 			} else {
-				std::string name = pf + (bit.wire->width == 1 ? stringf("%s", log_id(bit.wire)) : stringf("%s [%d]", log_id(bit.wire->name), bit.offset));
+				std::string wire_name = RTLIL::unescape_id(bit.wire->name);
+				std::string name = pf +
+					(bit.wire->width == 1 ? wire_name : stringf("%s [%d]", wire_name.c_str(), bit.offset));
 				vec.push_back(ez->frozen_literal(name));
 				imported_signals[pf][bit] = vec.back();
 			}

pyosys/share/include/passes/techmap/libparse.h

@@ -0,0 +1,232 @@
+/*
+ *  yosys -- Yosys Open SYnthesis Suite
+ *
+ *  Copyright (C) 2012  Claire Xenia Wolf <claire@yosyshq.com>
+ *
+ *  Permission to use, copy, modify, and/or distribute this software for any
+ *  purpose with or without fee is hereby granted, provided that the above
+ *  copyright notice and this permission notice appear in all copies.
+ *
+ *  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ *  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ *  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ *  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ *  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ *  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+ *
+ */
+
+#ifndef LIBPARSE_H
+#define LIBPARSE_H
+
+#include "kernel/yosys.h"
+#include <stdio.h>
+#include <string>
+#include <vector>
+#include <set>
+
+/**
+ * This file is likely to change in the near future.
+ * Rely on it in your plugins at your own peril
+ */
+
+namespace Yosys
+{
+	struct LibertyAst
+	{
+		std::string id, value;
+		std::vector<std::string> args;
+		std::vector<LibertyAst*> children;
+		~LibertyAst();
+		const LibertyAst *find(std::string name) const;
+
+		typedef std::set<std::string> sieve;
+		void dump(FILE *f, sieve &blacklist, sieve &whitelist, std::string indent = "", std::string path = "", bool path_ok = false) const;
+	};
+
+	struct LibertyExpression
+	{
+		struct Lexer {
+			std::string s, expr;
+
+			Lexer(std::string s) : s{s}, expr{s} {}
+
+			bool empty() { return s.empty();}
+			char peek() { return s[0]; }
+			std::string full_expr() { return expr; }
+
+			char next() {
+				char c = s[0];
+				s = s.substr(1, s.size());
+				return c;
+			}
+
+			std::string pin() {
+				auto length = s.find_first_of("\t()'!^*& +|");
+				if (length == std::string::npos) {
+					// nothing found so use size of s
+					length = s.size();
+				}
+				auto pin = s.substr(0, length);
+				s = s.substr(length, s.size());
+				return pin;
+			}
+		};
+
+		enum Kind {
+			AND,
+			OR,
+			NOT,
+			XOR,
+			// the standard specifies constants, but they're probably rare in practice.
+			PIN,
+			EMPTY
+		};
+
+		Kind kind;
+		std::string name;
+		std::vector<LibertyExpression> children;
+
+		LibertyExpression() : kind(Kind::EMPTY) {}
+
+		static LibertyExpression parse(Lexer &s, int min_prio = 0);
+		void get_pin_names(pool<std::string>& names);
+		bool eval(dict<std::string, bool>& values);
+	};
+
+	class LibertyInputStream {
+		std::istream &f;
+		std::vector<unsigned char> buffer;
+		size_t buf_pos = 0;
+		size_t buf_end = 0;
+		bool eof = false;
+
+		bool extend_buffer_once();
+		bool extend_buffer_at_least(size_t size = 1);
+
+		YS_COLD int get_cold();
+		YS_COLD int peek_cold(size_t offset);
+
+	public:
+		LibertyInputStream(std::istream &f) : f(f) {}
+
+		size_t buffered_size() { return buf_end - buf_pos; }
+		const unsigned char *buffered_data() { return buffer.data() + buf_pos; }
+
+		int get() {
+			if (buf_pos == buf_end)
+				return get_cold();
+			int c = buffer[buf_pos];
+			buf_pos += 1;
+			return c;
+		}
+
+		int peek(size_t offset = 0) {
+			if (buf_pos + offset >= buf_end)
+				return peek_cold(offset);
+			return buffer[buf_pos + offset];
+		}
+
+		void consume(size_t n = 1) {
+			buf_pos += n;
+		}
+
+		void unget() {
+			buf_pos -= 1;
+		}
+	};
+
+#ifndef FILTERLIB
+	class LibertyAstCache {
+		LibertyAstCache() {};
+		~LibertyAstCache() {};
+	public:
+		dict<std::string, std::shared_ptr<const LibertyAst>> cached;
+
+		bool cache_by_default = false;
+		bool verbose = false;
+		dict<std::string, bool> cache_path;
+
+		std::shared_ptr<const LibertyAst> cached_ast(const std::string &fname);
+		void parsed_ast(const std::string &fname, const std::shared_ptr<const LibertyAst> &ast);
+		static LibertyAstCache instance;
+	};
+#endif
+
+	class LibertyMergedCells;
+	class LibertyParser
+	{
+		friend class LibertyMergedCells;
+	private:
+		LibertyInputStream f;
+		int line;
+
+		/* lexer return values:
+		   'v': identifier, string, array range [...] -> str holds the token string
+		   'n': newline
+		   anything else is a single character.
+		*/
+		int lexer(std::string &str);
+
+		void report_unexpected_token(int tok);
+		void parse_vector_range(int tok);
+		LibertyAst *parse(bool top_level);
+		void error() const;
+		void error(const std::string &str) const;
+
+	public:
+		std::shared_ptr<const LibertyAst> shared_ast;
+		const LibertyAst *ast = nullptr;
+
+		LibertyParser(std::istream &f) : f(f), line(1) {
+			shared_ast.reset(parse(true));
+			ast = shared_ast.get();
+			if (!ast) {
+#ifdef FILTERLIB
+				fprintf(stderr, "No entries found in liberty file.\n");
+				exit(1);
+#else
+				log_error("No entries found in liberty file.\n");
+#endif
+			}
+		}
+
+#ifndef FILTERLIB
+		LibertyParser(std::istream &f, const std::string &fname) : f(f), line(1) {
+			shared_ast = LibertyAstCache::instance.cached_ast(fname);
+			if (!shared_ast) {
+				shared_ast.reset(parse(true));
+				LibertyAstCache::instance.parsed_ast(fname, shared_ast);
+			}
+			ast = shared_ast.get();
+			if (!ast) {
+				log_error("No entries found in liberty file `%s'.\n", fname.c_str());
+			}
+		}
+#endif
+	};
+
+	class LibertyMergedCells
+	{
+		std::vector<std::shared_ptr<const LibertyAst>> asts;
+
+	public:
+		std::vector<const LibertyAst *> cells;
+		void merge(LibertyParser &parser)
+		{
+			if (parser.ast) {
+				const LibertyAst *ast = parser.ast;
+				asts.push_back(parser.shared_ast);
+				if (ast->id != "library")
+					parser.error("Top level entity isn't \"library\".\n");
+				for (const LibertyAst *cell : ast->children)
+					if (cell->id == "cell" && cell->args.size() == 1)
+						cells.push_back(cell);
+			}
+		}
+	};
+
+}
+
+#endif

{pyosys-0.55.dist-info → pyosys-0.55.23.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pyosys
-Version: 0.55
+Version: 0.55.23
 Summary: Python access to libyosys
 Classifier: License :: OSI Approved :: MIT License
 Classifier: Programming Language :: Python :: 3

{pyosys-0.55.dist-info → pyosys-0.55.23.dist-info}/RECORD

@@ -1,12 +1,12 @@
-pyosys-0.55.dist-info/RECORD,,
-pyosys-0.55.dist-info/WHEEL,sha256=CltXN3lQvXbHxKDtiDwW0RNzF8s2WyBuPbOAX_ZeQlA,109
-pyosys-0.55.dist-info/top_level.txt,sha256=3EZwjfudmKdDRzFQF8euvJfeGeSfXuoVNoaHzvlEva4,16
-pyosys-0.55.dist-info/METADATA,sha256=cv-IRiY3ouDT2E99PLz7adw97ZFoCYeDbDzHyDkIRMY,9381
-pyosys-0.55.dist-info/licenses/COPYING,sha256=kWqnpIV2zL_kFC_d1-S_PF1uzksfJPPS7HAZjJnaOpI,777
-pyosys/yosys-abc,sha256=vWTYpg0vtvnOLs5W5O1mC-xruYxfg3QeKO4h_ZeKdUA,24835016
+pyosys-0.55.23.dist-info/RECORD,,
+pyosys-0.55.23.dist-info/WHEEL,sha256=CltXN3lQvXbHxKDtiDwW0RNzF8s2WyBuPbOAX_ZeQlA,109
+pyosys-0.55.23.dist-info/top_level.txt,sha256=3EZwjfudmKdDRzFQF8euvJfeGeSfXuoVNoaHzvlEva4,16
+pyosys-0.55.23.dist-info/METADATA,sha256=TRJBmpZQTkPiqPBIugKEapJ6wSTIcfVBWLMLN62ybmg,9384
+pyosys-0.55.23.dist-info/licenses/COPYING,sha256=kWqnpIV2zL_kFC_d1-S_PF1uzksfJPPS7HAZjJnaOpI,777
+pyosys/yosys-abc,sha256=WNkqviV9NtA_zlPSG6LZo-o9bsJXQePxfF_LPESzAHc,24835016
 pyosys/py_wrap_generator.py,sha256=A_cJYHt3BrRuFfh1-IAJrIXYyLAzqAyCiCp1gX6rpCk,81656
 pyosys/__init__.py,sha256=chS2qX2oRlor9bCqzi9u9XfZVDjeLb5YmieRVG-AvaM,522
-pyosys/libyosys.so,sha256=1kMa40PGYlSupeNC3-LCPqxSxN8gmaO0dDKS4P4FmzY,28405496
+pyosys/libyosys.so,sha256=-oWG1M0dJPYMJLBQrOrq_qw2HRfGQodBcZvXBeVxbkU,28440072
 pyosys/share/cmp2softlogic.v,sha256=IjDw9-8Rt8dqzhpoFx2mHRX8E5KbFewJYSBIgTtaJWs,2716
 pyosys/share/techmap.v,sha256=YCvM3QLs6BuUo8fOdQzHyI4OUm9_teQZbvmkDp3vrFQ,16974
 pyosys/share/simlib.v,sha256=EKWY8VYq5IpCmDTQAi4TtEmn_6oU2orx3-jn5WB815Q,78011
@@ -113,6 +113,7 @@ pyosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.h,sha256=Ll
 pyosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.h,sha256=P6KBEs-76IK4LwKBhXbju9nwkH3rmmqUm4uSuiaS88M,4286
 pyosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.cc,sha256=4WH8B0B7Y7GY43BXZX0-6PGFPYcbOcavJseI0wM_VJQ,4559
 pyosys/share/include/passes/fsm/fsmdata.h,sha256=hQPbdxU2f0uflXJceSCXNuEv60XR24maHanlVj_B7ZU,6772
+pyosys/share/include/passes/techmap/libparse.h,sha256=_2J7RBOUiJxdtxeoxX4p_81npsUUopsctC3SAaYXkRE,5672
 pyosys/share/include/libs/sha1/sha1.h,sha256=_BhYRVniKTAQYi8KZBTog6PpkwwJMSWKVBgpnykhyCs,1382
 pyosys/share/include/libs/json11/json11.hpp,sha256=00gwSOcdaIm25bhJvB3Y3_GJVbpme7ElTuMthXYDtOg,9268
 pyosys/share/include/libs/ezsat/ezminisat.h,sha256=bSrDL6VRinpXdULoR8P9lQaT1Dy4kAEZfTcKjRKOdjg,2098
@@ -138,7 +139,7 @@ pyosys/share/include/kernel/yosys.h,sha256=bx9lTnEhsorxUoLhz2hu0__pSvVAyrthvGjoq
 pyosys/share/include/kernel/fmt.h,sha256=0UT-aDVX7_KnzlaNyK3iMsSzoICa4Q0HhqsFIrwHBMw,2790
 pyosys/share/include/kernel/celltypes.h,sha256=W44T0u789-fy_tj7fGRTNI7s1jshewrPwmS3_-Oz6-A,18561
 pyosys/share/include/kernel/ff.h,sha256=vVJqxmyfJ1z9qnnUA3CAoX5NavU33_J4U1Sd7TgPp5M,7631
-pyosys/share/include/kernel/satgen.h,sha256=zx8LptIgds0Z9sxXx6HGxNNYuk05dHqQZy1aXFWEXC0,10483
+pyosys/share/include/kernel/satgen.h,sha256=O7h0qkcsaX5g4XsUiLumlj8RAg63fxkFCLgZds5xgL8,10525
 pyosys/share/include/kernel/drivertools.h,sha256=jHGOmnyVCjfvUvoBfQvD9O-Tu6pfs4WVbPbQZv1Mhd4,33537
 pyosys/share/include/kernel/log.h,sha256=NZNJPBf-F_sISwfmJ_GQPm1Z9UzUCYQD6jHiWnsVorY,15380
 pyosys/share/include/kernel/json.h,sha256=tE3AgUslbZd5TRFEipj0HptYjWgNfMjzV44l3A5zAu8,2851