Tux3
|
c66d644b66
|
README.md: Missing formatting for <tag>
|
2019-06-04 10:45:41 +02:00 |
Maciej Kurc
|
b79bd5b3ca
|
Moved tests that fail with Icarus Verilog to /tests/various. Those tests are just for parsing Verilog.
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
|
2019-06-04 10:42:42 +02:00 |
Eddie Hung
|
9b9bd4e19f
|
Move ff_map back after ABC for shregmap
|
2019-06-03 23:43:23 -07:00 |
Eddie Hung
|
09b778744d
|
Respect -nocarry
|
2019-06-03 23:42:30 -07:00 |
Eddie Hung
|
5afa42432f
|
Fix pmux2shiftx logic
|
2019-06-03 23:29:45 -07:00 |
Eddie Hung
|
23a73ca624
|
Merge mistake
|
2019-06-03 23:19:22 -07:00 |
Eddie Hung
|
f81a0ed92e
|
Merge remote-tracking branch 'origin/master' into xc7mux
|
2019-06-03 23:07:08 -07:00 |
Eddie Hung
|
1217e47e83
|
Merge pull request #1061 from YosysHQ/eddie/techmap_and_arith_map
Execute techmap and arith_map simultaneously
|
2019-06-03 20:23:37 -07:00 |
Eddie Hung
|
b6e59741ae
|
Typo
|
2019-06-03 20:21:41 -07:00 |
Eddie Hung
|
02973474df
|
Remove extra newline
|
2019-06-03 20:04:47 -07:00 |
Eddie Hung
|
c9a0bac541
|
IS_C_INVERTED
|
2019-06-03 19:45:56 -07:00 |
Eddie Hung
|
0ad50332d9
|
Execute techmap and arith_map simultaneously
|
2019-06-03 19:36:09 -07:00 |
Eddie Hung
|
ebcc85b9b8
|
Fix `ifndef
|
2019-06-03 12:37:02 -07:00 |
Eddie Hung
|
0092770317
|
Make SB_LUT4 a whitebox, SB_DFF a blackbox (for now)
|
2019-06-03 12:34:55 -07:00 |
Eddie Hung
|
d018cd9fe3
|
Assert that box_unique_id is indeed unique
|
2019-06-03 12:33:47 -07:00 |
Eddie Hung
|
295bd8d0bf
|
Remove dupe
|
2019-06-03 12:32:20 -07:00 |
Eddie Hung
|
a54822b1bc
|
Skip internal modules when generating box_unique_id
|
2019-06-03 12:31:23 -07:00 |
Eddie Hung
|
257f7ff5f6
|
When creating new holes cell, inherit parameters too
|
2019-06-03 12:30:54 -07:00 |
Eddie Hung
|
4da25c76b3
|
Ooopsie
|
2019-06-03 09:33:42 -07:00 |
Eddie Hung
|
9f44a71715
|
Consistent with xilinx
|
2019-06-03 09:23:43 -07:00 |
Maciej Kurc
|
5739cf5265
|
Added tests for attributes
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
|
2019-06-03 09:25:20 +02:00 |
Clifford Wolf
|
36120fcc30
|
Only support Symbiotic EDA flavored Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-06-02 10:14:50 +02:00 |
Eddie Hung
|
2228cef62f
|
Add flops as blackboxes
|
2019-05-31 18:11:46 -07:00 |
Eddie Hung
|
01f71085f2
|
Add FD*E_1 -> FD*E techmap rules
|
2019-05-31 18:11:24 -07:00 |
Eddie Hung
|
dea36d4366
|
Techmap flops before ABC again
|
2019-05-31 18:10:25 -07:00 |
Eddie Hung
|
e3d160a9ca
|
parse_xaiger to cope with flops
|
2019-05-31 18:06:36 -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
|
a379234f56
|
Throw out unused code inherited from abc
|
2019-05-31 12:50:11 -07:00 |
Maciej Kurc
|
a6cadf6318
|
Added support for parsing attributes on port connections.
Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
|
2019-05-31 14:58:43 +02:00 |
Clifford Wolf
|
90ec2cda42
|
Fix "tee" handling of log_streams
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-31 09:28:51 +02: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
|
a41553a861
|
read_xaiger() to name box signals
|
2019-05-30 16:02:40 -07:00 |
Eddie Hung
|
4a6b9af227
|
Fix spelling
|
2019-05-30 15:50:47 -07:00 |
Eddie Hung
|
1ad33c3b5a
|
Remove whitebox attribute from DRAMs for now
|
2019-05-30 13:07:29 -07:00 |
Eddie Hung
|
e3c8132d7a
|
Do not re-sort box_module ports
|
2019-05-30 12:26:51 -07:00 |
Eddie Hung
|
c6fa4faa37
|
Remove whitespace
|
2019-05-30 12:25:21 -07:00 |
Eddie Hung
|
a44fe3a632
|
Revert "Re-enable &dc2"
This reverts commit 8c58c728a7 .
|
2019-05-30 11:41:50 -07:00 |
Eddie Hung
|
0800846e73
|
Do not double count LUT1s
|
2019-05-30 11:32:14 -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 |
Clifford Wolf
|
2faa1d0e80
|
Enable Verific flag veri_elaborate_top_level_modules_having_interface_ports, fixes #1055
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
2019-05-30 10:04:26 +02:00 |
Clifford Wolf
|
0df8a3b461
|
Merge pull request #1057 from mmicko/fix_478
Aded one more load of .conf to support change of prefix
|
2019-05-30 09:58:51 +02:00 |
Eddie Hung
|
8c58c728a7
|
Re-enable &dc2
|
2019-05-30 00:42:41 -07:00 |
Eddie Hung
|
2560f92f29
|
Reduce -W to 160
|
2019-05-29 23:01:46 -07:00 |
Eddie Hung
|
276f5f8b81
|
Some more realistic delays...
|
2019-05-29 22:55:34 -07:00 |
Eddie Hung
|
854557814e
|
Erase all boxes before stitching
|
2019-05-29 19:17:36 -07:00 |
Eddie Hung
|
b955344ecd
|
Call &if with -W 250
|
2019-05-29 16:34:52 -07:00 |
Eddie Hung
|
5e75abf870
|
Bump ABC
|
2019-05-29 16:34:43 -07:00 |
Eddie Hung
|
25befbf542
|
Rename to #23
|
2019-05-29 15:26:33 -07:00 |
Eddie Hung
|
aa2380c17a
|
Add abc_test024
|
2019-05-29 15:24:38 -07:00 |