Commit Graph

2195 Commits

Author SHA1 Message Date
Alan Mishchenko 4f72aff1d1 Adding new aliases. 2013-09-30 21:29:37 -07:00
Alan Mishchenko 3bad7aedf8 Producing AIG after structural mapping. 2013-09-30 20:41:08 -07:00
Alan Mishchenko e48cfd92ee Producing AIG after structural mapping. 2013-09-30 20:38:13 -07:00
Alan Mishchenko 181a762927 Producing AIG after structural mapping. 2013-09-30 19:56:54 -07:00
Alan Mishchenko 73ba1458af Producing AIG after structural mapping. 2013-09-30 19:45:36 -07:00
Alan Mishchenko cb845d4488 Changing default values. 2013-09-30 13:39:14 -07:00
Alan Mishchenko 846da1d2c7 Changing default values. 2013-09-30 13:33:39 -07:00
Alan Mishchenko 3d5744f847 Changing default values. 2013-09-30 12:00:50 -07:00
Alan Mishchenko e34251060e Changing default values. 2013-09-30 11:43:17 -07:00
Alan Mishchenko c49739c36a Changing default values. 2013-09-30 10:44:24 -07:00
Alan Mishchenko 726e70392c Changing default values. 2013-09-30 01:00:25 -07:00
Alan Mishchenko 806571235e Improvements to truth table computation. 2013-09-30 00:26:13 -07:00
Alan Mishchenko 62439be84d New logic sharing extraction. 2013-09-29 23:14:00 -07:00
Alan Mishchenko 49ac3c5260 Updating logic extraction. 2013-09-29 16:26:40 -07:00
Alan Mishchenko 462d4c5278 Updating logic extraction. 2013-09-29 14:44:21 -07:00
Alan Mishchenko 1f16b97c89 Changing default values. 2013-09-29 11:57:25 -07:00
Alan Mishchenko 738619980a Changing default values. 2013-09-29 00:03:01 -07:00
Alan Mishchenko bfc3a109c2 Changing default values. 2013-09-29 00:00:31 -07:00
Alan Mishchenko 2a83a97164 Changing default values. 2013-09-28 23:56:08 -07:00
Alan Mishchenko 797cb49584 Changing default values. 2013-09-28 23:14:43 -07:00
Alan Mishchenko 68011de615 Improving printouts in sharing extraction. 2013-09-28 22:42:01 -07:00
Alan Mishchenko 5f97f5cffa New logic sharing extraction. 2013-09-28 20:19:53 -07:00
Alan Mishchenko 61ee156b72 New logic sharing extraction. 2013-09-28 18:35:38 -07:00
Alan Mishchenko f9b11cc93b Checking decomposability of 5-input functions. 2013-09-28 00:24:19 -07:00
Alan Mishchenko a7fcdf20ab Performance balancing command &b. 2013-09-27 18:50:23 -07:00
Alan Mishchenko a695d70810 Performance improvements in GIA package. 2013-09-27 15:20:33 -07:00
Alan Mishchenko 4a74b7ced9 Generation of plain AIG after mapping. 2013-09-27 14:45:55 -07:00
Alan Mishchenko 940cf7f98b Generation of plain AIG after mapping. 2013-09-27 13:30:36 -07:00
Alan Mishchenko debbf4d807 Bug fix. 2013-09-27 10:09:57 -07:00
Alan Mishchenko f6653175b4 Code to test AIG generation for DSD structures. 2013-09-27 10:08:54 -07:00
Niklas Een c8a022f766 Changed printf to Abc_Print in giaMan.c 2013-09-27 01:03:28 -07:00
Niklas Een 4cc3203110 Fixed a bug in Bridge mode 2013-09-27 00:17:59 -07:00
Alan Mishchenko f704aa43fb New logic sharing extraction. 2013-09-26 19:04:18 -07:00
Alan Mishchenko 16a75e9861 Updates to the mapper. 2013-09-26 00:47:45 -07:00
Alan Mishchenko c8fa1c82f7 Updates to the mapper. 2013-09-26 00:00:49 -07:00
Alan Mishchenko bce6d5ab96 Extending the mapper to handle up to 2^24 functional classes. 2013-09-25 23:41:37 -07:00
Alan Mishchenko 0565730abe Compiler warnings. 2013-09-25 18:18:55 -07:00
Alan Mishchenko 017568aff3 Compiler warnings. 2013-09-25 18:16:21 -07:00
Alan Mishchenko dbaf28db1d Fixing the large MFFC problem. 2013-09-25 18:07:34 -07:00
Alan Mishchenko e035f60d4f Fixing the large MFFC problem. 2013-09-25 18:05:50 -07:00
Alan Mishchenko f787e75b83 Improving DAG-aware unmapping. 2013-09-25 16:41:19 -07:00
Alan Mishchenko 531657105b Improving DAG-aware unmapping. 2013-09-25 15:29:01 -07:00
Alan Mishchenko a55b178729 Fixing printouts in 'bmc3'. 2013-09-25 13:21:31 -07:00
Alan Mishchenko ee11ee1833 Changes to enable decomposition of non-DSD functions. 2013-09-25 13:18:21 -07:00
Alan Mishchenko cab8301065 Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_. 2013-09-23 10:57:15 -07:00
Alan Mishchenko 3286882229 Experiments with exact matching into LUT structures. 2013-09-23 10:41:28 -07:00
Alan Mishchenko eec94a70f1 Adding API to return the mapped network. 2013-09-22 23:18:40 -07:00
Alan Mishchenko d61bedc627 Adding API to return the mapped network. 2013-09-22 16:23:57 -07:00
Alan Mishchenko cfebcae125 Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement. 2013-09-21 17:55:59 -04:00
Alan Mishchenko 247dd95dd3 Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement. 2013-09-21 14:08:38 -04:00