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

2796 Commits

Author SHA1 Message Date
Alan Mishchenko 4f09348367 Experiments with permutations. 2014-04-23 09:52:35 -07:00
Alan Mishchenko d80efa1b49 Bug fix in if -g when choices are used. 2014-04-22 18:31:46 -07:00
Alan Mishchenko 375b46a355 Experiments with permutations. 2014-04-21 21:47:34 -07:00
Alan Mishchenko c4a715ed61 Experiments with permutations. 2014-04-20 23:56:48 -07:00
Alan Mishchenko 76f2adb54f Adding color to sizing stats. 2014-04-19 22:44:18 -07:00
Alan Mishchenko ed2f0ef34f Adding color to sizing stats. 2014-04-19 22:37:17 -07:00
Alan Mishchenko 606fed3b84 Added optimization for average rather than maximum delay. 2014-04-19 19:57:32 -07:00
Alan Mishchenko e868d057bb Added structural hashing by default after if -g and &if -g. 2014-04-19 18:41:45 -07:00
Alan Mishchenko eb960a91d5 Adding color to mapping stats. 2014-04-19 18:09:31 -07:00
Alan Mishchenko 472fb39f16 Adding color to mapping stats. 2014-04-19 17:53:40 -07:00
Alan Mishchenko 1bca32bae3 Improvements to DSD balancing. 2014-04-19 17:13:00 -07:00
Alan Mishchenko d0c4c0cd7b Improvements to DSD balancing. 2014-04-19 16:55:44 -07:00
Alan Mishchenko 17f989ccba Fix SOP balancing. 2014-04-19 14:12:09 -07:00
Alan Mishchenko f8a990dea9 Adding print-out of average level. 2014-04-19 11:20:38 -07:00
Alan Mishchenko 1efdd3726d Preserving outputs names in the &-space. 2014-04-18 10:10:49 -07:00
Alan Mishchenko 6730e21e12 Improvements in technology mapping. 2014-04-17 13:09:08 -07:00
Alan Mishchenko 02cf869391 Changes in the LUT mapper data-structures. 2014-04-14 09:06:14 -05:00
Alan Mishchenko 5cd9145046 New feature to optimize delay during mapping. 2014-04-13 10:53:35 -05:00
Alan Mishchenko e7d0c9dc23 New feature to optimize delay during mapping. 2014-04-11 13:07:56 -07:00
Alan Mishchenko 865526f880 New feature to optimize delay during mapping. 2014-04-11 12:20:36 -07:00
Alan Mishchenko e855eaa080 Improvements to DSD in technology mapping. 2014-04-11 12:01:36 -07:00
Alan Mishchenko 80110cc328 New feature to optimize delay during mapping. 2014-04-11 11:01:54 -07:00
Alan Mishchenko 24f63cf92c Correcting internal check. 2014-04-11 09:53:19 -07:00
Alan Mishchenko b50894ab64 Removed obsolete code for sequential mapping. 2014-04-11 09:17:34 -07:00
Alan Mishchenko b9274a07de Improvements to DSD in technology mapping. 2014-04-11 08:57:03 -07:00
Alan Mishchenko 116c35a021 Improving K-map printout. 2014-04-10 23:43:20 -07:00
Alan Mishchenko 17c382c33a Command to test console colors. 2014-04-10 18:07:54 -07:00
Alan Mishchenko a2050baf6b Command to test console colors. 2014-04-10 17:56:31 -07:00
Alan Mishchenko 37fd2b93a5 Command to test console colors. 2014-04-10 17:49:35 -07:00
Alan Mishchenko 0fef5d6031 Command to test console colors. 2014-04-10 17:47:41 -07:00
Alan Mishchenko 4bafc98aba Pass file name correctly. 2014-04-10 15:44:26 -07:00
Alan Mishchenko 1c582413da Adding new code to support barrier buffers. 2014-04-09 16:41:58 -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 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 5374797be1 Adding switch to control area/delay quality tradeoff in 'amap'. 2014-04-08 22:15:55 -07:00
Alan Mishchenko 80d2eef712 Adding switch to control area/delay quality tradeoff in 'amap'. 2014-04-08 19:22:41 -07:00
Alan Mishchenko 22ada3b2b7 Adding command to dump UNSAT core of BMC instance. 2014-04-07 14:20:25 -07:00
Alan Mishchenko 7753e097f9 Adding command to dump UNSAT core of BMC instance. 2014-04-07 14:13:06 -07:00
Alan Mishchenko 42927d5ebb Adding command to dump UNSAT core of BMC instance. 2014-04-07 14:10:51 -07:00
Alan Mishchenko af6705a8b1 Implementation of DSD balancing. 2014-04-06 21:22:10 -07:00
Alan Mishchenko f1f1cf3eb1 Improvement in SOP balancing. 2014-04-06 15:54:02 -07:00
Alan Mishchenko a26d61f47d Improvement in SOP balancing. 2014-04-06 15:21:07 -07:00
Alan Mishchenko d05f83b293 Improvement in SOP balancing. 2014-04-06 12:52:00 -07:00
Alan Mishchenko 2a399042ba Improvement in SOP balancing. 2014-04-06 12:26:25 -07:00
Alan Mishchenko faf3bf34af Improvement in SOP balancing. 2014-04-06 12:07:04 -07:00
Alan Mishchenko 9c502b70f3 Preparing new implementation of SOP/DSD balancing in 'if' mapper. 2014-04-05 22:51:01 -07:00
Alan Mishchenko 5608d947ed Preparing new implementation of SOP/DSD balancing in 'if' mapper. 2014-04-05 11:06:35 -07:00
Alan Mishchenko 424b86a556 Performance bug fix in SOP balancing. 2014-04-05 09:58:43 -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 f6ae0e41f3 Better CEX minimization and renaming of write_counter into write_cex. 2014-04-04 13:14:16 -07:00
Alan Mishchenko 11bab8caf9 Improvements to technology mapping. 2014-04-03 15:12:29 -07:00
Alan Mishchenko d82be1fd05 Improvements to technology mapping. 2014-04-03 14:40:43 -07:00
Alan Mishchenko b0e04dc2c3 Improvements to technology mapping. 2014-04-03 14:37:18 -07:00
Alan Mishchenko c1670d7444 Improvements to technology mapping. 2014-04-03 13:52:13 -07:00
Alan Mishchenko 71e11a3eec Improvements to technology mapping. 2014-04-03 12:57:27 -07:00
Alan Mishchenko 7669c99605 Improvements to technology mapping. 2014-04-03 12:23:49 -07:00
Alan Mishchenko 3db3be2d61 Improvements to technology mapping. 2014-04-03 12:06:09 -07:00
Alan Mishchenko b21589ea1a Improvements to technology mapping. 2014-04-03 11:48:44 -07:00
Alan Mishchenko 481c29c8d8 Improvements to technology mapping. 2014-04-03 11:45:41 -07:00
Alan Mishchenko ffea3a2c84 Improvements to technology mapping. 2014-04-03 00:39:48 -07:00
Alan Mishchenko 9291ab9f50 Improvements to technology mapping. 2014-04-02 20:20:07 -07:00
Alan Mishchenko 280a485336 Improvements to technology mapping. 2014-04-02 19:33:49 -07:00
Alan Mishchenko b085ba4b51 Improvements to DSD manager. 2014-04-02 18:27:35 -07:00
Alan Mishchenko 883e21fe8a Improvements to DSD manager. 2014-04-02 18:07:50 -07:00
Alan Mishchenko 329cdc3565 Compiler warnings. 2014-04-01 11:58:36 -07:00
Alan Mishchenko 7b8863466e Adding switch to handle only single faults. 2014-04-01 11:53:08 -07:00
Alan Mishchenko 41e94c474a Updating logic file print-out. 2014-03-31 23:26:21 -07:00
Alan Mishchenko a965f2a0fd Compiler warnings. 2014-03-31 22:20:57 -07:00
Alan Mishchenko 49c2661ae1 Compiler warnings. 2014-03-31 22:19:15 -07:00
Alan Mishchenko 1c56a92a6c Undoing previous change, which was made by mistake. 2014-03-31 22:16:47 -07:00
Alan Mishchenko 679e38b012 Making per-output timeout in bmc3 -a and pdr -a work in CLOCKS_PER_SECs instead of miliseconds. 2014-03-31 22:03:22 -07:00
Alan Mishchenko 90867a64b4 Adding functionally observable fault testing. 2014-03-31 21:33:45 -07:00
Alan Mishchenko fa1fafe4de Adding functionally observable fault testing. 2014-03-31 21:33:02 -07:00
Alan Mishchenko 80b8b25af0 Bug fix in the DSD manager writing and reading. 2014-03-31 18:00:09 -07:00
Alan Mishchenko f0b6795194 Improving cut computation. 2014-03-30 23:48:20 -07:00
Alan Mishchenko 473c584563 Mismatch in bmc3 printout. 2014-03-30 14:21:23 -07:00
Alan Mishchenko 37fd73cf9e Adding new code to verify invariant derived by 'pdr'. 2014-03-30 14:10:12 -07:00
Alan Mishchenko 2f926f2faf Improving cut computation. 2014-03-30 12:07:49 -07:00
Alan Mishchenko 7d500c8920 Updating &if for new cut function representation. 2014-03-29 22:14:15 -07:00
Alan Mishchenko ba4ed5b16c Experiments with technology mapping. 2014-03-29 20:58:15 -07:00
Alan Mishchenko 14f69d77fd Adding per-output logging to bmc3. 2014-03-29 10:28:20 -07:00
Alan Mishchenko c78e7ca718 Bug in the old code. 2014-03-28 17:58:32 -07:00
Alan Mishchenko 4745eac324 Improving network visualization in show/&show. 2014-03-28 15:32:29 -07:00
Alan Mishchenko c0f688349d Adding a feature to dump untestable multiple faults. 2014-03-28 13:47:00 -07:00
Alan Mishchenko 6cb3817a91 Ternary simulation for multi-output miters. 2014-03-28 11:05:12 -07:00
Alan Mishchenko c6663b04c7 Experiments with stuck-at fault testing. 2014-03-24 22:48:37 -07:00
Alan Mishchenko 6f17c44e91 Integrating barrier buffers into the mapper. 2014-03-23 16:52:40 -07:00
Alan Mishchenko f6eb5262a3 Experiments with mapping. 2014-03-23 11:05:26 -07:00
Alan Mishchenko c26f7cf331 Experiments with mapping. 2014-03-23 11:00:26 -07:00
Alan Mishchenko b13e65882d Experiments with stuck-at fault testing. 2014-03-23 10:47:08 -07:00
Alan Mishchenko 1aa6751ac4 Experiments with mapping. 2014-03-22 23:22:27 -07:00
Alan Mishchenko b28debd656 Experiments with mapping. 2014-03-22 21:53:31 -07:00
Alan Mishchenko b60ea3b051 Experiments with mapping. 2014-03-22 21:31:49 -07:00
Alan Mishchenko b46ac51a6f Experiments with mapping. 2014-03-22 19:59:47 -07:00
Alan Mishchenko b5df218dc4 Experiments with mapping. 2014-03-22 19:39:19 -07:00
Alan Mishchenko ace340997b Experiments with mapping. 2014-03-22 16:24:44 -07:00
Alan Mishchenko c86a13f0b5 Experiments with recent ideas. 2014-03-20 20:18:25 -07:00
Alan Mishchenko b581e16f32 Experiments with cut caching. 2014-03-20 11:21:33 -07:00
Alan Mishchenko d44d9e2927 Experiments with recent ideas. 2014-03-19 23:49:27 -07:00
Alan Mishchenko c1e54b8b76 Experiments with recent ideas. 2014-03-19 22:26:52 -07:00
Alan Mishchenko 86d3c72beb Experiments with recent ideas. 2014-03-19 22:15:02 -07:00
Alan Mishchenko 37bbbcb2b4 Experiments with recent ideas. 2014-03-19 19:31:25 -07:00
Alan Mishchenko e34d41b374 Experiments with recent ideas. 2014-03-19 17:57:34 -07:00
Alan Mishchenko ffa881bce2 Experiments with recent ideas. 2014-03-19 15:54:50 -07:00
Alan Mishchenko c1fa07db4d Compiler warning. 2014-03-18 19:22:23 -07:00
Alan Mishchenko 83cd20d647 Experiments with recent ideas. 2014-03-18 19:12:32 -07:00
Alan Mishchenko a1cdcb0b43 Updating code to support barrier buffers. 2014-03-18 17:50:53 -07:00
Alan Mishchenko e5b9817a72 Adding special-case report to 'bmc3'. 2014-03-18 15:07:57 -07:00
Alan Mishchenko faf9c2015a Updating code to support barrier buffers. 2014-03-18 14:20:03 -07:00
Alan Mishchenko f329105403 Adding barrier buffers. 2014-03-18 12:51:39 -07:00
Alan Mishchenko 79b585848b Adding barrier buffers. 2014-03-18 10:30:49 -07:00
Alan Mishchenko af0ff7e6fa Adding progress report to 'bmc3'. 2014-03-17 22:48:05 -07:00
Alan Mishchenko 455ecb6acc Adding barrier buffers. 2014-03-17 14:01:03 -07:00
Alan Mishchenko 2a219cf184 Synchronizing with the recent version. 2014-03-16 23:38:50 -07:00
Alan Mishchenko 12c8a54cff Adding barrier buffers. 2014-03-16 22:12:17 -07:00
Alan Mishchenko 89eed1aaf9 Adding barrier buffers. 2014-03-16 21:56:28 -07:00
Alan Mishchenko 7a3e57a4cb Synchronizing with the recent version. 2014-03-16 00:11:33 -07:00
Alan Mishchenko 8826ed6d4f Experiments with simulation. 2014-03-14 22:08:33 -07:00
Alan Mishchenko c7c3aa3f2d Experiments with simulation. 2014-03-14 21:55:49 -07:00
Alan Mishchenko 3f7cfde14b Experiments with simulation. 2014-03-14 21:53:45 -07:00
Alan Mishchenko cb65ccd28b Experiments with simulation. 2014-03-14 21:50:46 -07:00
Alan Mishchenko eae0455267 Experiments with simulation. 2014-03-14 21:37:34 -07:00
Alan Mishchenko 550b769d39 Experiments with simulation. 2014-03-14 21:04:48 -07:00
Alan Mishchenko 2eec6c6c17 Experiments with simulation. 2014-03-14 20:59:03 -07:00
Alan Mishchenko 60c901ea76 Improvements to print-outs. 2014-03-12 01:10:43 -07:00
Alan Mishchenko 38e2c63e6e Improvements to print-outs. 2014-03-11 20:00:55 -07:00
Alan Mishchenko c97b685c94 Bug fix in multi-output BMC. 2014-03-11 09:53:38 -07:00
Alan Mishchenko 508565ff72 Adding a warning when the current network or AIG has no POs. 2014-03-10 17:22:33 -07:00
Alan Mishchenko 716b8cc6b8 Improvements to print-outs. 2014-03-10 15:48:46 -07:00
Alan Mishchenko 397a8c478f Improvement to stats print-out in &ps. 2014-03-09 23:10:56 -07:00
Alan Mishchenko 1faab4e934 Bug fix in creating packing after mapping. 2014-03-09 22:56:35 -07:00
Alan Mishchenko b5bde05aba Passing file name for stats print-out in &ps. 2014-03-09 22:25:29 -07:00
Alan Mishchenko f98b58e60f Changes to LUT mappers. 2014-03-09 22:02:48 -07:00
Alan Mishchenko ff997b1b65 Changes to LUT mappers. 2014-03-09 20:49:12 -07:00
Alan Mishchenko c97a9c0d18 Changes to LUT mappers. 2014-03-09 20:21:09 -07:00
Alan Mishchenko 024715ed09 Changes to LUT mappers. 2014-03-09 19:49:03 -07:00
Alan Mishchenko 4ad49af5b3 Compiler warnings. 2014-03-09 12:15:15 -07:00
Alan Mishchenko cc6c8b2f2a Experiments with stuck-at fault testing. 2014-03-09 12:11:49 -07:00
Alan Mishchenko e5d552138a Changes to LUT mappers. 2014-03-08 23:53:15 -08:00
Alan Mishchenko 76e35126e7 Changes to LUT mappers. 2014-03-08 22:57:33 -08:00
Alan Mishchenko 12c68e7e8e Changes to LUT mappers. 2014-03-08 19:56:36 -08:00
Alan Mishchenko 60deb08d2a Changes to LUT mappers. 2014-03-08 18:49:29 -08:00
Alan Mishchenko f6e2366dd7 Changes to LUT mappers. 2014-03-08 17:54:33 -08:00
Alan Mishchenko 31fb2e8506 Changes to LUT mappers. 2014-03-08 17:37:26 -08:00
Alan Mishchenko 4b0c12eb1e Changes to LUT mappers. 2014-03-08 17:09:20 -08:00
Alan Mishchenko c062cc18ef Changes to LUT mappers. 2014-03-08 14:33:27 -08:00
Alan Mishchenko a8a08035f5 Changes to LUT mappers. 2014-03-06 21:48:15 -08:00
Alan Mishchenko 839632140e Changes to LUT mappers. 2014-03-06 21:21:02 -08:00
Alan Mishchenko 5b3d4b7de2 Experiments with delay fault testing. 2014-03-05 22:09:01 -08:00
Alan Mishchenko b541201da0 Experiments with delay fault testing. 2014-03-04 22:56:52 -08:00
Alan Mishchenko 7568d18099 Changes to LUT mappers. 2014-03-04 19:44:00 -08:00
Alan Mishchenko a2ff2cb9c3 Changes to LUT mappers. 2014-03-04 18:39:00 -08:00
Alan Mishchenko 5f9ca14a7f Changes to LUT mappers. 2014-03-04 14:48:36 -08:00
Alan Mishchenko 14aae240de Changes to LUT mappers. 2014-02-28 21:21:20 -08:00
Alan Mishchenko 3048be2cdf Changes to LUT mappers. 2014-02-28 21:19:54 -08:00
Alan Mishchenko 8f4854890c Changes to LUT mappers. 2014-02-28 21:14:22 -08:00
Alan Mishchenko 3d6eac52ab Changes to LUT mappers. 2014-02-28 21:06:21 -08:00
Alan Mishchenko de48fd7999 Changes to LUT mappers. 2014-02-28 10:35:36 -08:00
Alan Mishchenko b556c2591e Changes to LUT mappers. 2014-02-27 21:11:05 -08:00
Alan Mishchenko caa2227b11 Changes to LUT mappers. 2014-02-25 22:41:34 -08:00
Alan Mishchenko 15a1c4b965 g++ compiler errors. 2014-02-25 08:03:12 -08:00
Alan Mishchenko 59bf6945e2 g++ compiler errors. 2014-02-25 07:58:23 -08:00
Alan Mishchenko 4216976321 g++ compiler errors. 2014-02-25 07:54:53 -08:00
Alan Mishchenko 9005c6bfe2 Changes to LUT mappers. 2014-02-25 07:50:11 -08:00
Alan Mishchenko 7e0f7eba79 Changes to LUT mappers. 2014-02-19 23:49:41 -08:00
Alan Mishchenko 6ad7dae1ae Changes to LUT mappers. 2014-02-17 18:28:48 -08:00
Alan Mishchenko eb66ce9c31 Changes to LUT mappers. 2014-02-17 12:19:42 -08:00
Alan Mishchenko adb3044f39 Adding Python API n_area() to report area after standard cell mapping. 2014-02-17 12:19:13 -08:00
Alan Mishchenko 2140c1298c Removing unused LMS code. 2014-02-16 19:49:10 -08:00
Alan Mishchenko 46532e6c2f Significant improvement to LUT mappers (if, &if). 2014-02-16 19:30:38 -08:00
Alan Mishchenko ea1baf6f70 Changing 'miter' to compute SEQUENTIAL miter by default. 2014-02-15 16:54:08 -08:00
Alan Mishchenko d5253839b9 Fixing timeout in &icheck. 2014-02-15 16:52:32 -08:00
Alan Mishchenko d3c42bb96a Experiments with inductive don't-cares. 2014-02-15 11:23:10 -08:00
Alan Mishchenko e1a80a3d01 Experiments with inductive don't-cares. 2014-02-15 10:09:55 -08:00
Alan Mishchenko 2bad26634c Enabling default no output in &icheck. 2014-02-15 09:36:53 -08:00
Alan Mishchenko bd45eca406 Handing trivially UNSAT outputs in 'pdr'. 2014-02-13 21:12:48 -08:00
Alan Mishchenko 246e3a8850 Bug fix in arrival/departure time representation. 2014-02-13 20:38:48 -08:00
Alan Mishchenko b284016313 Handling latches in combinational sizing. 2014-02-13 09:22:25 -08:00
Alan Mishchenko 61ce18e1ef Adding APIs to specified input/output arrival/required times. 2014-02-12 22:09:44 -08:00
Alan Mishchenko 48e04c8f22 Extendig the size of command line when running ABC in batch mode. 2014-02-12 21:34:09 -08:00
Alan Mishchenko ee72a4caf6 Experiments with inductive don't-cares. 2014-02-12 12:05:23 -08:00
Alan Mishchenko 646b2169f0 Experiments with inductive don't-cares. 2014-02-11 20:46:48 -08:00
Alan Mishchenko 56110efaad Experiments with inductive don't-cares. 2014-02-11 20:30:53 -08:00
Alan Mishchenko 818aa231ce Experiments with inductive don't-cares. 2014-02-11 19:30:57 -08:00
Alan Mishchenko 0ff5925248 Experiments with inductive don't-cares. 2014-02-11 11:58:25 -08:00
Alan Mishchenko 367b02aecd Experiments with inductive don't-cares. 2014-02-10 22:21:23 -08:00
Alan Mishchenko d8b4d8dfbb Fix in represneting constants in a platform-independent way. 2014-02-10 17:18:52 -08:00
Alan Mishchenko 3e21258285 Commenting out warnings about combinational network during retiming. 2014-02-09 20:27:04 -08:00
Alan Mishchenko 05fbf4bd69 Fixing assertion failure when all POs have constant functions. 2014-02-06 12:40:55 -08:00
Alan Mishchenko 48912a2247 Fixing Liberty parser to handle 'scalar' delay/slew tables. 2014-02-06 12:22:30 -08:00
Alan Mishchenko b910cba3e2 Initial new interpolation code. 2014-01-28 17:46:11 +08:00
Alan Mishchenko d9bbcb5dc9 Handling C++-style comments in Liberty parser. 2014-01-28 17:45:44 +08:00
Alan Mishchenko 68587eb467 Improving switching activity computation. 2013-12-30 15:15:43 +07:00
Alan Mishchenko 07bb26ba08 Improving switching activity computation. 2013-12-30 14:47:07 +07:00
Alan Mishchenko 737e4671ce Adding check for the presence of precomputed data. 2013-12-29 14:39:25 +07:00
Alan Mishchenko 15a356fa4d Improving switching activity computation. 2013-12-26 17:14:40 +07:00
Alan Mishchenko efc1c8588e Fixed problem with timeout in &bmc. 2013-12-18 16:21:10 +07:00
Alan Mishchenko 227963f03d New command &write_cnf. 2013-12-18 00:22:26 +07:00
Baruch Sterin c5a0ce9063 add a new command line option to ABC, -q, same as -c, but without echoing the command 2013-12-07 00:44:57 -08:00
Alan Mishchenko 549cd2c6da Making 'fold' and 'unfold' skip constant POs (another fix). 2013-12-04 15:45:42 -08:00
Alan Mishchenko 539f05c09f Upgrading command 'print_supp'. 2013-12-04 00:18:07 -08:00
Alan Mishchenko ecdcfbba5c Making 'fold' and 'unfold' skip constant POs (fixed). 2013-12-04 00:02:21 -08:00
Alan Mishchenko 681483c904 Bug fixes in the above patches. 2013-12-03 00:38:37 -08:00
Alan Mishchenko 34ab59574e Suggested patch of AIG writers. 2013-12-03 00:26:43 -08:00
Alan Mishchenko a3bc77cd7b Making 'fold' and 'unfold' skip constant POs. 2013-12-03 00:03:09 -08:00
Alan Mishchenko 08bb54f382 New canonical DSD form. 2013-12-02 14:06:43 -08:00
Alan Mishchenko 0847ee732e Bug fix in &b when reference counters are given. 2013-11-30 18:29:08 -08:00
Alan Mishchenko 87e1bc45a6 Commeting out an assertion in sizing. 2013-11-27 22:13:59 -08:00
Alan Mishchenko c8f341fd01 Patching ABC for Yosys. 2013-11-27 19:02:52 -08:00
Alan Mishchenko 55ba5a3e4c Patching ABC for Yosys. 2013-11-27 18:53:22 -08:00
Alan Mishchenko 9cbba3cce7 Patching ABC for Yosys. 2013-11-27 12:28:30 -08:00
Alan Mishchenko e73e5438ca Patching ABC for Yosys. 2013-11-27 12:17:00 -08:00
Alan Mishchenko ee50e84e57 Structural mapper into structures. 2013-11-26 23:19:22 -08:00
Alan Mishchenko a9eb8677fe Explanation for one assetion. 2013-11-26 21:35:13 -08:00
Alan Mishchenko 93bec213fc Bug fix in timing update. 2013-11-26 01:03:53 -08:00
Alan Mishchenko 71166f602a Structural mapper into structures. 2013-11-24 21:21:01 -08:00
Alan Mishchenko 98da93093b Bug fix in technology mapper. 2013-11-24 09:51:48 -08:00
Alan Mishchenko ab00143669 Bug fix in liberty parser. 2013-11-23 20:00:59 -08:00
Alan Mishchenko 9de629ff59 Add command 'splitsop' to split large node SOPs into smaller ones. 2013-11-23 19:52:00 -08:00
Alan Mishchenko 00efa68053 Several changes to allow Liberty files without delay info. 2013-11-21 12:58:13 -08:00
Alan Mishchenko 962ad3b0b1 Fixing several simple bugs in library handling. 2013-11-21 12:01:14 -08:00
Alan Mishchenko b21447b6df Bug fix in writing constants in write_verilog. 2013-11-21 11:39:57 -08:00
Alan Mishchenko 260fe0830a Propagating initial PI level during balancing. 2013-11-15 00:59:16 -08:00
Alan Mishchenko a4325272c2 Adding switch to control the number of nodes tried in mfs2. 2013-11-14 23:50:17 -08:00
Alan Mishchenko 4e00ec6169 Structural mapper into structures. 2013-11-12 16:03:18 -08:00
Alan Mishchenko e70adbcd2d Improvements to the standard cell flow. 2013-11-08 15:16:13 -08:00
Alan Mishchenko 5021909cb1 Merged in atomb/abc (pull request #2) 
More portability/flexibility fixes
 2013-11-07 19:15:22 -08:00
Alan Mishchenko 24ffd5269a Organizing the timing report functions. 2013-11-07 11:26:40 -08:00
Alan Mishchenko 4774dc56fe Fixing the wire-load approximation problem. 2013-11-07 10:24:47 -08:00
Aaron Tomb 56378651c7 Fix parenthesization of Abc_Clock #ifdef. 
The previous location of parentheses led to an attempt to compile
against Linux-only clock APIs when building on 32-bit OS X.
 2013-11-06 16:35:02 -08:00
Alan Mishchenko f29fe2d0c2 Specialized inductive check. 2013-11-05 21:17:32 -08:00
Alan Mishchenko 78a0660eab Specialized inductive check. 2013-11-05 20:33:48 -08:00
Alan Mishchenko 66b6593513 Specialized inductive check. 2013-11-05 19:37:46 -08:00
Alan Mishchenko e3560904ec Merged in atomb/abc (pull request #1) 
Several patches to fix compilation under MINGW32
 2013-11-05 13:41:39 -08:00
Alan Mishchenko 053c9f54e4 Tuning for multi-ouptut solver. 2013-11-05 11:25:05 -08:00
Alan Mishchenko 5f6244c603 Tuning for multi-ouptut solver. 2013-11-05 00:05:28 -08:00
Alan Mishchenko 0f29c62eab Tuning for multi-ouptut solver. 2013-11-04 23:57:40 -08:00
Alan Mishchenko ed11db1763 Tuning for multi-ouptut solver. 2013-11-04 23:31:12 -08:00
Alan Mishchenko 54b2cc1d72 Tuning for multi-ouptut solver. 2013-11-04 23:24:42 -08:00
Alan Mishchenko d8cb39a191 Tuning for multi-ouptut solver. 2013-11-04 23:21:54 -08:00
Alan Mishchenko f948c6dbf3 Tuning for multi-ouptut solver. 2013-11-04 23:15:05 -08:00
Alan Mishchenko 5dce71d57a Tuning for multi-ouptut solver. 2013-11-04 22:46:10 -08:00
Alan Mishchenko a1d2ba0fcc Tuning for multi-ouptut solver. 2013-11-04 22:30:27 -08:00
Alan Mishchenko 0ab8cd1191 Tuning for multi-ouptut solver. 2013-11-04 21:04:33 -08:00
Alan Mishchenko 765da3a318 Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. 2013-11-04 21:00:18 -08:00
Alan Mishchenko de9fd0a529 Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. 2013-11-04 20:47:26 -08:00
Alan Mishchenko b781c1c1d5 Merging heads. 2013-11-04 20:28:17 -08:00
Alan Mishchenko 2076d38ea3 Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. 2013-11-04 20:25:36 -08:00
Alan Mishchenko 22fd7dca45 Specialized inductive check. 2013-11-04 16:20:31 -08:00
Aaron Tomb aa2eae5cab Don't assume MSVC when __MINGW32__ set. 2013-11-04 14:28:32 -08:00
Aaron Tomb 6a4d430e60 Choose Windows file operations with MINGW32. 2013-11-04 14:27:09 -08:00
Aaron Tomb cf1746e348 Make definition of Abc_Clock work with MINGW32. 2013-11-04 14:25:55 -08:00
Alan Mishchenko a0529ec5c8 Sweeper internal dumping. 2013-11-01 18:59:51 -04:00
Alan Mishchenko e2af27f160 Sweeper internal dumping. 2013-11-01 17:09:05 -04:00
Alan Mishchenko 74893bf3d4 Sweeper internal verification. 2013-11-01 13:48:17 -04:00
Alan Mishchenko a564e2ab81 Sweeper internal verification and new switch for &cfraig. 2013-11-01 13:36:51 -04:00
Alan Mishchenko a509fa8ea8 Sweeper internal verification. 2013-11-01 13:25:19 -04:00
Alan Mishchenko ea1a2cfdab Corner-case bug in synthesis commands. 2013-11-01 13:11:11 -04:00
Alan Mishchenko c8bfb82688 Sweeper condition complement bug-fix. 2013-11-01 12:19:56 -04:00
Alan Mishchenko 3b8095a671 Sweeper condition complement bug-fix and code for internal verification. 2013-11-01 12:11:46 -04:00
Alan Mishchenko 57b5141181 Sweeper assertion. 2013-11-01 11:33:43 -04:00
Alan Mishchenko 7b6e7181e0 Sweeper assertion. 2013-11-01 11:22:04 -04:00
Alan Mishchenko e4ab09d771 Sweeper return value normalization. 2013-11-01 11:19:23 -04:00
Alan Mishchenko ec298486b6 False path detection. 2013-10-31 23:42:06 -04:00
Alan Mishchenko 34366b8aca Specialized induction check. 2013-10-31 20:30:40 -04:00
Alan Mishchenko e8c765c0d1 GIA sweeper: adding APIs to return valid probe ID and run a command line. 2013-10-31 17:06:06 -04:00
Alan Mishchenko 615d249e02 GIA sweeper: adding APIs to return valid probe ID and run a command line. 2013-10-31 17:00:06 -04:00
Alan Mishchenko 695231148f Specialized induction check. 2013-10-31 16:41:25 -04:00
Alan Mishchenko 313caa456a False path detection. 2013-10-31 16:36:08 -04:00
Alan Mishchenko 6582e10a82 Specialized induction check. 2013-10-31 14:18:31 -04:00
Alan Mishchenko f620a857d3 Specialized induction check. 2013-10-31 13:07:43 -04:00
Alan Mishchenko a457bfe1e5 GIA sweeper interface update. 2013-10-31 11:20:37 -04:00
Alan Mishchenko 05c987b6cf Improving critical path print-out. 2013-10-31 09:58:59 -04:00
Alan Mishchenko 431dc61a9e Bug fix in 'tempor -s'. 2013-10-30 19:09:55 -04:00
Alan Mishchenko 9439786d95 Changes to Liberty parser. 2013-10-30 18:07:41 -04:00
Alan Mishchenko 89864d111e GIA sweeper interface update. 2013-10-30 16:04:17 -04:00
Alan Mishchenko e3e47a599d GIA sweeper interface update. 2013-10-30 15:45:19 -04:00
Alan Mishchenko b259a62d40 Compiler warnings. 2013-10-30 13:52:26 -04:00
Alan Mishchenko a8c85d79e7 Compiler warnings. 2013-10-30 13:46:31 -04:00
Alan Mishchenko 2b85ef06e5 Compiler warnings. 2013-10-30 13:45:00 -04:00
Alan Mishchenko 80f46fa2ae Compiler warnings. 2013-10-30 10:29:44 -04:00
Alan Mishchenko f4a250839d Changes to Liberty parser. 2013-10-30 10:18:01 -04:00
Alan Mishchenko e23dd881fb Wrapper around the BMC engine to restart it with higher resource limits. 2013-10-29 12:30:16 -07:00
Alan Mishchenko e3f9ad3c97 New BMC engine. 2013-10-27 22:55:23 -07:00
Alan Mishchenko d65d8528b6 New BMC engine. 2013-10-27 22:39:58 -07:00
Alan Mishchenko a7867378ac New BMC engine. 2013-10-27 14:16:29 -07:00
Alan Mishchenko b39e09bb73 Multi-output property solver. 2013-10-27 12:13:40 -07:00
Alan Mishchenko 72f01030c4 Getting rid of a recursive procedure during CNF construction in bmc3. 2013-10-27 10:31:44 -07:00
Alan Mishchenko 3b30fb2a11 Multi-output property solver. 2013-10-26 23:05:13 -07:00
Alan Mishchenko 9437664596 Multi-output property solver. 2013-10-26 21:29:57 -07:00
Alan Mishchenko 7d2b77afc8 Multi-output property solver. 2013-10-23 16:26:20 -07:00
Alan Mishchenko 47afd0f4f4 Multi-output property solver. 2013-10-23 16:26:13 -07:00
Alan Mishchenko 8ad1729aa9 Adding new synthesis scripts. 2013-10-23 10:44:11 -07:00
Alan Mishchenko 103fa663c7 More accurate level calculation in AIG balancing. 2013-10-22 19:59:52 -07:00
Alan Mishchenko 1c56475287 Extending predefined limit in &shrink. 2013-10-21 13:48:07 -07:00
Alan Mishchenko cb4631e64e Compiler warnings. 2013-10-17 18:04:07 -07:00
Alan Mishchenko 9f2c4e9988 Bug fix in gate-sizing. 2013-10-16 19:02:47 -07:00
Alan Mishchenko 4ab7905b72 Fix for writing choices into a BLIF file. 2013-10-16 13:33:51 -07:00
Alan Mishchenko f9900a4c3b Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe. 2013-10-15 09:04:27 -07:00
Alan Mishchenko 1692c1a57a Improvements to buffering and sizing. 2013-10-13 23:08:52 -07:00
Alan Mishchenko a4f80c1d36 Cleaning up buffering code. 2013-10-13 21:05:35 -07:00
Alan Mishchenko 89cab3adec Normalization of slew/load values. 2013-10-13 20:55:24 -07:00
Alan Mishchenko c6b80ffc13 Normalization of slew/load values. 2013-10-13 19:11:49 -07:00
Alan Mishchenko f8410b532b Improvements to buffering and sizing. 2013-10-12 22:51:43 -07:00
Alan Mishchenko 2c7f39026a Extending truth table support in &jf for more than 6 inputs. 2013-10-10 14:45:19 -07:00
Alan Mishchenko 33695bed11 Improvements to the canonical form computation. 2013-10-10 12:35:27 -07:00
Alan Mishchenko 4c62b00288 Towards better Boolean matching. 2013-10-10 01:21:58 -07:00
Alan Mishchenko 12aab154c3 CNF generating using new mapper. 2013-10-10 01:18:15 -07:00
Alan Mishchenko c9cbd3b0f1 Preventing a bug in &if -z. 2013-10-09 23:36:35 -07:00
Alan Mishchenko 6ea3a35b03 Upgrading 'mfs2' to consider some nodes as having no level. 2013-10-09 22:30:38 -07:00
Alan Mishchenko 7d56aabab6 Upgrading 'mfs2' to consider some nodes as having no level. 2013-10-09 22:30:03 -07:00
Alan Mishchenko 608fe4e3bd Towards better Boolean matching. 2013-10-09 21:31:57 -07:00
Alan Mishchenko 51fb9e4ed4 Towards better Boolean matching. 2013-10-09 18:58:49 -07:00
Alan Mishchenko 069e9d4f2c Towards better Boolean matching. 2013-10-09 11:54:26 -07:00
Alan Mishchenko f935dcd369 Towards better Boolean matching. 2013-10-09 10:46:44 -07:00
Alan Mishchenko 62173b52ad Bug with in bmc3 when no 'sat' outputs are found and H != 0 2013-10-08 23:21:28 -07:00
Baruch Sterin cbc718d701 pyabc changes for HWMCC13 2013-10-08 12:04:07 -07:00
Alan Mishchenko 7a1c4ee867 Moved the code to a different file. 2013-10-06 16:16:21 -07:00
Alan Mishchenko 8a03e530c2 Resubstitution code. 2013-10-06 15:57:17 -07:00
Alan Mishchenko 812a877ab6 Compiler warning. 2013-10-05 23:18:20 -07:00
Alan Mishchenko d32af2df38 Compiler warning. 2013-10-05 22:59:11 -07:00
Alan Mishchenko 0f49783ca0 Compiler warning. 2013-10-05 22:57:22 -07:00
Alan Mishchenko 67b6cc8e49 Compiler warning. 2013-10-05 22:53:43 -07:00
Alan Mishchenko e1986d0433 Towards better Boolean matching. 2013-10-05 22:52:15 -07:00
Alan Mishchenko a4a1053d98 Towards better Boolean matching. 2013-10-05 22:44:02 -07:00
Niklas Een c9635d029e Added 'abort' message in bridge mode for pdr -a timeout 2013-10-04 15:20:42 -07:00
Alan Mishchenko f24a4e1a4e Compiler errors in the Python interface code... 2013-10-03 17:25:50 -07:00
Alan Mishchenko 6d6118e2aa Bug fix and performance improvement in &iso. 2013-10-03 16:54:10 -07:00
Alan Mishchenko c59121f4e0 Bug fix and performance improvement in &iso. 2013-10-03 16:33:41 -07:00
Alan Mishchenko 755e09958f Added computation of mapping overlap in &ps. 2013-10-03 14:10:23 -07:00
Alan Mishchenko 6132d7cb10 Experiment with the AIG package. 2013-10-03 12:25:27 -07:00
Alan Mishchenko db16dcb737 Added computation of mapping overlap in &ps. 2013-10-03 01:25:55 -07:00
Alan Mishchenko b1b85e0e6a Integrating synthesis into the new BMC engine. 2013-10-03 00:14:13 -07:00
Alan Mishchenko 4aac586cae Integrating synthesis into the new BMC engine. 2013-10-02 23:24:08 -07:00
Alan Mishchenko 6014c4b11e Integrating synthesis into the new BMC engine. 2013-10-02 23:17:59 -07:00
Alan Mishchenko 805eb96d6d Integrating synthesis into the new BMC engine. 2013-10-02 23:03:17 -07:00
Alan Mishchenko cfa7be1a07 Integrating synthesis into the new BMC engine. 2013-10-02 22:58:23 -07:00
Alan Mishchenko 38e577f5df Enabling counter-example generation in the new BMC engine. 2013-10-02 21:41:01 -07:00
Alan Mishchenko e01174c6db Bug fixes in the library processing,. 2013-10-02 18:22:14 -07:00
Alan Mishchenko fb2ae7c22f Computing AIG using DSD instead of factored forms in &fx. 2013-10-02 16:41:55 -07:00
Alan Mishchenko 7b99370e0a Changing default values. 2013-10-02 14:36:33 -07:00
Alan Mishchenko f2fab57936 Changes in specialized matching. 2013-10-02 13:00:05 -07:00
Alan Mishchenko 19c361e387 Changes in specialized matching. 2013-10-02 12:55:20 -07:00
Alan Mishchenko 85098b01de Changes in specialized matching. 2013-10-01 22:34:44 -07:00
Alan Mishchenko b6f85cfc9a Enabling counter-example generation in the new BMC engine. 2013-10-01 12:23:52 -07:00
Alan Mishchenko 16f7903697 Changes in specialized matching. 2013-10-01 00:43:43 -07:00
Alan Mishchenko 8340b65dc8 Changes in specialized matching. 2013-10-01 00:25:49 -07:00
Alan Mishchenko 1fb7ef8153 Converting mapped AIG into strashed AIG. 2013-09-30 22:41:55 -07:00
Alan Mishchenko 3bad7aedf8 Producing AIG after structural mapping. 2013-09-30 20:41:08 -07:00