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

71 Commits

Author SHA1 Message Date
Alan Mishchenko 67f4f1adae Experiments with SAT-based mapping. 2016-02-07 21:13:33 -08:00
Alan Mishchenko 0e0f2e64af Naive LUT packing algorithm (command &pack). 2015-09-30 20:21:40 -07:00
Alan Mishchenko 1ba16ff782 Experiments with LUT structure mapping. 2015-09-27 19:16:08 -07:00
Alan Mishchenko edf6c13721 Adding new command &rex2gia. 2015-09-22 18:43:12 -07:00
Alan Mishchenko db6afbea29 Diabling pin-permutation in &nf mapper. 2015-02-08 21:18:49 -08:00
Alan Mishchenko 372a348c90 Detecting full-adder chains and putting them into white boxes. 2014-11-09 22:49:17 -08:00
Alan Mishchenko 23441c060a Improved QBF solver. 2014-10-18 16:10:18 -07:00
Alan Mishchenko e033a62282 Code restructuring. 2014-09-16 12:13:25 -07:00
Alan Mishchenko 18ed4d3448 Added DSD-based collapsing &dsd. 2014-08-16 18:31:46 -07:00
Alan Mishchenko 704b4bad6b Generating abstraction of standard cell library. 2014-07-26 16:46:45 -07:00
Alan Mishchenko c0aa9b6a5d Adding new command &sopb for resource-aware SOP balancing. 2014-07-21 13:49:25 -07:00
Alan Mishchenko 933b749676 Changes and improvements to different packages. 2014-06-28 14:25:38 -07:00
Alan Mishchenko 13dd4eeb59 Experiments with balancing. 2014-06-22 00:50:07 -07:00
Alan Mishchenko f04d32732b Added quick GIG parser. 2014-06-19 21:16:30 -07:00
Alan Mishchenko 85e23c8459 Various changes to enable better CNF generation. 2014-06-17 21:00:51 -07:00
Alan Mishchenko 93d89eaaeb Various modifications. 2014-06-10 21:31:10 -07:00
Alan Mishchenko fe5b5ffe19 Experiment with new idea for ISO. 2014-05-21 20:03:39 +09:00
Alan Mishchenko 8de7816daf Exploration of MFFCs. 2014-04-26 13:14:38 -07:00
Alan Mishchenko ace340997b Experiments with mapping. 2014-03-22 16:24:44 -07:00
Alan Mishchenko 4e00ec6169 Structural mapper into structures. 2013-11-12 16:03:18 -08:00
Alan Mishchenko 313caa456a False path detection. 2013-10-31 16:36:08 -04:00
Alan Mishchenko 8a03e530c2 Resubstitution code. 2013-10-06 15:57:17 -07:00
Alan Mishchenko 6132d7cb10 Experiment with the AIG package. 2013-10-03 12:25:27 -07:00
Alan Mishchenko 62439be84d New logic sharing extraction. 2013-09-29 23:14:00 -07:00
Alan Mishchenko a7fcdf20ab Performance balancing command &b. 2013-09-27 18:50:23 -07:00
Alan Mishchenko 531657105b Improving DAG-aware unmapping. 2013-09-25 15:29:01 -07:00
Alan Mishchenko 137a766207 Improvements to the new technology mapper. 2013-09-07 16:41:35 -07:00
Alan Mishchenko fba33fbba4 New technology mapper. 2013-07-12 13:02:32 -07:00
Alan Mishchenko a66dc0afb6 Unifying representation of mapping in GIA. 2013-06-25 23:05:51 -07:00
Alan Mishchenko 8108655263 Integrating new MFS package with GIA manager. 2013-06-04 21:04:56 -05:00
Alan Mishchenko c50c1fc662 Multiplexer profiling. 2013-05-27 17:48:17 -07:00
Alan Mishchenko 6a49d1f4c6 Reading/writing MiniAIG and several minor changes. 2013-05-03 15:45:50 -07:00
Alan Mishchenko b94766bce5 Faster isomorphism detection (command &iso). 2013-05-01 00:10:53 -07:00
Alan Mishchenko 2650f94598 Shrink for 6-LUTs. 2013-03-31 23:09:51 -07:00
Alan Mishchenko a27a7bc827 User-controlable SAT sweeper and other small changes. 2013-02-27 12:12:23 -05:00
Alan Mishchenko fe3b2e250b User-controlable SAT sweeper. 2013-02-25 17:49:59 -05:00
Alan Mishchenko 69dd1337b0 Started PO partitioning command. 2013-02-24 09:27:25 -08:00
Alan Mishchenko 59fe3268a7 Adding STG generation (&era -d) and STG encoding (&read_stg <file>). 2013-02-19 23:07:29 -08:00
Alan Mishchenko cda61cb2fa Integrating sweeping information. 2013-02-18 23:18:42 -08:00
Alan Mishchenko 930369f36f Integration of timing manager. 2013-02-03 18:02:22 +08:00
Alan Mishchenko a2c718fcd7 Technology mapper. 2013-01-08 06:44:48 +08:00
Alan Mishchenko 2575a5d683 Unifification of custom extensions. 2012-12-10 13:56:40 -08:00
Alan Mishchenko be7a4e4259 Isolating BMC code into a separate package. 2012-11-14 13:55:24 -08:00
Alan Mishchenko aeb7f7ea11 Combined old reparametrization command with the new one. 2012-10-02 17:27:36 -07:00
Alan Mishchenko b612db977c Separated truth table computation for GIA manager and added new procedures. 2012-10-02 14:53:56 -07:00
Alan Mishchenko 255f171f63 Improving computation of choices from equivalence classes. 2012-09-23 23:53:12 -07:00
Alan Mishchenko 69bbfa9856 Created new abstraction package from the code that was all over the place. 2012-09-15 23:27:46 -07:00
Alan Mishchenko 19c28cae94 Prepared &gla to try abstracting and proving concurrently. 2012-09-14 10:27:48 -07:00
Alan Mishchenko 002117c0e9 Started CEX minimization procedure. 2012-09-08 14:56:25 -07:00
Alan Mishchenko 548e04192b Updating &gla_refine to perform suffic refinement. 2012-09-07 20:44:12 -07:00