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.
@@ -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(PORT_W_CLK_EN),
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(PORT_W_CLK_EN),
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
- // An object that can be passed to a `eval()` method in order to act on side effects.
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>());
@@ -88,6 +88,7 @@ X(equiv_merged)
88
88
  X(equiv_region)
89
89
  X(extract_order)
90
90
  X(F)
91
+ X(FLAVOR)
91
92
  X(FORMAT)
92
93
  X(force_downto)
93
94
  X(force_upto)
@@ -17,6 +17,8 @@
17
17
  #include <string>
18
18
  #include <vector>
19
19
 
20
+ #include <stdint.h>
21
+
20
22
  namespace hashlib {
21
23
 
22
24
  const int hashtable_size_trigger = 2;
@@ -70,6 +70,7 @@ struct Pass
70
70
 
71
71
  virtual void on_register();
72
72
  virtual void on_shutdown();
73
+ virtual bool replace_existing_pass() const { return false; }
73
74
  };
74
75
 
75
76
  struct ScriptPass : Pass
@@ -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-01-30 03:15:05.769168+00:00
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 (
@@ -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
- parameter PRIORITY = 0;
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
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.1
2
2
  Name: yowasp-yosys
3
- Version: 0.37.0.52.post661.dev0
3
+ Version: 0.38.0.0.post669
4
4
  Summary: Yosys Open SYnthesis Suite
5
5
  Author-email: Catherine <whitequark@whitequark.org>
6
6
  License: ISC
@@ -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=TSc8PSbstHYg7XQYbBg5oM5B3lME69ycb14469spYW8,21565746
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=mn4TfNiHOoS4bobVD6_6BvptiWHefPacNIcI-LAWGoU,64745
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=4jPfeFmHpRVxVJJLt8sC8D0qBlemYFPk9nfclq5fZEQ,8581
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=nu6pciY9hecPvYl6NUfosT5bUY4TJtKf1Qmh5PVMZXs,64122
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=UAfSflcWfm8801mEyQHVKFJAXopW4lpL1c-HQNsetms,18198
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=k1sAiJeA3MaOwE-FVZYZ_R2KmKAgNrzuEqixNjXq0bc,3515
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=zbQ9Tu9PJelfJfuFKZjA148ef0OREf_vrEjz8HoV9hg,30186
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=NoAbw98a0h2nvgRyupJbvUNXgFOKOo28Y_mt2mtkj5s,5387
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=pO4ckeVmEqpVZBdH-UJcIRYgBKx111LFjWwAqqeRTBQ,13534
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=zs3YyXUNUYLjU3vbWLEB6B767LRj25bx21kVkuaDIio,9014
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=CR9_1zYiHkXLPHG79tgTOgB8pqWKj5eJi6CtIriOD00,2551774
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.37.0.52.post661.dev0.dist-info/METADATA,sha256=TmcRBJUFrPwdAB7cmT5-lz1ySKB_c3WzI_N-XR6CxKc,2613
292
- yowasp_yosys-0.37.0.52.post661.dev0.dist-info/WHEEL,sha256=oiQVh_5PnQM0E3gPdiz09WCNmwiHDMaGer_elqB3coM,92
293
- yowasp_yosys-0.37.0.52.post661.dev0.dist-info/entry_points.txt,sha256=p_9sIVi2ZqsqgYYo14PywYkwHYTa76fMEq3LxweXJpc,220
294
- yowasp_yosys-0.37.0.52.post661.dev0.dist-info/top_level.txt,sha256=_yiNT8kLYkcD1TEuUCzQ_MkON1c3xuIRV59zXds4zd4,13
295
- yowasp_yosys-0.37.0.52.post661.dev0.dist-info/RECORD,,
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,,