yowasp-yosys 0.39.0.183.post706.dev0__py3-none-any.whl → 0.40.0.50.post718.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/share/include/kernel/constids.inc +2 -0
- yowasp_yosys/share/python3/sby_engine_abc.py +10 -0
- yowasp_yosys/share/quicklogic/qlf_k6n10f/bram_types_sim.v +1 -1
- yowasp_yosys/yosys.wasm +0 -0
- {yowasp_yosys-0.39.0.183.post706.dev0.dist-info → yowasp_yosys-0.40.0.50.post718.dev0.dist-info}/METADATA +1 -1
- {yowasp_yosys-0.39.0.183.post706.dev0.dist-info → yowasp_yosys-0.40.0.50.post718.dev0.dist-info}/RECORD +9 -9
- {yowasp_yosys-0.39.0.183.post706.dev0.dist-info → yowasp_yosys-0.40.0.50.post718.dev0.dist-info}/WHEEL +0 -0
- {yowasp_yosys-0.39.0.183.post706.dev0.dist-info → yowasp_yosys-0.40.0.50.post718.dev0.dist-info}/entry_points.txt +0 -0
- {yowasp_yosys-0.39.0.183.post706.dev0.dist-info → yowasp_yosys-0.40.0.50.post718.dev0.dist-info}/top_level.txt +0 -0
|
@@ -69,6 +69,14 @@ def run(mode, task, engine_idx, engine):
|
|
|
69
69
|
if task.opt_aigfolds:
|
|
70
70
|
fold_command += " -s"
|
|
71
71
|
|
|
72
|
+
prep_commands = []
|
|
73
|
+
|
|
74
|
+
for i, arg in reversed(list(enumerate(engine[1:], 1))):
|
|
75
|
+
if arg.endswith(';'):
|
|
76
|
+
prep_commands = engine[1:i + 1]
|
|
77
|
+
engine[1:] = engine[i + 1:]
|
|
78
|
+
break
|
|
79
|
+
|
|
72
80
|
abc_command, custom_options, toggles = abc_getopt(engine[1:], [
|
|
73
81
|
"keep-going",
|
|
74
82
|
])
|
|
@@ -116,6 +124,8 @@ def run(mode, task, engine_idx, engine):
|
|
|
116
124
|
else:
|
|
117
125
|
task.error(f"Invalid ABC command {abc_command[0]}.")
|
|
118
126
|
|
|
127
|
+
abc_command[0:0] = prep_commands
|
|
128
|
+
|
|
119
129
|
smtbmc_vcd = task.opt_vcd and not task.opt_vcd_sim
|
|
120
130
|
run_aigsmt = smtbmc_vcd or (task.opt_append and task.opt_append_assume)
|
|
121
131
|
smtbmc_append = 0
|
|
@@ -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-05-06
|
|
2
|
+
// Generated by ../yosys-src/techlibs/quicklogic/qlf_k6n10f/generate_bram_types_sim.py at 2024-05-06 14:21:47.393993+00:00
|
|
3
3
|
`timescale 1ns /10ps
|
|
4
4
|
|
|
5
5
|
module TDP36K_BRAM_A_X1_B_X1_nonsplit (
|
yowasp_yosys/yosys.wasm
CHANGED
|
Binary file
|
|
@@ -2,7 +2,7 @@ yowasp_yosys/__init__.py,sha256=x--xPTzLWZNoX6H0B2E3a1HMZMk3di10gVnWVLJ92xc,1325
|
|
|
2
2
|
yowasp_yosys/sby.py,sha256=5T0BrIqJ5vobWMd9nOEClXq0rlRxCXNPYycGGS0l7zc,18414
|
|
3
3
|
yowasp_yosys/smtbmc.py,sha256=bGnVDnvEGCRWuNdHfsqwMdCNJ9GJqdeBuxehh8N9M64,73159
|
|
4
4
|
yowasp_yosys/witness.py,sha256=m3iV2Nydm0p4G79VRaaX3lGul-nGnuxeKnx20MCJgi0,17279
|
|
5
|
-
yowasp_yosys/yosys.wasm,sha256=
|
|
5
|
+
yowasp_yosys/yosys.wasm,sha256=6p3w5-GXIUCtoUdcwhJNl3oWAcsnDguUMFC-dKl6vsI,21896365
|
|
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
|
|
@@ -119,7 +119,7 @@ yowasp_yosys/share/include/kernel/cellaigs.h,sha256=11wsrdUcxECKpVzln4AaBgyh_QU1
|
|
|
119
119
|
yowasp_yosys/share/include/kernel/celledges.h,sha256=fF_sHJOpN_qQ1P0x8KKoJE9ulDMusfjkF0dBpTMs19E,2216
|
|
120
120
|
yowasp_yosys/share/include/kernel/celltypes.h,sha256=eUTCXzeOBYZikLkfmvrdZmlrwqn1BEVLjYIlLW3UphU,18323
|
|
121
121
|
yowasp_yosys/share/include/kernel/consteval.h,sha256=dHXfaHnD0v94entOfWlmo5u3QhVF8knnn4ETcHiL4PI,10913
|
|
122
|
-
yowasp_yosys/share/include/kernel/constids.inc,sha256=
|
|
122
|
+
yowasp_yosys/share/include/kernel/constids.inc,sha256=kHG_xquUFK2Dodiro0wT-q5QTM5cp_poQ4wFkMiL6mk,3568
|
|
123
123
|
yowasp_yosys/share/include/kernel/cost.h,sha256=4f29ZI-4GhsPrI73TNZ89KqtTt7fo48GlWs3U-WA-tQ,3104
|
|
124
124
|
yowasp_yosys/share/include/kernel/ff.h,sha256=Rm9a6qsbXTPADi3TG794tzYXjOvRkewNMy8AXMA5vtE,7574
|
|
125
125
|
yowasp_yosys/share/include/kernel/ffinit.h,sha256=2kcOTgBDxCsCongoGYFPgnFXZugY34WZBDCN2xIHv8M,3473
|
|
@@ -221,7 +221,7 @@ yowasp_yosys/share/python3/sby_autotune.py,sha256=OvrwQKPK-3s_xGpQRj6SP238h97ma1
|
|
|
221
221
|
yowasp_yosys/share/python3/sby_cmdline.py,sha256=smwh_vUjRnclYGXMfFD4Bt9C1l3G0oBUPPvCWi_5-Lw,5074
|
|
222
222
|
yowasp_yosys/share/python3/sby_core.py,sha256=gO6QmiGuYVUEIOZL6FpW8jOPqD2S6pIWTF-Svc5JQqE,60212
|
|
223
223
|
yowasp_yosys/share/python3/sby_design.py,sha256=5IbfwvGBkGeMuv7BcCd9eokYv989EHvw3eT3T22xPSw,9351
|
|
224
|
-
yowasp_yosys/share/python3/sby_engine_abc.py,sha256=
|
|
224
|
+
yowasp_yosys/share/python3/sby_engine_abc.py,sha256=CAn4bm2Re2RYwD6F6w4dXauVvoIQyVz3Qh56lI_kJQc,9428
|
|
225
225
|
yowasp_yosys/share/python3/sby_engine_aiger.py,sha256=wq4IipN00G3_gj0Kq4UhywV5uB3UhYH-E6Uoqry70Q8,9073
|
|
226
226
|
yowasp_yosys/share/python3/sby_engine_btor.py,sha256=ulUhsJRm7UjMiMwb4Jk6aRQVI_RJN1B6iqQD7MMp8uw,11088
|
|
227
227
|
yowasp_yosys/share/python3/sby_engine_smtbmc.py,sha256=OKwrPTqSgC2ms1rqTMe9Cb53sa_Cy9ImJ-RyBtAs6hs,11979
|
|
@@ -245,7 +245,7 @@ yowasp_yosys/share/quicklogic/pp3/latches_map.v,sha256=UrGzRlwwITwA7mMlXhHlDFPiw
|
|
|
245
245
|
yowasp_yosys/share/quicklogic/pp3/lut_map.v,sha256=BmijMS4EqVQPP2BPo2zgKStKPPhRLTf5kbcAtGKZEVs,928
|
|
246
246
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/TDP18K_FIFO.v,sha256=k1AVrwpOQ3vpxoWAbchRpmNbncYCYtVfDExz6VcmtBg,10404
|
|
247
247
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/arith_map.v,sha256=Ea7aX3l71nFxP1Az5NHtca-ZPnQmUmUvlWI-tVl4Bkk,2560
|
|
248
|
-
yowasp_yosys/share/quicklogic/qlf_k6n10f/bram_types_sim.v,sha256=
|
|
248
|
+
yowasp_yosys/share/quicklogic/qlf_k6n10f/bram_types_sim.v,sha256=jpVxhVvNVngl_2Up-8lTUUEt5fKm3VcBtGPs8Ft_nzw,2551774
|
|
249
249
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/brams_map.v,sha256=Iqj4w3Vna6W80liLUtDhAQKwciQNZWX3aFr9FDBU5o4,103558
|
|
250
250
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/brams_sim.v,sha256=mJXEws9AvJLeUBr3eJzxTEvN7Y89zpkNsoR2tpjLu-w,339634
|
|
251
251
|
yowasp_yosys/share/quicklogic/qlf_k6n10f/cells_sim.v,sha256=70GVgjrXbld6c2yITFriyoJLqO8CAcHDyA8oUPfkItg,7347
|
|
@@ -294,8 +294,8 @@ yowasp_yosys/share/xilinx/xc5v_dsp_map.v,sha256=I4lg0RQ54fBBba_7NNvUgwS4tQ1yLIsU
|
|
|
294
294
|
yowasp_yosys/share/xilinx/xc6s_dsp_map.v,sha256=gTxHocB-Dn5G4BplWgri_tLhT6DIO2S0X-yu4iBKYyk,562
|
|
295
295
|
yowasp_yosys/share/xilinx/xc7_dsp_map.v,sha256=zrzreQi7mElrAMtrayxtiO_Bw00S6zsjSjSVcjmJPH0,884
|
|
296
296
|
yowasp_yosys/share/xilinx/xcu_dsp_map.v,sha256=gzCgl1emrHGcigVmU0nP0pW7dlhQ01SaWwXzHHcqt-o,882
|
|
297
|
-
yowasp_yosys-0.
|
|
298
|
-
yowasp_yosys-0.
|
|
299
|
-
yowasp_yosys-0.
|
|
300
|
-
yowasp_yosys-0.
|
|
301
|
-
yowasp_yosys-0.
|
|
297
|
+
yowasp_yosys-0.40.0.50.post718.dev0.dist-info/METADATA,sha256=TSXt8pOQjmfUw4_jKSAKW1Yal_jM70LZPonMj8jDOzc,2613
|
|
298
|
+
yowasp_yosys-0.40.0.50.post718.dev0.dist-info/WHEEL,sha256=GJ7t_kWBFywbagK5eo9IoUwLW6oyOeTKmQ-9iHFVNxQ,92
|
|
299
|
+
yowasp_yosys-0.40.0.50.post718.dev0.dist-info/entry_points.txt,sha256=p_9sIVi2ZqsqgYYo14PywYkwHYTa76fMEq3LxweXJpc,220
|
|
300
|
+
yowasp_yosys-0.40.0.50.post718.dev0.dist-info/top_level.txt,sha256=_yiNT8kLYkcD1TEuUCzQ_MkON1c3xuIRV59zXds4zd4,13
|
|
301
|
+
yowasp_yosys-0.40.0.50.post718.dev0.dist-info/RECORD,,
|
|
File without changes
|
|
File without changes
|
|
File without changes
|