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

141 Commits

Author SHA1 Message Date
wjrforcyber 910a66a372
Fix(print_mffc): Missing condition when single output linked to CO 2025-01-17 18:31:14 +08:00
Alan Mishchenko b0d2ff1c63 Exact synthesis using NAND-gates. 2024-03-24 00:10:08 +09:00
Alan Mishchenko 7fd4b01fb3 Automatic script file generation. 2023-09-18 16:30:09 +08:00
Alan Mishchenko 623d0f3c9f Change in how signal names are printing in 'print_level'. 2023-07-18 21:00:13 -07:00
Alan Mishchenko bb4378934d Removing a global variable in resub. 2023-05-13 13:53:59 -07:00
Alan Mishchenko b57b546494 Compiler warnings. 2023-02-28 15:16:31 +07:00
Alan Mishchenko aefbac6b04 Adding printout of SOPs. 2022-12-19 10:37:22 -08:00
Alan Mishchenko 49078ffebf Updating LUT synthesis code. 2021-05-25 23:12:30 -07:00
Alan Mishchenko e6a47c3e41 Disable cube-sort when deriving SOPs. 2021-05-11 15:54:43 -07:00
Alan Mishchenko 10dd41beaf Corner case bug fix in print_stats (warning). 2019-11-19 21:06:34 +08:00
Alan Mishchenko f2702aeea6 Corner case bug fix in print_stats. 2019-11-19 20:41:34 +08:00
Alan Mishchenko c2c87aa66c Procedures to generate constant-argument multipliers. 2019-01-08 12:06:50 -08:00
Alan Mishchenko d850599020 Adding command 'glitch' for glitch simulation. 2017-03-02 14:26:04 -08:00
Alan Mishchenko 3f8b5cd890 Small fixes and improvements in reporting node counts. 2016-07-15 19:11:17 -07:00
Alan Mishchenko 00242f2fb2 New profiling features for word-level optimizations. 2016-06-04 17:31:15 -07:00
Alan Mishchenko 19586f105c Adding code to support gate profiles. 2015-12-14 00:44:33 -08:00
Alan Mishchenko e9abb0f489 Adding code to support gate profiles. 2015-12-07 01:31:41 -08:00
Alan Mishchenko fe0487dab6 Improvements to command print_fanio. 2015-10-27 20:20:54 -07:00
Alan Mishchenko 1ca82c87b4 Experiments with functional matching. 2015-10-08 23:27:56 -07:00
Alan Mishchenko 97751e43b7 New constraint manager and memory reporting 'ps'. 2015-09-08 19:53:49 -07:00
Alan Mishchenko 9ef96ae8a6 Changes to be able to compile ABC without CUDD. 2015-08-24 20:55:07 -07:00
Alan Mishchenko 77d64787e0 Changes to be able to compile ABC without CUDD. 2015-08-24 19:49:18 -07:00
Alan Mishchenko 772eaa6345 Assertion fail after 'print_supp -w'. 2015-07-11 21:26:34 -07:00
Alan Mishchenko 8efc9cb7a9 Bug fixing in %blast when blasting mod operator (handling zero divisor). 2015-07-07 15:38:54 -07:00
Alan Mishchenko 8453afcf8b Enable arrival/required times in &nf. 2015-03-15 13:27:07 +07:00
Alan Mishchenko e3f87e189c Propagating changes after updating flag of 'sop'. 2015-02-19 12:57:05 -08:00
Alan Mishchenko 8cabdcb55d Adding resource limit switch -C to 'sop'. 2015-02-11 12:33:54 -08:00
Alan Mishchenko 8410daf3e4 Improvements and tuning of CBA with buffering/sizing. 2015-02-04 16:29:55 -08:00
Alan Mishchenko 1398de7c46 Integrating barrier buffers. 2014-12-08 14:10:41 -08:00
Alan Mishchenko d9b5aa49f7 Enables dumping stats into a file. 2014-09-23 20:32:37 -04:00
Alan Mishchenko 6db6607114 Improvements BLIF parser. 2014-08-27 18:47:45 -07:00
Alan Mishchenko 7fb1954268 Small changes. 2014-07-29 22:49:10 -07:00
Alan Mishchenko 6a69a9139c Adding support for standard-cell mapping. 2014-07-28 11:31:31 -07:00
Alan Mishchenko 2d38fc1608 Adding print-out to &splitprove to see impact of cof variable on AIG size. 2014-06-07 13:04:03 -07:00
Alan Mishchenko 78e09e9119 Correcting switching activity computation. 2014-06-05 17:00:04 -07:00
Alan Mishchenko 76f2adb54f Adding color to sizing stats. 2014-04-19 22:44:18 -07:00
Alan Mishchenko 91d80a63d8 Updating cost function to be the number of edges in ps -b. 2014-04-09 14:32:46 -07:00
Alan Mishchenko 6ab0d68d56 Tuning LUT mapping to work while saving the best network. 2014-04-04 16:38:46 -07:00
Alan Mishchenko f329105403 Adding barrier buffers. 2014-03-18 12:51:39 -07:00
Alan Mishchenko 68587eb467 Improving switching activity computation. 2013-12-30 15:15:43 +07:00
Alan Mishchenko 539f05c09f Upgrading command 'print_supp'. 2013-12-04 00:18:07 -08:00
Alan Mishchenko 00efa68053 Several changes to allow Liberty files without delay info. 2013-11-21 12:58:13 -08:00
Alan Mishchenko 7d3976a763 Unifying standard cell library representations. 2013-09-17 13:16:20 -07:00
Alan Mishchenko 30c2c48a65 Adding switch 'ps -s' to skip counting buffers/inverters as nodes. 2013-09-02 23:21:55 -07:00
Alan Mishchenko d1b9ade535 Adding switch 'ps -s' to skip counting buffers/inverters as nodes. 2013-09-02 23:15:15 -07:00
Alan Mishchenko e16e3edae8 Removing some old useless code. 2013-09-02 22:10:27 -07:00
Alan Mishchenko ab84c73eb0 Adding support for input slew (.input_drive) and output capacitance (.output_load) in BLIF reader/writer. 2013-07-21 00:15:24 -07:00
Alan Mishchenko fce4605f58 Improved printout of XOR/MUX/AND in 'print_stats'. 2013-07-16 16:46:37 -07:00
Alan Mishchenko 19c25fd6aa Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:09:23 -07:00
Alan Mishchenko 8e639c3d79 New command 'putontop' to concatenate networks for don't-care-based optimization. 2013-05-25 22:13:46 -07:00