Commit Graph

132 Commits

Author SHA1 Message Date
MyskYko e9845e534a fix a bug when yosys constants are already declared 2025-06-17 16:41:43 -07:00
Alan Mishchenko 301b46e3c1 Fixiing BLIF reader to read Yosys constants. 2025-05-25 18:45:59 -07:00
Alan Mishchenko 240bf58f90 Updating "short_names" and BDD profiling. 2025-05-19 10:24:56 -07:00
Alan Mishchenko 2b5f102bdb Updating input file format in command "permute". 2025-03-29 15:48:07 -07:00
Alan Mishchenko 938ae9428b Extending interface of "permute". 2025-03-28 18:35:30 -07:00
Alan Mishchenko e20cbd6120 Updating command "cone" to extract a comma-separated list of outputs. 2025-03-17 16:10:22 -07:00
Alan Mishchenko 3e86444510 Bug fix in reading truth tables. 2025-01-29 17:37:24 -08:00
Alan Mishchenko 24d420370a Adding switch "i" in "show" to display original AIG IDs of mapped nodes. 2024-06-16 17:49:39 +08:00
Alan Mishchenko b57b546494 Compiler warnings. 2023-02-28 15:16:31 +07:00
Alan Mishchenko 1aecc3373c New command to compute the range of output values. 2023-02-08 15:54:38 -08:00
Alan Mishchenko 6345832dba Improving truth table handling. 2022-02-03 18:45:11 -08:00
Alan Mishchenko 0ce11851bc Updating LUT synthesis code. 2021-05-16 20:33:53 -07:00
Alan Mishchenko 6a6ffed8c5 Various changes. 2020-03-18 22:34:08 -07:00
Alan Mishchenko 01569b8f5f Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc. 2019-03-05 15:57:50 -08:00
Alan Mishchenko ecae67e3bf Several changes to various packages. 2017-09-04 15:57:00 -07:00
Alan Mishchenko 19ccaf21df Experiments with new network data-structure. 2017-03-19 21:51:03 -07:00
Alan Mishchenko a18da5c878 Detecting properties of internal nodes. 2016-06-12 19:07:46 -07:00
Alan Mishchenko 69df5462cb Additional improvements in 'satclp'. 2015-10-18 15:24:12 -07:00
Alan Mishchenko e3eea01dbb Bug fix in &nf and in propagating timing info. 2015-09-27 15:23:06 -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 b3e5ccd256 Getting default AND-node delay from Genlib library. 2015-04-06 10:56:14 +07:00
Alan Mishchenko 58d28539a7 Gate sizing with barrier buffers. 2014-12-21 22:22:31 -08:00
Alan Mishchenko 6bc381baa3 Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node. 2014-06-30 15:28:53 -07:00
Alan Mishchenko 1586d96c3e Changes to align node IDs in Abc_Ntk_t representing a logic network with Abc_Ntk_t representing an AIG, by skipping object ID number 0 reserved for the constant node. 2014-06-30 15:21:47 -07:00
Alan Mishchenko 6095b15174 Added dumping original object names into a file. 2014-04-26 23:47:54 -07:00
Alan Mishchenko 46ab68ba17 Cleanup and bug fixing in hierarchy handling. 2014-04-09 12:51:08 -07:00
Alan Mishchenko b94b810297 Renamed Abc_Lib_t into Abc_Des_t and removed some dead code. 2014-04-09 10:16:07 -07:00
Alan Mishchenko 12c8a54cff Adding barrier buffers. 2014-03-16 22:12:17 -07:00
Alan Mishchenko cb4631e64e Compiler warnings. 2013-10-17 18:04:07 -07:00
Alan Mishchenko dfb43b2f58 Fix a bug in 'zeropo'. 2013-09-13 09:52:54 -07:00
Alan Mishchenko e16e3edae8 Removing some old useless code. 2013-09-02 22:10:27 -07:00
Alan Mishchenko 3459683e3b Extending 'permute' to handle user-specified flop permutation. 2013-08-16 13:13:38 -07:00
Alan Mishchenko 881b2ec46f Integrated buffering and sizing. 2013-08-08 18:23:00 -07:00
Alan Mishchenko 8576e4b440 Improvements to buffering and sizing. 2013-08-06 22:51:39 -07:00
Alan Mishchenko 1a55882ad9 Adding new (un)buffering with phase information. 2013-08-05 18:33:38 -07:00
Alan Mishchenko e731d3b1f4 Adding another network duplicator. 2013-07-16 00:44:51 -07:00
Alan Mishchenko fd80bf20da Adding another network duplicator. 2013-07-16 00:34:26 -07:00
Alan Mishchenko 7be3e3e6b4 Adding 'zeropo -o' to replace a given PO by const 1. 2013-05-15 00:17:06 -07:00
Alan Mishchenko 8866a1aa6d Fixing performance problem in 'cone -s' 2013-02-13 19:42:11 -08:00
Alan Mishchenko 30ec58fcda Added switch 'zeropo -s' to skip comb sweep after removing a PO. 2013-02-01 03:57:17 +07:00
Alan Mishchenko a0819f62ab Adding support of flops to the conversion of MiniAIG into ABC network. 2013-01-08 06:42:25 +08:00
Alan Mishchenko c8ed816714 Migrating to array-based traversal ID. 2012-09-23 12:29:16 -07:00
Alan Mishchenko 6e774ef541 Cleaing AIG manager by removing pointers to HAIG. 2012-09-23 12:01:59 -07:00
Alan Mishchenko 9b02fe59bd Added buffering based on combinational merging. 2012-08-28 19:24:13 -07:00
Alan Mishchenko 8a1d439cb1 Added precomputation of TFO ordering for incremental network updates. 2012-08-27 22:11:29 -07:00
Alan Mishchenko 908d5e696c Replacing Mb/Gb to be MB/GB. 2012-07-09 22:57:03 -07:00
Alan Mishchenko 1c33107cbb Updating project settings to have simpler include paths. 2012-07-07 20:14:12 -07:00
Alan Mishchenko 8c1513dfbc Improving printouts of critical path. 2012-04-06 00:45:58 -07:00
Alan Mishchenko 0792ab0eb6 Additional features for delay optimization 2012-03-21 23:19:49 -07:00