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

29 Commits

Author SHA1 Message Date
Alan Mishchenko 3d281a1907 Adding support for Cadical in "lutexact". 2025-11-11 13:24:02 -08:00
Alan Mishchenko 7d7ce3ecd0 New exact synthesis command 'allexact'. 2017-12-28 23:04:24 -08:00
Alan Mishchenko 8f690fe862 Integrating old SAT solver into majexact and twoexact. 2017-10-19 13:38:09 +09:00
Alan Mishchenko d3152aefa7 Exact synthesis of majority gates. 2017-10-01 18:00:09 +03:00
Alan Mishchenko f68bd519c6 Integrating Glucose into &bmcs -g. 2017-09-06 17:57:44 -07:00
Alan Mishchenko 55771ee014 Experiments with BMC. 2017-07-22 11:13:40 +07:00
Alan Mishchenko 60aa7baa47 Synthesis for mesh of LUTs. 2017-03-17 16:22:10 -07:00
Alan Mishchenko 9e668f1b10 Synthesis for mesh of LUTs. 2017-03-17 13:53:37 -07:00
Alan Mishchenko 12688ac9ee Experiments with generating sat assignments. 2016-05-14 23:14:20 -07:00
Alan Mishchenko 5b6e5b8178 New command 'expand' to expand SOPs against the offset. 2016-05-12 22:41:20 -07:00
Alan Mishchenko 5bcde4be2b Experiments with SAT-based collapsing. 2015-09-03 21:56:29 -07:00
Alan Mishchenko 1961f1791d Experiments with SAT-based cube enumeration. 2015-03-05 23:02:15 -08:00
Alan Mishchenko 8c2e51824e Experimental implementation of BMC-related procedures. 2014-11-04 20:35:36 -08:00
Alan Mishchenko 368de31ae2 Simple version of ECO. 2014-05-21 12:40:20 +09:00
Alan Mishchenko 42927d5ebb Adding command to dump UNSAT core of BMC instance. 2014-04-07 14:10:51 -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 c86a13f0b5 Experiments with recent ideas. 2014-03-20 20:18:25 -07:00
Alan Mishchenko ffa881bce2 Experiments with recent ideas. 2014-03-19 15:54:50 -07:00
Alan Mishchenko 83cd20d647 Experiments with recent ideas. 2014-03-18 19:12:32 -07:00
Alan Mishchenko b541201da0 Experiments with delay fault testing. 2014-03-04 22:56:52 -08:00
Alan Mishchenko f620a857d3 Specialized induction check. 2013-10-31 13:07:43 -04:00
Alan Mishchenko 47afd0f4f4 Multi-output property solver. 2013-10-23 16:26:13 -07:00
Alan Mishchenko e9d0466494 Updates for the new BMC engine. 2013-09-05 15:39:18 -07:00
Alan Mishchenko da60781c13 SAT solver with dynamic CNF loading. 2013-08-01 19:01:53 -07:00
Alan Mishchenko 28e065b0ae Counter-example depth minimization. 2013-05-22 11:02:56 -07:00
Alan Mishchenko a27a7bc827 User-controlable SAT sweeper and other small changes. 2013-02-27 12:12:23 -05:00
Alan Mishchenko e1a5556e8c New unrolling manager. 2012-12-24 08:16:19 +07:00
Alan Mishchenko 661265984c Counter-example analysis and optimization. 2012-11-28 16:18:39 -08:00
Alan Mishchenko be7a4e4259 Isolating BMC code into a separate package. 2012-11-14 13:55:24 -08:00