yowasp-yosys 0.37.0.52.post661.dev0__py3-none-any.whl → 0.38.0.0.post669__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- yowasp_yosys/share/gowin/brams_map.v +3 -2
- yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl.h +26 -1
- yowasp_yosys/share/include/kernel/celltypes.h +1 -0
- yowasp_yosys/share/include/kernel/constids.inc +1 -0
- yowasp_yosys/share/include/kernel/hashlib.h +2 -0
- yowasp_yosys/share/include/kernel/register.h +1 -0
- yowasp_yosys/share/include/kernel/yosys.h +4 -0
- yowasp_yosys/share/python3/sby_design.py +6 -1
- yowasp_yosys/share/quicklogic/qlf_k6n10f/bram_types_sim.v +1 -1
- yowasp_yosys/share/simlib.v +23 -1
- yowasp_yosys/yosys.wasm +0 -0
- {yowasp_yosys-0.37.0.52.post661.dev0.dist-info → yowasp_yosys-0.38.0.0.post669.dist-info}/METADATA +1 -1
- {yowasp_yosys-0.37.0.52.post661.dev0.dist-info → yowasp_yosys-0.38.0.0.post669.dist-info}/RECORD +16 -16
- {yowasp_yosys-0.37.0.52.post661.dev0.dist-info → yowasp_yosys-0.38.0.0.post669.dist-info}/WHEEL +0 -0
- {yowasp_yosys-0.37.0.52.post661.dev0.dist-info → yowasp_yosys-0.38.0.0.post669.dist-info}/entry_points.txt +0 -0
- {yowasp_yosys-0.37.0.52.post661.dev0.dist-info → yowasp_yosys-0.38.0.0.post669.dist-info}/top_level.txt +0 -0
|
@@ -324,6 +324,7 @@ input [PORT_W_WIDTH-1:0] PORT_W_WR_DATA;
|
|
|
324
324
|
|
|
325
325
|
wire RST = OPTION_RESET_MODE == "SYNC" ? PORT_R_RD_SRST : PORT_R_RD_ARST;
|
|
326
326
|
wire [13:0] ADW = `addrbe_always(PORT_W_WIDTH, PORT_W_ADDR);
|
|
327
|
+
wire WRE = PORT_W_CLK_EN & PORT_W_WR_EN;
|
|
327
328
|
|
|
328
329
|
generate
|
|
329
330
|
|
|
@@ -347,7 +348,7 @@ if (PORT_W_WIDTH < 9 || PORT_R_WIDTH < 9) begin
|
|
|
347
348
|
.BLKSELB(3'b000),
|
|
348
349
|
|
|
349
350
|
.CLKA(PORT_W_CLK),
|
|
350
|
-
.CEA(
|
|
351
|
+
.CEA(WRE),
|
|
351
352
|
.RESETA(1'b0),
|
|
352
353
|
.ADA(ADW),
|
|
353
354
|
.DI(DI),
|
|
@@ -380,7 +381,7 @@ end else begin
|
|
|
380
381
|
.BLKSELB(3'b000),
|
|
381
382
|
|
|
382
383
|
.CLKA(PORT_W_CLK),
|
|
383
|
-
.CEA(
|
|
384
|
+
.CEA(WRE),
|
|
384
385
|
.RESETA(1'b0),
|
|
385
386
|
.ADA(ADW),
|
|
386
387
|
.DI(DI),
|
|
@@ -952,7 +952,23 @@ struct lazy_fmt {
|
|
|
952
952
|
virtual std::string operator() () const = 0;
|
|
953
953
|
};
|
|
954
954
|
|
|
955
|
-
//
|
|
955
|
+
// Flavor of a `$check` cell.
|
|
956
|
+
enum class flavor {
|
|
957
|
+
// Corresponds to a `$assert` cell in other flows, and a Verilog `assert ()` statement.
|
|
958
|
+
ASSERT,
|
|
959
|
+
// Corresponds to a `$assume` cell in other flows, and a Verilog `assume ()` statement.
|
|
960
|
+
ASSUME,
|
|
961
|
+
// Corresponds to a `$live` cell in other flows, and a Verilog `assert (eventually)` statement.
|
|
962
|
+
ASSERT_EVENTUALLY,
|
|
963
|
+
// Corresponds to a `$fair` cell in other flows, and a Verilog `assume (eventually)` statement.
|
|
964
|
+
ASSUME_EVENTUALLY,
|
|
965
|
+
// Corresponds to a `$cover` cell in other flows, and a Verilog `cover ()` statement.
|
|
966
|
+
COVER,
|
|
967
|
+
};
|
|
968
|
+
|
|
969
|
+
// An object that can be passed to a `eval()` method in order to act on side effects. The default behavior implemented
|
|
970
|
+
// below is the same as the behavior of `eval(nullptr)`, except that `-print-output` option of `write_cxxrtl` is not
|
|
971
|
+
// taken into account.
|
|
956
972
|
struct performer {
|
|
957
973
|
// Called by generated formatting code to evaluate a Verilog `$time` expression.
|
|
958
974
|
virtual int64_t vlog_time() const { return 0; }
|
|
@@ -964,6 +980,15 @@ struct performer {
|
|
|
964
980
|
virtual void on_print(const lazy_fmt &formatter, const metadata_map &attributes) {
|
|
965
981
|
std::cout << formatter();
|
|
966
982
|
}
|
|
983
|
+
|
|
984
|
+
// Called when a `$check` cell is triggered.
|
|
985
|
+
virtual void on_check(flavor type, bool condition, const lazy_fmt &formatter, const metadata_map &attributes) {
|
|
986
|
+
if (type == flavor::ASSERT || type == flavor::ASSUME) {
|
|
987
|
+
if (!condition)
|
|
988
|
+
std::cerr << formatter();
|
|
989
|
+
CXXRTL_ASSERT(condition && "Check failed");
|
|
990
|
+
}
|
|
991
|
+
}
|
|
967
992
|
};
|
|
968
993
|
|
|
969
994
|
// An object that can be passed to a `commit()` method in order to produce a replay log of every state change in
|
|
@@ -102,6 +102,7 @@ struct CellTypes
|
|
|
102
102
|
setup_type(ID($specify3), {ID::EN, ID::SRC, ID::DST, ID::DAT}, pool<RTLIL::IdString>(), true);
|
|
103
103
|
setup_type(ID($specrule), {ID::EN_SRC, ID::EN_DST, ID::SRC, ID::DST}, pool<RTLIL::IdString>(), true);
|
|
104
104
|
setup_type(ID($print), {ID::EN, ID::ARGS, ID::TRG}, pool<RTLIL::IdString>());
|
|
105
|
+
setup_type(ID($check), {ID::A, ID::EN, ID::ARGS, ID::TRG}, pool<RTLIL::IdString>());
|
|
105
106
|
setup_type(ID($set_tag), {ID::A, ID::SET, ID::CLR}, {ID::Y});
|
|
106
107
|
setup_type(ID($get_tag), {ID::A}, {ID::Y});
|
|
107
108
|
setup_type(ID($overwrite_tag), {ID::A, ID::SET, ID::CLR}, pool<RTLIL::IdString>());
|
|
@@ -66,6 +66,8 @@
|
|
|
66
66
|
#include <stdint.h>
|
|
67
67
|
#include <stdio.h>
|
|
68
68
|
#include <limits.h>
|
|
69
|
+
#include <sys/stat.h>
|
|
70
|
+
#include <errno.h>
|
|
69
71
|
|
|
70
72
|
#ifdef WITH_PYTHON
|
|
71
73
|
#include <Python.h>
|
|
@@ -341,8 +343,10 @@ std::string get_base_tmpdir();
|
|
|
341
343
|
std::string make_temp_file(std::string template_str = get_base_tmpdir() + "/yosys_XXXXXX");
|
|
342
344
|
std::string make_temp_dir(std::string template_str = get_base_tmpdir() + "/yosys_XXXXXX");
|
|
343
345
|
bool check_file_exists(std::string filename, bool is_exec = false);
|
|
346
|
+
bool check_directory_exists(const std::string& dirname);
|
|
344
347
|
bool is_absolute_path(std::string filename);
|
|
345
348
|
void remove_directory(std::string dirname);
|
|
349
|
+
bool create_directory(const std::string& dirname);
|
|
346
350
|
std::string escape_filename_spaces(const std::string& filename);
|
|
347
351
|
|
|
348
352
|
template<typename T> int GetSize(const T &obj) { return obj.size(); }
|
|
@@ -55,6 +55,7 @@ class SbyProperty:
|
|
|
55
55
|
ASSERT = auto()
|
|
56
56
|
COVER = auto()
|
|
57
57
|
LIVE = auto()
|
|
58
|
+
FAIR = auto()
|
|
58
59
|
|
|
59
60
|
def __str__(self):
|
|
60
61
|
return self.name
|
|
@@ -69,6 +70,8 @@ class SbyProperty:
|
|
|
69
70
|
return c.COVER
|
|
70
71
|
if name == "$live":
|
|
71
72
|
return c.LIVE
|
|
73
|
+
if name == "$fair":
|
|
74
|
+
return c.FAIR
|
|
72
75
|
raise ValueError("Unknown property type: " + name)
|
|
73
76
|
|
|
74
77
|
@classmethod
|
|
@@ -81,6 +84,8 @@ class SbyProperty:
|
|
|
81
84
|
return c.COVER
|
|
82
85
|
if name == "live":
|
|
83
86
|
return c.LIVE
|
|
87
|
+
if name == "fair":
|
|
88
|
+
return c.FAIR
|
|
84
89
|
raise ValueError("Unknown property type: " + name)
|
|
85
90
|
|
|
86
91
|
name: str
|
|
@@ -198,7 +203,7 @@ def design_hierarchy(filename):
|
|
|
198
203
|
raise ValueError(f"Cannot find module {module_name}")
|
|
199
204
|
|
|
200
205
|
for sort in cell_sorts:
|
|
201
|
-
if sort["type"] in ["$assume", "$assert", "$cover", "$live"]:
|
|
206
|
+
if sort["type"] in ["$assume", "$assert", "$cover", "$live", "$fair"]:
|
|
202
207
|
for cell in sort["cells"]:
|
|
203
208
|
try:
|
|
204
209
|
location = cell["attributes"]["src"]
|
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
// **AUTOGENERATED FILE** **DO NOT EDIT**
|
|
2
|
-
// Generated by ../yosys-src/techlibs/quicklogic/qlf_k6n10f/generate_bram_types_sim.py at 2024-
|
|
2
|
+
// Generated by ../yosys-src/techlibs/quicklogic/qlf_k6n10f/generate_bram_types_sim.py at 2024-02-09 12:25:25.983329+00:00
|
|
3
3
|
`timescale 1ns /10ps
|
|
4
4
|
|
|
5
5
|
module TDP36K_BRAM_A_X1_B_X1_nonsplit (
|
yowasp_yosys/share/simlib.v
CHANGED
|
@@ -1803,14 +1803,36 @@ endmodule
|
|
|
1803
1803
|
|
|
1804
1804
|
module \$print (EN, TRG, ARGS);
|
|
1805
1805
|
|
|
1806
|
+
parameter PRIORITY = 0;
|
|
1807
|
+
|
|
1806
1808
|
parameter FORMAT = "";
|
|
1807
1809
|
parameter ARGS_WIDTH = 0;
|
|
1808
|
-
|
|
1810
|
+
|
|
1809
1811
|
parameter TRG_ENABLE = 1;
|
|
1812
|
+
parameter TRG_WIDTH = 0;
|
|
1813
|
+
parameter TRG_POLARITY = 0;
|
|
1810
1814
|
|
|
1815
|
+
input EN;
|
|
1816
|
+
input [TRG_WIDTH-1:0] TRG;
|
|
1817
|
+
input [ARGS_WIDTH-1:0] ARGS;
|
|
1818
|
+
|
|
1819
|
+
endmodule
|
|
1820
|
+
|
|
1821
|
+
// --------------------------------------------------------
|
|
1822
|
+
|
|
1823
|
+
module \$check (A, EN, TRG, ARGS);
|
|
1824
|
+
|
|
1825
|
+
parameter FLAVOR = "";
|
|
1826
|
+
parameter PRIORITY = 0;
|
|
1827
|
+
|
|
1828
|
+
parameter FORMAT = "";
|
|
1829
|
+
parameter ARGS_WIDTH = 0;
|
|
1830
|
+
|
|
1831
|
+
parameter TRG_ENABLE = 1;
|
|
1811
1832
|
parameter TRG_WIDTH = 0;
|
|
1812
1833
|
parameter TRG_POLARITY = 0;
|
|
1813
1834
|
|
|
1835
|
+
input A;
|
|
1814
1836
|
input EN;
|
|
1815
1837
|
input [TRG_WIDTH-1:0] TRG;
|
|
1816
1838
|
input [ARGS_WIDTH-1:0] ARGS;
|
yowasp_yosys/yosys.wasm
CHANGED
|
Binary file
|
{yowasp_yosys-0.37.0.52.post661.dev0.dist-info → yowasp_yosys-0.38.0.0.post669.dist-info}/RECORD
RENAMED
|
@@ -2,7 +2,7 @@ yowasp_yosys/__init__.py,sha256=x--xPTzLWZNoX6H0B2E3a1HMZMk3di10gVnWVLJ92xc,1325
|
|
|
2
2
|
yowasp_yosys/sby.py,sha256=_oSJ8qe3OlpHWMZSA8rI-n3Oxh-0-jAMuyQd71obCcc,16625
|
|
3
3
|
yowasp_yosys/smtbmc.py,sha256=V-k5PSEHcH814OmddDMAqxrblAIAAR39l2BcdC5Rkng,70560
|
|
4
4
|
yowasp_yosys/witness.py,sha256=m3iV2Nydm0p4G79VRaaX3lGul-nGnuxeKnx20MCJgi0,17279
|
|
5
|
-
yowasp_yosys/yosys.wasm,sha256=
|
|
5
|
+
yowasp_yosys/yosys.wasm,sha256=XFzNJrax6o6UTW3G0sk0gyjh1w_b70cGiu7uvaJrM0Y,21616095
|
|
6
6
|
yowasp_yosys/share/abc9_map.v,sha256=uWDqMpBQTeeadH1BlHVwkCy2StKF892xbgBgMKLK5-w,923
|
|
7
7
|
yowasp_yosys/share/abc9_model.v,sha256=IfMyEGOEUBdZyiVule0wMhrVYVYQpmSIcxygbgtHItI,653
|
|
8
8
|
yowasp_yosys/share/abc9_unmap.v,sha256=w107Y3iJjMU6D_6_aYLf2NziXTnAhpa5_CFAwaYO1iU,638
|
|
@@ -16,7 +16,7 @@ yowasp_yosys/share/gate2lut.v,sha256=j5EJAuBnWNw15j0sjK-Seq2BTgleebDF3aAN0pc-8L0
|
|
|
16
16
|
yowasp_yosys/share/mul2dsp.v,sha256=TL_2F12hxIt-rnnbbZ-1xYv9VXJEUdGW8n_sFpvpFFg,9065
|
|
17
17
|
yowasp_yosys/share/pmux2mux.v,sha256=P7McDtR51FZIuX5nSlejXkt2Ez7I1nOY2JBxeaT5L78,342
|
|
18
18
|
yowasp_yosys/share/simcells.v,sha256=2fUcWGwHGP-Ci6d0DU574952S-8sVG8LxS1lWUupA0Q,87795
|
|
19
|
-
yowasp_yosys/share/simlib.v,sha256=
|
|
19
|
+
yowasp_yosys/share/simlib.v,sha256=chKfO6rp0HM74iI00ZQE51dVkPXzH-zs7XtRMJ-5Wgg,65108
|
|
20
20
|
yowasp_yosys/share/smtmap.v,sha256=Dqqww6UyTcww0FA8w6Vx9dT7E_6m-8GBUe-ylP95nKw,654
|
|
21
21
|
yowasp_yosys/share/techmap.v,sha256=PwHSgKMQTNL0LKhmT2vzVVsXxqRIWn7uJxqcqhO9fh0,16929
|
|
22
22
|
yowasp_yosys/share/achronix/speedster22i/cells_map.v,sha256=l_JkNqebLyY9xHVkaLa5JDHExiERD72W-TeKAqHeUqU,2629
|
|
@@ -76,7 +76,7 @@ yowasp_yosys/share/gatemate/mux_map.v,sha256=nbJ3z5o19Z4Qe5Ts7VRmlhSKpBVB5lLpDzP
|
|
|
76
76
|
yowasp_yosys/share/gatemate/reg_map.v,sha256=X9cGplW-ChE81RemEi4t8WsSTadzTV297S78OmH5KUc,1871
|
|
77
77
|
yowasp_yosys/share/gowin/arith_map.v,sha256=zZFw-f2IypjF0RUHVxuY-bsB0BE_0aADYhUAB841jn0,2104
|
|
78
78
|
yowasp_yosys/share/gowin/brams.txt,sha256=UlQv7aH_ojnzwC4a-dPtG-xbF6dwmzHvaiAGDm1FNA4,1147
|
|
79
|
-
yowasp_yosys/share/gowin/brams_map.v,sha256=
|
|
79
|
+
yowasp_yosys/share/gowin/brams_map.v,sha256=detpD8qAIJYjyPRYgiWUw4oYVIWGlt70itO5xpgeEOs,8602
|
|
80
80
|
yowasp_yosys/share/gowin/cells_map.v,sha256=Zmq2VlZOFBHhUN65j3DOWdgKpKBMoSTiqgYBpx9-j_k,6100
|
|
81
81
|
yowasp_yosys/share/gowin/cells_sim.v,sha256=jmqrJ877Xf9Mhs7jtNomCDfKYiGRMt8NX3JJBRrnTFo,42925
|
|
82
82
|
yowasp_yosys/share/gowin/cells_xtra.v,sha256=HQFhhD5--yXW-1r5GL-8LotPt0MMKLJlzRrh2ZRi8dM,100151
|
|
@@ -101,7 +101,7 @@ yowasp_yosys/share/ice40/ff_map.v,sha256=0ikq-i1_UVT6xuFLMj2Zfilwu6wz8oibMdtPegZ
|
|
|
101
101
|
yowasp_yosys/share/ice40/latches_map.v,sha256=V5NwBaIML68eOlhDaUJUs8W-ggRePjPsDtUn3mnSpao,258
|
|
102
102
|
yowasp_yosys/share/ice40/spram.txt,sha256=dCRV0flfJunvnvKV0Q5Kq5NBrhh_PkZGXvUt675aiIk,153
|
|
103
103
|
yowasp_yosys/share/ice40/spram_map.v,sha256=O8fRkVuH1dgAXEAtYJgh8wTHnZEK75fPAMBI-PgYVqs,475
|
|
104
|
-
yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl.h,sha256=
|
|
104
|
+
yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl.h,sha256=rOuQXeKPr-BDAWh-5brXsA3TdSiWlpRiGXB2FVJPqMA,65195
|
|
105
105
|
yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/cxxrtl_vcd.h,sha256=F2N7FdVUFoOu089dZIBgIT2mmn22QAj0717d26oVPpc,8488
|
|
106
106
|
yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.cc,sha256=Q_10Mkd6Pblk0PEOiAAynMeSBHHLrkr1fsvdyg1cbbE,4519
|
|
107
107
|
yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.h,sha256=lckiuFx1LYDocTsfgEdX2jW3ksl6z3PHeSAkt3-zlbw,16207
|
|
@@ -114,28 +114,28 @@ yowasp_yosys/share/include/frontends/blif/blifparse.h,sha256=GGceOEm-flPK0QdPIVD
|
|
|
114
114
|
yowasp_yosys/share/include/kernel/binding.h,sha256=BKfMhNf_HflihwCXEqyZuB1zp9xzVi0NRKe-5MvIidM,1947
|
|
115
115
|
yowasp_yosys/share/include/kernel/cellaigs.h,sha256=11wsrdUcxECKpVzln4AaBgyh_QU1vTgS2CFU3B3wY1o,1349
|
|
116
116
|
yowasp_yosys/share/include/kernel/celledges.h,sha256=fF_sHJOpN_qQ1P0x8KKoJE9ulDMusfjkF0dBpTMs19E,2216
|
|
117
|
-
yowasp_yosys/share/include/kernel/celltypes.h,sha256=
|
|
117
|
+
yowasp_yosys/share/include/kernel/celltypes.h,sha256=Fe5eNA65SVgbde33kDRQmRupLsbHaNft0cf16Kg-BG4,18285
|
|
118
118
|
yowasp_yosys/share/include/kernel/consteval.h,sha256=dHXfaHnD0v94entOfWlmo5u3QhVF8knnn4ETcHiL4PI,10913
|
|
119
|
-
yowasp_yosys/share/include/kernel/constids.inc,sha256=
|
|
119
|
+
yowasp_yosys/share/include/kernel/constids.inc,sha256=T9Fbz9G124W4Ss4AYnYpfNT6JtD-asOhWCQl_0F9HSk,3525
|
|
120
120
|
yowasp_yosys/share/include/kernel/cost.h,sha256=4f29ZI-4GhsPrI73TNZ89KqtTt7fo48GlWs3U-WA-tQ,3104
|
|
121
121
|
yowasp_yosys/share/include/kernel/ff.h,sha256=Rm9a6qsbXTPADi3TG794tzYXjOvRkewNMy8AXMA5vtE,7574
|
|
122
122
|
yowasp_yosys/share/include/kernel/ffinit.h,sha256=2kcOTgBDxCsCongoGYFPgnFXZugY34WZBDCN2xIHv8M,3473
|
|
123
123
|
yowasp_yosys/share/include/kernel/ffmerge.h,sha256=I3mXyytzRyP92T9XhSQTlv7EN2G31nJhspBxlLYiMEY,6305
|
|
124
124
|
yowasp_yosys/share/include/kernel/fmt.h,sha256=tdDZrvksFi5EXlXcYsK2Odf6Gb91MOZl26Q8m5SDwQ0,2626
|
|
125
|
-
yowasp_yosys/share/include/kernel/hashlib.h,sha256=
|
|
125
|
+
yowasp_yosys/share/include/kernel/hashlib.h,sha256=puZr8kGY10J_g2M7j3pPFJQk9aGDFWwqVLO3nHf4sCQ,30207
|
|
126
126
|
yowasp_yosys/share/include/kernel/json.h,sha256=tE3AgUslbZd5TRFEipj0HptYjWgNfMjzV44l3A5zAu8,2851
|
|
127
127
|
yowasp_yosys/share/include/kernel/log.h,sha256=YPv7HbRY7Aiin43nbnmiPBM7-dpdvhQYHoOYEpslgQ4,15339
|
|
128
128
|
yowasp_yosys/share/include/kernel/macc.h,sha256=WOUw0yARLUqxZw6HhZV47zRwUA2X8X7mwD_jb1yUZzE,6991
|
|
129
129
|
yowasp_yosys/share/include/kernel/mem.h,sha256=kCejpLHHg7E2O8EcQx0Wi8PRNcULDm-7t_QEYsXoNNc,9176
|
|
130
130
|
yowasp_yosys/share/include/kernel/modtools.h,sha256=W2d-ZsAggrjlva6cAQsMKCRpzss_AlnYXUEPWDd2xWE,14281
|
|
131
131
|
yowasp_yosys/share/include/kernel/qcsat.h,sha256=ibhpJRu0youjDXPllXrDJi851VpwW1kbJ_y94_X6JhU,2804
|
|
132
|
-
yowasp_yosys/share/include/kernel/register.h,sha256=
|
|
132
|
+
yowasp_yosys/share/include/kernel/register.h,sha256=DqCnlUl1rD7vcrVPkoKROVhATyIZsoBTfBTeXeqk84Q,5449
|
|
133
133
|
yowasp_yosys/share/include/kernel/rtlil.h,sha256=wjezRlvZMz7Ij1WlJuOIVFoBx-uQ-eVgCOoR6_xy1bw,84862
|
|
134
134
|
yowasp_yosys/share/include/kernel/satgen.h,sha256=zx8LptIgds0Z9sxXx6HGxNNYuk05dHqQZy1aXFWEXC0,10483
|
|
135
135
|
yowasp_yosys/share/include/kernel/sigtools.h,sha256=qC0CgK3OJwam_ljqtW-kauA3djylLLoI2rbSs4Zhn5s,7504
|
|
136
136
|
yowasp_yosys/share/include/kernel/timinginfo.h,sha256=9MI3ve19pJouYXKng1EBlrryAKy-OaH6Hc8VbLu0GYY,7100
|
|
137
137
|
yowasp_yosys/share/include/kernel/utils.h,sha256=S5QCW6poCBXDmgtYT8-KQrhZ2ppIO76a_NLsfx53GVw,6821
|
|
138
|
-
yowasp_yosys/share/include/kernel/yosys.h,sha256=
|
|
138
|
+
yowasp_yosys/share/include/kernel/yosys.h,sha256=x6hhqiFhUdq5yMVlCmqY6xEP2w4d6NfsWEADlNxfSlo,13683
|
|
139
139
|
yowasp_yosys/share/include/kernel/yw.h,sha256=jibYunDP1ZMYwCxo616nHgdGyPGis_8TO9fYmYdHfd4,5429
|
|
140
140
|
yowasp_yosys/share/include/libs/ezsat/ezminisat.h,sha256=bSrDL6VRinpXdULoR8P9lQaT1Dy4kAEZfTcKjRKOdjg,2098
|
|
141
141
|
yowasp_yosys/share/include/libs/ezsat/ezsat.h,sha256=eggeGwS9pFyxSYGT0RtOqX189pbXFAKDfPZzIYTmqIk,14523
|
|
@@ -215,7 +215,7 @@ yowasp_yosys/share/nexus/parse_init.vh,sha256=Weev9ITWk8JEoaovId36MYw_vXLmsZvpZ9
|
|
|
215
215
|
yowasp_yosys/share/python3/sby_autotune.py,sha256=EuatA7Nvy_n-5JMSb0VaQ7H_nDaiGI__PBeEFoRfMa8,25276
|
|
216
216
|
yowasp_yosys/share/python3/sby_cmdline.py,sha256=Wy_7Pa6BgV1ssurCpV0FnzP75xXxhxHXIwFCR0YpweM,4790
|
|
217
217
|
yowasp_yosys/share/python3/sby_core.py,sha256=4skJIhHs_G31EbKLyD7bURZEhYtO-bJdf1QqCjWE0Zw,58020
|
|
218
|
-
yowasp_yosys/share/python3/sby_design.py,sha256=
|
|
218
|
+
yowasp_yosys/share/python3/sby_design.py,sha256=54ZiGbHIgNQUFjvuml5ZbQj2_anEuzEyH7NxZ_cp4GY,9168
|
|
219
219
|
yowasp_yosys/share/python3/sby_engine_abc.py,sha256=_BPt0D5qNJF2Sw88CCM-m9T7wDmO7AHG-PDHrbpbg-o,4016
|
|
220
220
|
yowasp_yosys/share/python3/sby_engine_aiger.py,sha256=5HjGydMnR-my0uF7WS2wwzxFlbKzrx1dCyp29Ggoy1k,7798
|
|
221
221
|
yowasp_yosys/share/python3/sby_engine_btor.py,sha256=ulUhsJRm7UjMiMwb4Jk6aRQVI_RJN1B6iqQD7MMp8uw,11088
|
|
@@ -239,7 +239,7 @@ yowasp_yosys/share/quicklogic/pp3/latches_map.v,sha256=UrGzRlwwITwA7mMlXhHlDFPiw
|
|
|
239
239
|
yowasp_yosys/share/quicklogic/pp3/lut_map.v,sha256=BmijMS4EqVQPP2BPo2zgKStKPPhRLTf5kbcAtGKZEVs,928
|
|
240
240
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/TDP18K_FIFO.v,sha256=k1AVrwpOQ3vpxoWAbchRpmNbncYCYtVfDExz6VcmtBg,10404
|
|
241
241
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/arith_map.v,sha256=Ea7aX3l71nFxP1Az5NHtca-ZPnQmUmUvlWI-tVl4Bkk,2560
|
|
242
|
-
yowasp_yosys/share/quicklogic/qlf_k6n10f/bram_types_sim.v,sha256=
|
|
242
|
+
yowasp_yosys/share/quicklogic/qlf_k6n10f/bram_types_sim.v,sha256=enYH9YjoMX8qycda_xChZ4_khFna5oOg62EKk1sCGWQ,2551774
|
|
243
243
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/brams_map.v,sha256=Iqj4w3Vna6W80liLUtDhAQKwciQNZWX3aFr9FDBU5o4,103558
|
|
244
244
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/brams_sim.v,sha256=mJXEws9AvJLeUBr3eJzxTEvN7Y89zpkNsoR2tpjLu-w,339634
|
|
245
245
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/cells_sim.v,sha256=70GVgjrXbld6c2yITFriyoJLqO8CAcHDyA8oUPfkItg,7347
|
|
@@ -288,8 +288,8 @@ yowasp_yosys/share/xilinx/xc5v_dsp_map.v,sha256=I4lg0RQ54fBBba_7NNvUgwS4tQ1yLIsU
|
|
|
288
288
|
yowasp_yosys/share/xilinx/xc6s_dsp_map.v,sha256=gTxHocB-Dn5G4BplWgri_tLhT6DIO2S0X-yu4iBKYyk,562
|
|
289
289
|
yowasp_yosys/share/xilinx/xc7_dsp_map.v,sha256=zrzreQi7mElrAMtrayxtiO_Bw00S6zsjSjSVcjmJPH0,884
|
|
290
290
|
yowasp_yosys/share/xilinx/xcu_dsp_map.v,sha256=gzCgl1emrHGcigVmU0nP0pW7dlhQ01SaWwXzHHcqt-o,882
|
|
291
|
-
yowasp_yosys-0.
|
|
292
|
-
yowasp_yosys-0.
|
|
293
|
-
yowasp_yosys-0.
|
|
294
|
-
yowasp_yosys-0.
|
|
295
|
-
yowasp_yosys-0.
|
|
291
|
+
yowasp_yosys-0.38.0.0.post669.dist-info/METADATA,sha256=K4YgupfvXCtxRZtK560vSG_3SsDXcAssqsOG7Gh2usY,2607
|
|
292
|
+
yowasp_yosys-0.38.0.0.post669.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
|
|
293
|
+
yowasp_yosys-0.38.0.0.post669.dist-info/entry_points.txt,sha256=p_9sIVi2ZqsqgYYo14PywYkwHYTa76fMEq3LxweXJpc,220
|
|
294
|
+
yowasp_yosys-0.38.0.0.post669.dist-info/top_level.txt,sha256=_yiNT8kLYkcD1TEuUCzQ_MkON1c3xuIRV59zXds4zd4,13
|
|
295
|
+
yowasp_yosys-0.38.0.0.post669.dist-info/RECORD,,
|
{yowasp_yosys-0.37.0.52.post661.dev0.dist-info → yowasp_yosys-0.38.0.0.post669.dist-info}/WHEEL
RENAMED
|
File without changes
|
|
File without changes
|
|
File without changes
|