Eddie Hung
|
5f50e4f112
|
Cleanup xaiger, remove unnecessary complexity with inout
|
2019-12-17 15:45:26 -08:00 |
Eddie Hung
|
e82a9bc642
|
Do not sigmap
|
2019-12-17 00:03:03 -08:00 |
Eddie Hung
|
2e71130700
|
Revert "Use sigmap signal"
This reverts commit 42f990f3a6 .
|
2019-12-17 00:00:07 -08:00 |
Eddie Hung
|
42f990f3a6
|
Use sigmap signal
|
2019-12-16 16:49:42 -08:00 |
Eddie Hung
|
b19fc8839b
|
Skip $inout transformation if not a PI
|
2019-12-16 14:39:13 -08:00 |
Eddie Hung
|
78c0246d4a
|
Revert "write_xaiger: use sigmap bits more consistently"
This reverts commit 6c340112fe .
|
2019-12-16 14:35:35 -08:00 |
Eddie Hung
|
6c340112fe
|
write_xaiger: use sigmap bits more consistently
|
2019-12-16 10:21:57 -08:00 |
Eddie Hung
|
1f96de04c9
|
Fix writing non-whole modules, including inouts and keeps
|
2019-12-06 16:19:10 -08:00 |
Eddie Hung
|
a682a3cf93
|
write_xaiger to support part-selected modules again
|
2019-12-05 17:54:43 -08:00 |
Eddie Hung
|
c6ee2fb482
|
Cleanup
|
2019-12-03 19:21:47 -08:00 |
Eddie Hung
|
df52bc80d8
|
write_xaiger to consume abc9_init attribute for abc9_flops
|
2019-12-03 18:47:44 -08:00 |
Eddie Hung
|
449b1d2c6f
|
Add comment, use sigmap
|
2019-11-27 13:20:12 -08:00 |
Eddie Hung
|
403214f44d
|
Revert "Fold loop"
This reverts commit da51492dbc .
|
2019-11-27 12:35:25 -08:00 |
Eddie Hung
|
99702efaba
|
xaiger: do not promote output wires
|
2019-11-26 19:03:02 -08:00 |
Eddie Hung
|
da51492dbc
|
Fold loop
|
2019-11-25 15:43:37 -08:00 |
Eddie Hung
|
7f0914a408
|
Do not sigmap keep bits inside write_xaiger
|
2019-11-25 15:42:07 -08:00 |
Eddie Hung
|
81548d1ef9
|
write_xaiger back to working with whole modules only
|
2019-11-22 16:52:17 -08:00 |
Eddie Hung
|
8ef241c6f4
|
Revert "write_xaiger to not use module POs but only write outputs if driven"
This reverts commit 0ab1e496dc .
|
2019-11-22 13:24:28 -08:00 |
Eddie Hung
|
0ab1e496dc
|
write_xaiger to not use module POs but only write outputs if driven
|
2019-11-21 16:19:28 -08:00 |
Eddie Hung
|
929beda19c
|
abc9 to support async flops $_DFF_[NP][NP][01]_
|
2019-11-19 16:57:26 -08:00 |
Eddie Hung
|
b2e34f932a
|
Rename $currQ to $abc9_currQ
|
2019-10-07 15:31:43 -07:00 |
Eddie Hung
|
90a954bb9c
|
Get rid of latch_* in write_xaiger
|
2019-10-07 13:09:13 -07:00 |
Eddie Hung
|
1504ca2cd9
|
Remove "write_xaiger -zinit"
|
2019-10-07 11:58:49 -07:00 |
Eddie Hung
|
e1554b56dd
|
Add comment on default flop init
|
2019-10-07 11:56:17 -07:00 |
Eddie Hung
|
d9fba95177
|
Get rid of output_port lookup
|
2019-10-07 11:49:06 -07:00 |
Eddie Hung
|
3879ca1398
|
Do not require changes to cells_sim.v; try and work out comb model
|
2019-10-05 22:55:18 -07:00 |
Eddie Hung
|
3c6e5d82a6
|
Error if $currQ not found
|
2019-10-05 09:06:13 -07:00 |
Eddie Hung
|
7959e9d6b2
|
Fix merge issues
|
2019-10-04 17:21:14 -07:00 |
Eddie Hung
|
7a45cd5856
|
Merge remote-tracking branch 'origin/eddie/abc_to_abc9' into xaig_dff
|
2019-10-04 16:58:55 -07:00 |
Eddie Hung
|
aae2b9fd9c
|
Rename abc_* names/attributes to more precisely be abc9_*
|
2019-10-04 11:04:10 -07:00 |
Eddie Hung
|
1b96d29174
|
No need to punch ports at all
|
2019-09-30 17:02:20 -07:00 |
Eddie Hung
|
e529872b01
|
Remove need for $currQ port connection
|
2019-09-30 16:33:40 -07:00 |
Eddie Hung
|
eecfdda614
|
Cleanup
|
2019-09-30 15:24:03 -07:00 |
Eddie Hung
|
74678227c7
|
Use a cell_cache to instantiate once rather than opt_merge call
|
2019-09-30 13:21:07 -07:00 |
Eddie Hung
|
a6994c5f16
|
scc call on active module module only, plus cleanup
|
2019-09-30 12:57:19 -07:00 |
Eddie Hung
|
bd8356799a
|
Use derived module
|
2019-09-30 12:34:28 -07:00 |
Eddie Hung
|
1123c09588
|
Merge remote-tracking branch 'origin/master' into xaig_dff
|
2019-09-29 19:39:12 -07:00 |
Eddie Hung
|
8474c5b366
|
Merge pull request #1359 from YosysHQ/xc7dsp
DSP inference for Xilinx (improved for ice40, initial support for ecp5)
|
2019-09-29 11:26:22 -07:00 |
Eddie Hung
|
f3e150d9a5
|
Merge remote-tracking branch 'origin/master' into xaig_dff
|
2019-09-29 09:21:51 -07:00 |
Eddie Hung
|
79b6edb639
|
Big rework; flop info now mostly in cells_sim.v
|
2019-09-28 23:48:17 -07:00 |
Miodrag Milanovic
|
d0493925ec
|
Support binary files for backends, fixes #1407
|
2019-09-28 09:36:18 +02:00 |
Eddie Hung
|
cfa6dd61ef
|
Use abc_mergeability attr for "r" extension
|
2019-09-27 18:41:43 -07:00 |
Eddie Hung
|
dc154c39a8
|
Fix infinite recursion
|
2019-09-27 17:45:49 -07:00 |
Eddie Hung
|
8f5710c464
|
Merge remote-tracking branch 'origin/master' into xaig_dff
|
2019-09-27 15:14:31 -07:00 |
Eddie Hung
|
44374b1b2b
|
"abc_padding" attr for blackbox outputs that were padded, remove them later
|
2019-09-23 21:58:40 -07:00 |
Eddie Hung
|
c340fbfab2
|
Force $inout.out ports to begin with '$' to indicate internal
|
2019-09-23 21:58:04 -07:00 |
Eddie Hung
|
2d9484c12c
|
When two boxes connect to each other, need not be a (* keep *)
|
2019-09-19 15:40:28 -07:00 |
Eddie Hung
|
e9bb252e77
|
Recognise built-in types (e.g. $_DFF_*)
|
2019-08-30 20:15:09 -07:00 |
Eddie Hung
|
3247442bf9
|
Revert "Revert "Fix omode which inserts an output if none exists (otherwise abc9 breaks)""
This reverts commit 8f0c1232d7 .
|
2019-08-28 17:34:00 -07:00 |
Eddie Hung
|
082a01954b
|
Revert "Output "h" extension only if boxes"
This reverts commit 399ac760ff .
|
2019-08-28 17:30:54 -07:00 |