Commit Graph

160 Commits

Author SHA1 Message Date
Alan Mishchenko 67127b838d New DSD detection code. 2013-05-30 09:46:13 -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 fb6eaaf5d9 New MFS package. 2013-05-26 16:12:44 -07:00
Alan Mishchenko 851c8551c0 Compiler warnings. 2013-03-30 12:31:39 -07:00
Alan Mishchenko 7f11278705 Compiler warnings. 2013-03-30 12:30:04 -07:00
Alan Mishchenko ae091e695e Integrating box library. 2013-03-08 18:58:54 -08:00
Alan Mishchenko dcc8907161 Improvements to the hierarchy/timing manager. 2013-03-05 16:53:18 -08:00
Alan Mishchenko 4ff5203f4c Improvements to the hierarchy/timing manager. 2013-03-05 13:13:15 -08:00
Alan Mishchenko 7e293ebe08 User-controlable SAT sweeper. 2013-02-25 22:07:32 -05:00
Alan Mishchenko 7e598cd231 Fixing compilation problems on Linux-32 related to constants of type unsigned long long. 2013-01-30 16:15:53 +07:00
Alan Mishchenko f26e760e9d Fixing C++ compilation issues. 2013-01-08 13:33:17 +08:00
Alan Mishchenko 82050bbe11 Assembling timing/hierarchy manager from input data. 2012-12-13 15:18:53 -08:00
Alan Mishchenko 72d1151231 Improvements to DSD manager. 2012-12-11 22:37:34 -08:00
Alan Mishchenko dc843b03c9 Renaming If_Lut_t into If_LibLut_t. 2012-12-10 01:07:41 -08:00
Alan Mishchenko 5eedc74a15 Adding box library. 2012-12-10 00:59:54 -08:00
Alan Mishchenko 86fcba60c2 Enabling command &append for combiming multiple AIGs. 2012-12-01 23:13:24 -08:00
Alan Mishchenko b2fd119933 DSD manager. 2012-11-20 21:34:40 -08:00
Alan Mishchenko ffbe3bc576 DSD manager. 2012-11-19 23:42:05 -08:00
Alan Mishchenko abefcf8fc8 DSD manager. 2012-11-13 20:44:34 -08:00
Alan Mishchenko e779b8c889 Improved DSD. 2012-11-11 21:37:27 -08:00
Alan Mishchenko e52dc77430 Improved DSD. 2012-11-11 14:40:42 -08:00
Alan Mishchenko 1bef28e6c6 Improved DSD. 2012-11-10 20:45:16 -08:00
Alan Mishchenko ee789ba902 Improved DSD. 2012-11-10 19:37:53 -08:00
Alan Mishchenko fdcbb2cf37 Performance bug fix in choice generation. 2012-11-09 12:43:03 -08:00
Alan Mishchenko 36d8c000a4 Slightly improved cut computation. 2012-11-06 22:08:54 -08:00
Alan Mishchenko a20e32f9e3 Improvements to LMS code. 2012-11-01 22:03:37 -07:00
Alan Mishchenko f23a17e0c6 Improvements to LMS code. 2012-11-01 16:24:36 -07:00
Alan Mishchenko 68d360c2d0 Move truth table code into a separte file. 2012-10-28 19:42:20 -07:00
Alan Mishchenko d8d820052e Improvements to LMS code. 2012-10-28 18:50:10 -07:00
Alan Mishchenko 94d722c58e Improvements to LMS code. 2012-10-27 17:33:13 -07:00
Alan Mishchenko cb7bf6ae9e Improvements to the truth table computation in 'if' package. 2012-10-26 22:36:00 -07:00
Alan Mishchenko 37107a3b18 Added new API to traverse the cut in the mapper. 2012-10-25 22:10:24 -07:00
Alan Mishchenko 6b96d9a84e Integrating GIA with LUT mapping. 2012-10-24 17:39:38 -07:00
Alan Mishchenko 4ed89d00fe Making explicit cast to 64-bit unsigned in a few places. 2012-10-09 09:23:08 -07:00
Alan Mishchenko fdd043ca34 Upgrading hierarchy timing manager. 2012-09-21 22:00:39 -07:00
Alan Mishchenko 9c8be56ccd Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. 2012-09-06 15:32:07 -07:00
Alan Mishchenko aa78ce56e7 Updated code for lazy man's synthesis. 2012-07-20 11:52:51 -07:00
Alan Mishchenko 96d7699698 Updated code for lazy man's synthesis. 2012-07-15 15:54:36 -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 ea98a2497e Fixing time primtouts throughout the code. 2012-07-07 18:41:02 -07:00
Alan Mishchenko 4760983a46 Fixing time primtouts throughout the code. 2012-07-07 18:15:08 -07:00
Alan Mishchenko 3aab724573 Fixing time primtouts throughout the code. 2012-07-07 17:46:54 -07:00
Alan Mishchenko 7629fd6aea Added min-cut-based refinement of gate-level abstraction (command &gla_refine). 2012-06-24 18:45:42 -07:00
Alan Mishchenko 034fc5a14d Misc changes. 2012-05-21 23:52:05 +07:00
Alan Mishchenko 77b83074e0 Changing 'if' to allow for delay optimization on sequential paths only. 2012-05-20 22:18:23 +07:00
Alan Mishchenko c6af9094c0 Changing 'if' to allow for delay optimization on sequential paths only. 2012-05-20 17:27:53 +07:00
Alan Mishchenko d4399dbf92 Misc changes. 2012-05-03 19:54:40 +08:00
Alan Mishchenko 490e84c4bc Adding on-the-fly truth-table minimization. 2012-04-28 12:09:38 +07:00
Alan Mishchenko b8088b901d Misc changes. 2012-04-22 23:33:50 -07:00