luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
5,417 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

5417 Commits

Author SHA1 Message Date
Alan Mishchenko 3c56ccb8fb Add warning when trying to CEC AIGs with xor-gates. 2024-05-08 08:15:45 -07:00
alanminko ae92ea0214
Merge pull request #297 from aletempiac/yosys-flow 
Integrating delay-driven LUT decomposition in &if
 2024-05-07 06:43:53 -07:00
aletempiac d109372fb7 Adding delay-driven LUT decomposition to &if 2024-05-07 11:03:24 +02:00
Alan Mishchenko fb97997991 New command &putontop to create large AIGs. 2024-05-04 13:38:32 -07:00
alanminko 4865b58b19
Merge pull request #296 from QuantamHD/enable_actions_on_pull 
Enables github actions on pull requests
 2024-05-03 18:22:59 -07:00
alanminko 16ba7ed883
Merge pull request #295 from QuantamHD/revert_c++_downgrade 
Reverts downgrade to c++11
 2024-05-03 18:22:48 -07:00
alanminko 08301d00ed
Merge pull request #294 from QuantamHD/fix_wlc_blast 
Fixes incorrect extern definition of Wlc_BlastMultiplier3
 2024-05-03 18:22:33 -07:00
Ethan Mahintorabi 8afc83874f
add c++17 back to makefile for makefile only runs 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-04 01:13:09 +00:00
Ethan Mahintorabi 9ccb28ebc1
Enables github actions on pull requests 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-03 20:11:04 +00:00
Ethan Mahintorabi 0fc549d8b8
Reverts downgrade to c++11 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-03 05:24:02 +00:00
Ethan Mahintorabi 246337cdbe
Fixes incorrect extern definition of Wlc_BlastMultiplier3 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-03 01:55:31 +00:00
aletempiac 5708841672 Merge remote-tracking branch 'origin/master' into yosys-flow 2024-05-02 10:23:16 +02:00
aletempiac 714ab458b7 Adding deriving LUTs to if 2024-05-02 10:23:11 +02:00
aletempiac 39ed8b36d4 Cleaning code 2024-05-02 10:06:40 +02:00
alanminko 516c38bb44
Merge pull request #293 from QuantamHD/fix_duplicate_declaration 
Fixes duplicate declaration of Abc_SclHasDelayInfo
 2024-05-01 19:18:47 -07:00
Ethan Mahintorabi b7c7a6d98d
Fixes duplicate declaration of Abc_SclHasDelayInfo 
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
 2024-05-02 02:15:59 +00:00
alanminko 848dc0da1b
Merge pull request #291 from cr1901/win-fix 
Modify include guards in cmd.c so that Windows compilers don't compil…
 2024-04-29 07:54:49 -07:00
William D. Jones 402c2579db Modify include guards in cmd.c so that Windows compilers don't compile Unix-only code. 2024-04-27 19:06:36 -04:00
aletempiac 043a2ffcc6 Adding new XX decomposition to &if 2024-04-23 11:10:16 +02:00
Alan Mishchenko c14d5f3906 Dumping miter statistics. 2024-04-22 22:06:07 -04:00
alanminko 6699c07b92
Merge pull request #290 from YosysHQ/povik/fix-simrsb-decl 
Fix prototype mismatch for `Gia_ManSimRsb`
 2024-04-22 15:14:19 -04:00
Martin Povišer e6a3dc602c Fix prototype mismatch for `Gia_ManSimRsb` 2024-04-22 17:34:38 +02:00
aletempiac 864f96b11e Adding decomposition of mapping into LUT structures before returning the result 2024-04-16 17:40:47 +02:00
alanminko 8a174ee865
Merge pull request #287 from gadfort/correct-prefix 
ensure initial library writing also honors prefix
 2024-04-16 06:22:46 -07:00
Peter Gadfort de060a26ad ensure initial library writing also honors prefix 2024-04-16 08:58:28 -04:00
Alan Mishchenko bc725b85de Bug fix in CNF generation for &glucose (three more places). 2024-04-15 20:29:38 -07:00
Alan Mishchenko 2d6b5c9adc Bug fix in CNF generation for &glucose. 2024-04-15 20:25:43 -07:00
Alan Mishchenko 99e0e37da6 Added switch -p in "read_lib" to skip writing cell prefix. 2024-04-14 09:51:00 -07:00
alanminko 682480e5e9
Merge pull request #285 from gadfort/add-lib-merging 
add library merging flag to read_lib
 2024-04-14 09:39:14 -07:00
Peter Gadfort 935c6a875d add missing flag to read_lib help 2024-04-12 13:49:44 -04:00
Peter Gadfort 1d90cafd54 add library merging flag to read_lib 
Signed-off-by: Peter Gadfort <gadfort@zeroasic.com>
 2024-04-12 13:27:58 -04:00
alanminko b10d000c7a
Merge pull request #284 from aletempiac/acd66 
LUT structure mapping
 2024-04-11 12:05:12 -07:00
aletempiac 045803dcb8 Merge remote-tracking branch 'origin/master' into acd66 2024-04-11 19:02:29 +02:00
aletempiac 0c905f873b Fixes 2024-04-11 19:01:05 +02:00
aletempiac 6052d10fde Adding new command if -U for 2-LUT decompositions under delay profile 2024-04-11 15:45:37 +02:00
aletempiac e8924e5534 Fixes and improvements 2024-04-11 15:44:52 +02:00
aletempiac 5b49724fcc removing acd666 2024-04-11 15:43:22 +02:00
Alan Mishchenko ca78f5e6e5 Bug fix in the resub engine. 2024-04-11 05:05:52 -07:00
aletempiac 32bc1d4ab2 Cleaning and generalizing code 2024-04-11 11:31:28 +02:00
aletempiac 64fea5c4c2 Improving the performance and quality of acd66 2024-04-10 18:43:52 +02:00
aletempiac 6b5ebb3e76 Removing assertion when decomposing into LUTs smaller than 6 2024-04-10 18:42:52 +02:00
aletempiac 8f3447800c Support again decompositions into luts smaller than 6 2024-04-02 11:25:03 +02:00
Alan Mishchenko 6e1653426f Switch to randomly select one choice. 2024-03-28 16:22:06 +08:00
Alan Mishchenko a2cb5eb4e3 Adding command &pms to print miter status. 2024-03-25 23:39:03 +08:00
aletempiac 1f72ffce79 Improving ACD performance with bail-out conditions 2024-03-25 14:23:43 +01:00
Alan Mishchenko b0d2ff1c63 Exact synthesis using NAND-gates. 2024-03-24 00:10:08 +09:00
aletempiac 6aacf524aa Performance improvement and fixes 2024-03-22 19:19:35 +01:00
aletempiac 8a314db8dc Bug fix 2024-03-22 15:39:52 +01:00
Alan Mishchenko 783a5404a2 Fixing Windows makefile. 2024-03-19 09:57:52 +09:00
Alan Mishchenko 2c0943ff62 Fixiing compiler problem on Windows. 2024-03-19 09:34:20 +09:00