Eddie Hung
|
c2f3f116d0
|
Use $__ABC_FF_ instead of $_FF_
|
2019-06-15 18:16:14 -07:00 |
Eddie Hung
|
6d74b3e004
|
Update comment
|
2019-06-15 09:36:02 -07:00 |
Eddie Hung
|
357d36ef4f
|
write_xaiger to treat abc_flop boxes as boxff for ABC
|
2019-06-15 09:07:03 -07:00 |
Eddie Hung
|
7ff8330d1e
|
Leave breadcrumb behind
|
2019-06-14 13:34:40 -07:00 |
Eddie Hung
|
46e69ee934
|
Remove redundant condition
|
2019-06-14 13:31:18 -07:00 |
Eddie Hung
|
9b55e69755
|
Revert "Cleanup/optimise toposort in write_xaiger"
This reverts commit 1948e7c846 .
Restores old toposort with optimisations
|
2019-06-14 13:29:36 -07:00 |
Eddie Hung
|
746f70a9ce
|
Update comment
|
2019-06-14 13:10:46 -07:00 |
Eddie Hung
|
0fa6a441f1
|
Check that whiteboxes are synthesisable
|
2019-06-14 13:08:38 -07:00 |
Eddie Hung
|
2d85725604
|
Get rid of compiler warnings
|
2019-06-14 13:07:56 -07:00 |
Eddie Hung
|
7876b5b8be
|
Cover __APPLE__ too for little to big endian
|
2019-06-14 12:40:51 -07:00 |
Eddie Hung
|
a48b5bfaa5
|
Further cleanup based on @daveshah1
|
2019-06-14 12:25:06 -07:00 |
Eddie Hung
|
97d2656375
|
Resolve comments from @daveshah1
|
2019-06-14 12:00:02 -07:00 |
Eddie Hung
|
ee428f73ab
|
Remove WIP ABC9 flop support
|
2019-06-14 10:37:52 -07:00 |
Eddie Hung
|
1656c44373
|
Cleanup
|
2019-06-14 10:29:27 -07:00 |
Eddie Hung
|
751e640c1d
|
Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig
|
2019-06-14 10:29:16 -07:00 |
Eddie Hung
|
1948e7c846
|
Cleanup/optimise toposort in write_xaiger
|
2019-06-14 10:13:17 -07:00 |
David Shah
|
9566573054
|
ecp5: Add abc9 option
Signed-off-by: David Shah <dave@ds0.me>
|
2019-06-14 17:15:02 +01:00 |
Eddie Hung
|
8374eb1cb4
|
Remove unnecessary undriven_bits.insert
|
2019-06-12 15:55:02 -07:00 |
Eddie Hung
|
fb2758aade
|
write_xaiger to preserve POs even if driven by constant
|
2019-06-12 15:44:30 -07:00 |
Eddie Hung
|
2e7b3eee40
|
Add a couple more tests
|
2019-06-12 15:43:43 -07:00 |
Eddie Hung
|
14e870d4c4
|
More write_xaiger cleanup
|
2019-06-12 10:00:57 -07:00 |
Eddie Hung
|
4be417f6e1
|
Cleanup write_xaiger
|
2019-06-12 09:53:14 -07:00 |
Eddie Hung
|
b21d29598a
|
Consistency
|
2019-06-12 09:40:51 -07:00 |
Eddie Hung
|
7b186740d3
|
Add log_assert to ensure no loops
|
2019-06-04 12:01:25 -07:00 |
Eddie Hung
|
1b836c93bb
|
Only toposort builtin and abc types
|
2019-06-04 11:56:58 -07:00 |
Eddie Hung
|
257f7ff5f6
|
When creating new holes cell, inherit parameters too
|
2019-06-03 12:30:54 -07:00 |
Eddie Hung
|
4623177655
|
ABC9 to understand flops
|
2019-05-31 15:23:33 -07:00 |
Eddie Hung
|
eb08e71bd1
|
Merge branch 'xaig' into xc7mux
|
2019-05-31 13:03:03 -07:00 |
Eddie Hung
|
887c31f33b
|
Fix issue where keep signal became PI, but also box was adding CI driver
|
2019-05-30 16:03:22 -07:00 |
Eddie Hung
|
e3c8132d7a
|
Do not re-sort box_module ports
|
2019-05-30 12:26:51 -07:00 |
Eddie Hung
|
fdfc18be91
|
Carry in/out to be the last input/output for chains to be preserved
|
2019-05-30 01:23:36 -07:00 |
Eddie Hung
|
1423384367
|
Fix abc_test024
|
2019-05-29 15:24:09 -07:00 |
Eddie Hung
|
b4321a31bb
|
Fix for abc9_test022
|
2019-05-28 12:42:17 -07:00 |
Eddie Hung
|
13e233217c
|
Small improvement
|
2019-05-28 11:29:59 -07:00 |
Eddie Hung
|
914074a07c
|
Update from master
|
2019-05-28 09:35:45 -07:00 |
Eddie Hung
|
3f60061615
|
Map file to include boxes not CI/CO
|
2019-05-27 23:10:59 -07:00 |
Eddie Hung
|
234156c01a
|
Instantiate cell type (from sym file) otherwise 'clean' warnings
|
2019-05-27 12:16:10 -07:00 |
Eddie Hung
|
03b289a851
|
Add 'cinput' and 'coutput' to symbols file for boxes
|
2019-05-27 11:38:52 -07:00 |
Eddie Hung
|
3c8368454f
|
Fix "a" connectivity
|
2019-05-26 14:14:13 -07:00 |
Eddie Hung
|
67f7c64a77
|
Fix padding, remove CIs from undriven_bits before erasing undriven POs
|
2019-05-26 11:26:38 -07:00 |
Eddie Hung
|
32a4c10c0d
|
Fix "a" extension
|
2019-05-26 02:44:36 -07:00 |
Eddie Hung
|
01684643b6
|
Fix "write_xaiger", and to write each box contents into holes
|
2019-05-25 22:34:50 -07:00 |
Eddie Hung
|
73c98f2ae2
|
Merge remote-tracking branch 'origin/master' into xc7mux
|
2019-05-25 20:50:47 -07:00 |
Clifford Wolf
|
6352df42ae
|
Fix handling of offset and upto module ports in write_blif, fixes #1040
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-25 17:45:14 +02:00 |
Clifford Wolf
|
b7dd7c2dcd
|
Add proper error message for btor recursion_guard
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-24 16:22:34 +02:00 |
Eddie Hung
|
68359bcd6f
|
Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux
|
2019-05-23 13:37:53 -07:00 |
Eddie Hung
|
0f094fba08
|
Pad all boxes so that all input/output connections specified
|
2019-05-21 16:19:23 -07:00 |
Eddie Hung
|
fb09c6219b
|
Merge remote-tracking branch 'origin/master' into xc7mux
|
2019-05-21 14:21:00 -07:00 |
Jim Lawson
|
a5131e2896
|
Fix static shift operands, neg result type, minor formatting
Static shift operands must be constants.
The result of FIRRTL's neg operator is signed.
Fix poor indentation for gen_read().
|
2019-05-21 13:04:56 -07:00 |
Clifford Wolf
|
3870e7cf29
|
Merge pull request #991 from kristofferkoch/gcc9-warnings
Fix all warnings that occurred when compiling with gcc9
|
2019-05-08 11:25:22 +02:00 |