yowasp-yosys 0.55.0.3.post946.dev0__py3-none-any.whl → 0.56.0.141.post974.dev0__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/sby.py +39 -8
- yowasp_yosys/share/include/frontends/ast/ast.h +34 -38
- yowasp_yosys/share/include/kernel/celltypes.h +6 -0
- yowasp_yosys/share/include/kernel/consteval.h +5 -1
- yowasp_yosys/share/include/kernel/constids.inc +1 -0
- yowasp_yosys/share/include/kernel/ffinit.h +3 -3
- yowasp_yosys/share/include/kernel/ffmerge.h +1 -1
- yowasp_yosys/share/include/kernel/hashlib.h +43 -16
- yowasp_yosys/share/include/kernel/io.h +382 -8
- yowasp_yosys/share/include/kernel/json.h +2 -2
- yowasp_yosys/share/include/kernel/log.h +1 -0
- yowasp_yosys/share/include/kernel/register.h +42 -4
- yowasp_yosys/share/include/kernel/rtlil.h +6 -2
- yowasp_yosys/share/include/kernel/satgen.h +6 -4
- yowasp_yosys/share/include/kernel/sigtools.h +130 -26
- yowasp_yosys/share/include/kernel/yosys_common.h +9 -0
- yowasp_yosys/share/include/passes/techmap/libparse.h +235 -0
- yowasp_yosys/share/python3/sby_autotune.py +1 -1
- yowasp_yosys/share/python3/sby_cmdline.py +13 -0
- yowasp_yosys/share/python3/sby_core.py +208 -85
- yowasp_yosys/share/python3/sby_design.py +4 -0
- yowasp_yosys/share/python3/sby_engine_abc.py +15 -4
- yowasp_yosys/share/python3/sby_engine_aiger.py +14 -9
- yowasp_yosys/share/python3/sby_engine_btor.py +15 -4
- yowasp_yosys/share/python3/sby_engine_smtbmc.py +40 -27
- yowasp_yosys/share/python3/sby_status.py +388 -115
- yowasp_yosys/yosys.wasm +0 -0
- {yowasp_yosys-0.55.0.3.post946.dev0.dist-info → yowasp_yosys-0.56.0.141.post974.dev0.dist-info}/METADATA +1 -1
- {yowasp_yosys-0.55.0.3.post946.dev0.dist-info → yowasp_yosys-0.56.0.141.post974.dev0.dist-info}/RECORD +32 -31
- {yowasp_yosys-0.55.0.3.post946.dev0.dist-info → yowasp_yosys-0.56.0.141.post974.dev0.dist-info}/WHEEL +0 -0
- {yowasp_yosys-0.55.0.3.post946.dev0.dist-info → yowasp_yosys-0.56.0.141.post974.dev0.dist-info}/entry_points.txt +0 -0
- {yowasp_yosys-0.55.0.3.post946.dev0.dist-info → yowasp_yosys-0.56.0.141.post974.dev0.dist-info}/top_level.txt +0 -0
|
@@ -1,8 +1,8 @@
|
|
|
1
1
|
yowasp_yosys/__init__.py,sha256=cxu6bMlZ6zRpCzKp2wdFs7LNt5-btnJD6ghvdkDs6Y0,1189
|
|
2
|
-
yowasp_yosys/sby.py,sha256=
|
|
2
|
+
yowasp_yosys/sby.py,sha256=BZwSqLk064cKvGITogDi3OqlQtRJJ-8J4_KG5Z7ktoc,19736
|
|
3
3
|
yowasp_yosys/smtbmc.py,sha256=yiI93tHys5c8aXfCdk2dNtw2mwukRXqeT8YGx5Th8eg,74231
|
|
4
4
|
yowasp_yosys/witness.py,sha256=m3iV2Nydm0p4G79VRaaX3lGul-nGnuxeKnx20MCJgi0,17279
|
|
5
|
-
yowasp_yosys/yosys.wasm,sha256=
|
|
5
|
+
yowasp_yosys/yosys.wasm,sha256=5vKVdIYg6gv3qPrsjNRngy3DZjLFzlXhKcFFphQ1cB4,38066495
|
|
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
|
|
@@ -115,47 +115,48 @@ yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi.h,sha
|
|
|
115
115
|
yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.cc,sha256=5A6IK46tg8BWgs_vzS183p9HMZfWP7FZfJzCjnB3vW8,2815
|
|
116
116
|
yowasp_yosys/share/include/backends/cxxrtl/runtime/cxxrtl/capi/cxxrtl_capi_vcd.h,sha256=P6KBEs-76IK4LwKBhXbju9nwkH3rmmqUm4uSuiaS88M,4286
|
|
117
117
|
yowasp_yosys/share/include/backends/rtlil/rtlil_backend.h,sha256=h-kkdWtAosSZDzvAW511jAHao-dDUm3fyTJhfMXsZDk,2407
|
|
118
|
-
yowasp_yosys/share/include/frontends/ast/ast.h,sha256=
|
|
118
|
+
yowasp_yosys/share/include/frontends/ast/ast.h,sha256=p_nm0-fYc1xyPngvCtvzKFH5rWgydpNq5Q9XPBzokcc,17216
|
|
119
119
|
yowasp_yosys/share/include/frontends/ast/ast_binding.h,sha256=NdII3-d38NWB_87m9AOzqQLjkkYaYToz3xHTsHNelU0,1756
|
|
120
120
|
yowasp_yosys/share/include/frontends/blif/blifparse.h,sha256=GGceOEm-flPK0QdPIVDZ6ZGpkTphT14oTxJhAYIb2RY,1139
|
|
121
121
|
yowasp_yosys/share/include/kernel/binding.h,sha256=BKfMhNf_HflihwCXEqyZuB1zp9xzVi0NRKe-5MvIidM,1947
|
|
122
122
|
yowasp_yosys/share/include/kernel/bitpattern.h,sha256=V_gds0rvxcrRMTFhIm8Zv4PRFowNspJldfURho00lqo,3900
|
|
123
123
|
yowasp_yosys/share/include/kernel/cellaigs.h,sha256=CdYos67IpmAgLvBbJ8EC3hWg6WhBIBy9jmhdoZ36HVE,1391
|
|
124
124
|
yowasp_yosys/share/include/kernel/celledges.h,sha256=fF_sHJOpN_qQ1P0x8KKoJE9ulDMusfjkF0dBpTMs19E,2216
|
|
125
|
-
yowasp_yosys/share/include/kernel/celltypes.h,sha256=
|
|
126
|
-
yowasp_yosys/share/include/kernel/consteval.h,sha256=
|
|
127
|
-
yowasp_yosys/share/include/kernel/constids.inc,sha256=
|
|
125
|
+
yowasp_yosys/share/include/kernel/celltypes.h,sha256=sDqHEa3XqKD-0l-w5bvle5TI-wVABEpF6W1-ThvO7Eg,19027
|
|
126
|
+
yowasp_yosys/share/include/kernel/consteval.h,sha256=nYMALfx9WfaEr4c5VagL0lJta2QT_YdB0MdfXgEO0lU,11046
|
|
127
|
+
yowasp_yosys/share/include/kernel/constids.inc,sha256=lW_aOEkMMVFonK8BAhc6JgmP95X9Q2yBJWg-xfhCc5c,3745
|
|
128
128
|
yowasp_yosys/share/include/kernel/cost.h,sha256=TRW3KGPVLv5MxAmNbSh1mnzwTc-QHvZXSh9Wfc6mw3U,2921
|
|
129
129
|
yowasp_yosys/share/include/kernel/drivertools.h,sha256=jHGOmnyVCjfvUvoBfQvD9O-Tu6pfs4WVbPbQZv1Mhd4,33537
|
|
130
130
|
yowasp_yosys/share/include/kernel/ff.h,sha256=vVJqxmyfJ1z9qnnUA3CAoX5NavU33_J4U1Sd7TgPp5M,7631
|
|
131
|
-
yowasp_yosys/share/include/kernel/ffinit.h,sha256=
|
|
132
|
-
yowasp_yosys/share/include/kernel/ffmerge.h,sha256=
|
|
131
|
+
yowasp_yosys/share/include/kernel/ffinit.h,sha256=wf_zlDDUGrmz__IH81008Hf2EiHzVJ8g8xmn23_BDLU,3501
|
|
132
|
+
yowasp_yosys/share/include/kernel/ffmerge.h,sha256=xl1_h88ZmLIxpli7vpiiU35R_Y4cZq728-A72abuzMg,6309
|
|
133
133
|
yowasp_yosys/share/include/kernel/fmt.h,sha256=0UT-aDVX7_KnzlaNyK3iMsSzoICa4Q0HhqsFIrwHBMw,2790
|
|
134
134
|
yowasp_yosys/share/include/kernel/gzip.h,sha256=wpAZ9hA13HEpWgZnth46JHvVLSA_qdS-JZB5gh83-QA,1847
|
|
135
|
-
yowasp_yosys/share/include/kernel/hashlib.h,sha256=
|
|
136
|
-
yowasp_yosys/share/include/kernel/io.h,sha256=
|
|
137
|
-
yowasp_yosys/share/include/kernel/json.h,sha256=
|
|
138
|
-
yowasp_yosys/share/include/kernel/log.h,sha256=
|
|
135
|
+
yowasp_yosys/share/include/kernel/hashlib.h,sha256=g-I_i1zxQaiJ_s24j02DZrAZPyV2R4jTyIAPBYEAkJk,36365
|
|
136
|
+
yowasp_yosys/share/include/kernel/io.h,sha256=8yQ9hISjrJKqsUbgQq4XaK8_VTRYE-jcSR-kP-Oq2FA,15010
|
|
137
|
+
yowasp_yosys/share/include/kernel/json.h,sha256=i2wmIMZ2SCE5zc6IIIVLx4XZ2-HQiZEFJ0ao_cMInK0,2849
|
|
138
|
+
yowasp_yosys/share/include/kernel/log.h,sha256=o2FuugF5IM1K_rnioDtRj8Vsu72VXOvLICcPpdaTG9k,15497
|
|
139
139
|
yowasp_yosys/share/include/kernel/macc.h,sha256=LHm507daCT57lGCNNwia1LJVk3pkBB5ZteCZihxD5Qw,8926
|
|
140
140
|
yowasp_yosys/share/include/kernel/mem.h,sha256=xKz0HxXap_PTdzpK-NUcbxybF3YisRc2JoCv17TXOc4,15505
|
|
141
141
|
yowasp_yosys/share/include/kernel/modtools.h,sha256=mRnzc5TIsdIbHlFSTk2Yc0y85ttknhK-dAlti3neSI8,14388
|
|
142
142
|
yowasp_yosys/share/include/kernel/qcsat.h,sha256=ibhpJRu0youjDXPllXrDJi851VpwW1kbJ_y94_X6JhU,2804
|
|
143
|
-
yowasp_yosys/share/include/kernel/register.h,sha256=
|
|
144
|
-
yowasp_yosys/share/include/kernel/rtlil.h,sha256=
|
|
145
|
-
yowasp_yosys/share/include/kernel/satgen.h,sha256=
|
|
143
|
+
yowasp_yosys/share/include/kernel/register.h,sha256=jc3S7uED5yT-60fY_DhfrgRoy3Q_h8kVFaF_lc5JZyY,6789
|
|
144
|
+
yowasp_yosys/share/include/kernel/rtlil.h,sha256=mnok7FWmr4jh7auCipSXV8HfcPhNyfOKb-Hy-N0XtSk,99528
|
|
145
|
+
yowasp_yosys/share/include/kernel/satgen.h,sha256=IPl4fWKQMyRFalyxwGJEJQt9MXIOKi3BKmqfkDbm7m4,10543
|
|
146
146
|
yowasp_yosys/share/include/kernel/scopeinfo.h,sha256=EAU3vSTIwH1RrbSC7HVoTWh4SLfHMSIoidQPvT1Mo7g,11797
|
|
147
147
|
yowasp_yosys/share/include/kernel/sexpr.h,sha256=CUDKFehVoGmakYBYLpEKUtlM0Dd3oI6TNW_cKz-qe0g,4720
|
|
148
|
-
yowasp_yosys/share/include/kernel/sigtools.h,sha256=
|
|
148
|
+
yowasp_yosys/share/include/kernel/sigtools.h,sha256=5s1qkeGjV2pbwrWRNaNgay8qHfKzk7TgK1jQM-C2Dco,10652
|
|
149
149
|
yowasp_yosys/share/include/kernel/timinginfo.h,sha256=JNRktUWp7ow_wn4P5BxlOkv7hNS7qKbws7Gjs6VSUx8,7367
|
|
150
150
|
yowasp_yosys/share/include/kernel/utils.h,sha256=5bJFi7SNf18SL7icrEQEDDYnqT9TrjBMlPZGHbinFK8,7315
|
|
151
151
|
yowasp_yosys/share/include/kernel/yosys.h,sha256=bx9lTnEhsorxUoLhz2hu0__pSvVAyrthvGjoqaOL6oQ,3438
|
|
152
|
-
yowasp_yosys/share/include/kernel/yosys_common.h,sha256=
|
|
152
|
+
yowasp_yosys/share/include/kernel/yosys_common.h,sha256=dRr3ZJhPosoDgFkVN2FkraMOSZ4r1c3qQaG2JsLWz0s,8185
|
|
153
153
|
yowasp_yosys/share/include/kernel/yw.h,sha256=Gr5zqBNUSKXOKhdw7tl9-KcCiZg3xFcK9Msj7LMawdI,5470
|
|
154
154
|
yowasp_yosys/share/include/libs/ezsat/ezminisat.h,sha256=bSrDL6VRinpXdULoR8P9lQaT1Dy4kAEZfTcKjRKOdjg,2098
|
|
155
155
|
yowasp_yosys/share/include/libs/ezsat/ezsat.h,sha256=eggeGwS9pFyxSYGT0RtOqX189pbXFAKDfPZzIYTmqIk,14523
|
|
156
156
|
yowasp_yosys/share/include/libs/json11/json11.hpp,sha256=00gwSOcdaIm25bhJvB3Y3_GJVbpme7ElTuMthXYDtOg,9268
|
|
157
157
|
yowasp_yosys/share/include/libs/sha1/sha1.h,sha256=_BhYRVniKTAQYi8KZBTog6PpkwwJMSWKVBgpnykhyCs,1382
|
|
158
158
|
yowasp_yosys/share/include/passes/fsm/fsmdata.h,sha256=hQPbdxU2f0uflXJceSCXNuEv60XR24maHanlVj_B7ZU,6772
|
|
159
|
+
yowasp_yosys/share/include/passes/techmap/libparse.h,sha256=UHWlDFi1inMt9Uuz2S11gyz8j-C2Cu-klKVEmVJvQ7M,5754
|
|
159
160
|
yowasp_yosys/share/intel/common/altpll_bb.v,sha256=FqJqXv8L0HuoSWCG6nNH0xBRgsnQSoulMJOTLZtxYrg,14302
|
|
160
161
|
yowasp_yosys/share/intel/common/brams_m9k.txt,sha256=tdNOPc-TEE5t-9vm5g_-iJklVSYmo2u6tugEhZ16Evs,518
|
|
161
162
|
yowasp_yosys/share/intel/common/brams_map_m9k.v,sha256=BU_7gx1ng2PQi5y55SrXRUBYa5RQYa6hVTZ_0-f6bjQ,4319
|
|
@@ -258,21 +259,21 @@ yowasp_yosys/share/nexus/lrams_map.v,sha256=4zrLGWT46St00iR-7e0f0A7xWpCIpwI5crC1
|
|
|
258
259
|
yowasp_yosys/share/nexus/lutrams.txt,sha256=1nZ4EV0rCLM1NHWidtbpKvDm2U18UJ6rpjA9ijK6J5A,148
|
|
259
260
|
yowasp_yosys/share/nexus/lutrams_map.v,sha256=zTFiwK5YeohiO3kjV04S3h2dJdpSKpOILKpfhJGWNGM,428
|
|
260
261
|
yowasp_yosys/share/nexus/parse_init.vh,sha256=Weev9ITWk8JEoaovId36MYw_vXLmsZvpZ9U59jFC7n4,855
|
|
261
|
-
yowasp_yosys/share/python3/sby_autotune.py,sha256=
|
|
262
|
-
yowasp_yosys/share/python3/sby_cmdline.py,sha256=
|
|
263
|
-
yowasp_yosys/share/python3/sby_core.py,sha256=
|
|
264
|
-
yowasp_yosys/share/python3/sby_design.py,sha256=
|
|
265
|
-
yowasp_yosys/share/python3/sby_engine_abc.py,sha256=
|
|
266
|
-
yowasp_yosys/share/python3/sby_engine_aiger.py,sha256=
|
|
267
|
-
yowasp_yosys/share/python3/sby_engine_btor.py,sha256=
|
|
268
|
-
yowasp_yosys/share/python3/sby_engine_smtbmc.py,sha256=
|
|
262
|
+
yowasp_yosys/share/python3/sby_autotune.py,sha256=EdP4Sb97dc6fq0Hjbj9Cz7rC71CTLa4uYgr3TYm3eUg,25325
|
|
263
|
+
yowasp_yosys/share/python3/sby_cmdline.py,sha256=laB2hfkUvW2HbE3UFUJ1FiSJL0OtKLKvKB2cBFV-ATI,6352
|
|
264
|
+
yowasp_yosys/share/python3/sby_core.py,sha256=PgJOfgQlbhU47lEH_wN1dr0zKELQkhIhL1tPr_-uhj0,65627
|
|
265
|
+
yowasp_yosys/share/python3/sby_design.py,sha256=YLWUkdrbvNWpeazY1oshYPkeepSlXcrIp4Oj03mil4s,9150
|
|
266
|
+
yowasp_yosys/share/python3/sby_engine_abc.py,sha256=AYw-viJUvNt553Nxc7bBuJz7QZLJ_mk4WE7jNqYDc2Q,9783
|
|
267
|
+
yowasp_yosys/share/python3/sby_engine_aiger.py,sha256=VcB8bilzNY3RSYy7yelkx6oxOpZOu2KmsBjLdK61Trg,11448
|
|
268
|
+
yowasp_yosys/share/python3/sby_engine_btor.py,sha256=JvIqZvy97DINvX43fsOQYNysL0UcfA_NWw-7S2crj3Y,11705
|
|
269
|
+
yowasp_yosys/share/python3/sby_engine_smtbmc.py,sha256=5rJ7eAZShDHcmAvRKqkT6Sxl6S8olWJqRc-AGxLzCok,12827
|
|
269
270
|
yowasp_yosys/share/python3/sby_jobserver.py,sha256=Zv97i6x7Wn0NQ0g6EpC9QvbOks_S25tyg_mD7B0Y150,12066
|
|
270
271
|
yowasp_yosys/share/python3/sby_mode_bmc.py,sha256=M681KDRXnaH_yN4xhL_ASGfVPml5NA9s-LWSMqaLXsU,1908
|
|
271
272
|
yowasp_yosys/share/python3/sby_mode_cover.py,sha256=JHt1NDaocK-j0kkGuJf4om47mMJxrEVHa5XMjyyJkhg,1598
|
|
272
273
|
yowasp_yosys/share/python3/sby_mode_live.py,sha256=jpINzeD4tEZDhsVORbfg3tIXZbA5z-bGr-L2HHi83K0,1491
|
|
273
274
|
yowasp_yosys/share/python3/sby_mode_prove.py,sha256=igQAoaxEfO6SSXNm8PeIYV1qWLC9os96V1m7FHAJVKo,1941
|
|
274
275
|
yowasp_yosys/share/python3/sby_sim.py,sha256=HWSLhMOv1RrNXVrmgsibBTf3lHUHUNaAhfnBF2Wx9Bc,4403
|
|
275
|
-
yowasp_yosys/share/python3/sby_status.py,sha256=
|
|
276
|
+
yowasp_yosys/share/python3/sby_status.py,sha256=1xkkYzWhA9jWDFAn9tWlbmADEP8o2NRzruumcw1tDJs,21077
|
|
276
277
|
yowasp_yosys/share/python3/smtio.py,sha256=iaKRFczPE2ml5MpEpvJPcKY9KF_bwyUDuYtOh8v0VGo,48785
|
|
277
278
|
yowasp_yosys/share/python3/ywio.py,sha256=F3V-lAn7GNAlDh8oO3VtLJbQd3LwJZyrq3qjZVW_A_4,12442
|
|
278
279
|
yowasp_yosys/share/quicklogic/common/cells_sim.v,sha256=XjVURrz_kgf2n32Mq9KKUXAbmKJsazqS87PiznC75Ew,366
|
|
@@ -335,8 +336,8 @@ yowasp_yosys/share/xilinx/xc5v_dsp_map.v,sha256=I4lg0RQ54fBBba_7NNvUgwS4tQ1yLIsU
|
|
|
335
336
|
yowasp_yosys/share/xilinx/xc6s_dsp_map.v,sha256=gTxHocB-Dn5G4BplWgri_tLhT6DIO2S0X-yu4iBKYyk,562
|
|
336
337
|
yowasp_yosys/share/xilinx/xc7_dsp_map.v,sha256=zrzreQi7mElrAMtrayxtiO_Bw00S6zsjSjSVcjmJPH0,884
|
|
337
338
|
yowasp_yosys/share/xilinx/xcu_dsp_map.v,sha256=gzCgl1emrHGcigVmU0nP0pW7dlhQ01SaWwXzHHcqt-o,882
|
|
338
|
-
yowasp_yosys-0.
|
|
339
|
-
yowasp_yosys-0.
|
|
340
|
-
yowasp_yosys-0.
|
|
341
|
-
yowasp_yosys-0.
|
|
342
|
-
yowasp_yosys-0.
|
|
339
|
+
yowasp_yosys-0.56.0.141.post974.dev0.dist-info/METADATA,sha256=vLNx6yFAEnaSbM_DLFuCTdNyU_E2qCCrs6vuGrF7o28,2529
|
|
340
|
+
yowasp_yosys-0.56.0.141.post974.dev0.dist-info/WHEEL,sha256=lTU6B6eIfYoiQJTZNc-fyaR6BpL6ehTzU3xGYxn2n8k,91
|
|
341
|
+
yowasp_yosys-0.56.0.141.post974.dev0.dist-info/entry_points.txt,sha256=p_9sIVi2ZqsqgYYo14PywYkwHYTa76fMEq3LxweXJpc,220
|
|
342
|
+
yowasp_yosys-0.56.0.141.post974.dev0.dist-info/top_level.txt,sha256=_yiNT8kLYkcD1TEuUCzQ_MkON1c3xuIRV59zXds4zd4,13
|
|
343
|
+
yowasp_yosys-0.56.0.141.post974.dev0.dist-info/RECORD,,
|
|
File without changes
|
|
File without changes
|
|
File without changes
|