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

2618 Commits

Author SHA1 Message Date
Alan Mishchenko 79a4038f21 Exploration of functions. 2014-04-30 23:47:50 -07:00
Alan Mishchenko 3ba93e3b0f Exploration of functions. 2014-04-30 23:44:50 -07:00
Alan Mishchenko 416f300d9d Exploration of functions. 2014-04-29 21:03:10 -07:00
Alan Mishchenko 73289034be Added optimization for average rather than maximum delay. 2014-04-29 00:21:35 -07:00
Alan Mishchenko 5acb147f61 Exploration of functions. 2014-04-28 15:33:15 -07:00
Alan Mishchenko fd1ed5b232 Added dumping original object names into a file. 2014-04-28 12:56:32 -07:00
Alan Mishchenko 6095b15174 Added dumping original object names into a file. 2014-04-26 23:47:54 -07:00
Alan Mishchenko 6e465e57fe Exploration of functions. 2014-04-26 21:05:02 -07:00
Alan Mishchenko 37703eaaa8 Exploration of functions. 2014-04-26 19:28:12 -07:00
Alan Mishchenko 857688b95e Exploration of functions. 2014-04-26 19:21:06 -07:00
Alan Mishchenko 8de7816daf Exploration of MFFCs. 2014-04-26 13:14:38 -07:00
Alan Mishchenko f0cc98cfcd Experiments with permutations. 2014-04-24 20:05:47 -07:00
Alan Mishchenko 482c11a27e Experiments with permutations. 2014-04-24 18:44:00 -07:00
Alan Mishchenko 1023908e30 Performance improvement to 'amap'. 2014-04-23 18:44:51 -07:00
Alan Mishchenko 3a4ef2d7a7 Experiments with permutations. 2014-04-23 11:58:35 -07:00
Alan Mishchenko c6999c3ca4 Experiments with permutations. 2014-04-23 11:55:11 -07:00
Alan Mishchenko d948ef80bd Added command 'cubeenum'. 2014-04-23 11:31:38 -07:00
Alan Mishchenko 47142c084b Experiments with permutations. 2014-04-23 10:38:05 -07:00
Alan Mishchenko eb3ee4ca4a Experiments with permutations. 2014-04-23 10:26:47 -07:00
Alan Mishchenko 4172fb02c6 Experiments with permutations. 2014-04-23 10:22:30 -07:00
Alan Mishchenko 6fdb52cabc Experiments with permutations. 2014-04-23 10:15:21 -07:00
Alan Mishchenko 81077d8a7c Experiments with permutations. 2014-04-23 09:57:40 -07:00
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