luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-02 02:37:25 +02:00
Code Issues Packages Projects Releases Wiki Activity
4,211 Commits 30 Branches 59 Tags
ecccfe0ed55ce239e690d41dad5c9f8499c3a694
Commit Graph
1552 Commits
Author SHA1 Message Date
Alan Mishchenko ecccfe0ed5 Experimental CEX minimization code. 2017-11-23 21:06:20 -08:00
Alan Mishchenko 203629fd0f Extracting CSAT interface and several cleanups. 2017-11-13 21:49:52 -08:00
Alan Mishchenko d85bc1dd68 Changes to make GIA structural hashing use a dedicated array instead of pObj->Value. 2017-11-13 18:50:04 -08:00
Alan Mishchenko 71d9a16714 Improvements to quantification. 2017-11-13 14:56:40 -08:00
Alan Mishchenko 5fd6dc0fca Profiling quantification and other changes. 2017-11-06 22:08:54 -08:00
Alan Mishchenko 716969190a Profiling quantification and other changes. 2017-11-06 16:43:32 -08:00
Alan Mishchenko e21052dfdd Improvements to quantification. 2017-10-29 12:24:07 -07:00
Bruno Schmitt 50e17ae0f4 Small fix. Garanteeing pPars is not NULL before checking pPars->fSlacks 2017-10-24 23:03:32 +02:00
Alan Mishchenko accf4825e5 Adding API to dump MiniAIG into a Verilog file and other small changes. 2017-10-22 15:44:13 -07:00
Alan Mishchenko 298ec14efa Integrating Glucose into &qbf. 2017-10-17 14:09:41 +09:00
Alan Mishchenko c1b4b79e99 Integrating Glucose into &qbf. 2017-10-17 13:53:48 +09:00
Alan Mishchenko f97b8d2882 Improvements to SAT based SOP computation. 2017-10-06 17:16:16 +03:00
Alan Mishchenko 396215532c Updates and bug fixes. 2017-10-04 12:37:38 +03:00
Alan Mishchenko 05ca7dbf47 Adding printout of slack distribution for mapped networks. 2017-10-02 13:44:48 +03:00
Alan Mishchenko c696ae95d0 Maintenance and updates. 2017-09-24 23:38:01 -07:00
Alan Mishchenko 287f9efcce Maintenance and updates. 2017-09-20 19:27:46 -07:00
Alan Mishchenko 1e0bbef1ef Uncommenting handling of initial values of the flops. 2017-09-19 17:29:03 -07:00
Alan Mishchenko b5d42e8bf3 Adding support for Dimacs input to &satoko. 2017-09-16 13:13:30 -07:00
Alan Mishchenko b63e3ee4b4 Experiment with mapping. 2017-09-15 12:40:43 -07:00
Alan Mishchenko 5a9fded57f Several small changes. 2017-09-05 21:54:27 -07:00
Alan Mishchenko c1c6e90d3e Useful AIG duplication procedure. 2017-09-05 20:17:21 -07:00
Alan Mishchenko ecae67e3bf Several changes to various packages. 2017-09-04 15:57:00 -07:00
Alan Mishchenko f77af1a44d Corner-case sitution in truth-table computation. 2017-08-30 13:43:25 +08:00
Bruno Schmitt ba8112ff3a Fixing bronken C++ build; Satoko internal header, solver.h, should not be used in other packages 2017-08-29 09:40:51 +02:00
Alan Mishchenko 23d36a8d56 Integrating Satoko into 'bmc' and 'bmc2'. 2017-08-16 14:20:52 +07:00
Alan Mishchenko 0d307b1c85 Fixing non-scalability in CNF generation. 2017-08-13 16:48:03 +07:00
Alan Mishchenko 7fbddb04e6 Fixing non-scalability in CNF generation. 2017-08-13 16:38:06 +07:00
Alan Mishchenko 165d97f7d6 Fixing non-scalability in CNF generation. 2017-08-13 16:30:19 +07:00
Alan Mishchenko 8389c455a6 Fixing non-scalability in CNF generation. 2017-08-13 16:14:20 +07:00
Alan Mishchenko a1d1a7b8cd Experiments with BMC. 2017-08-09 17:38:40 +09:00
Alan Mishchenko ee4d794111 Transforming miter by swapping sides. 2017-07-23 11:12:37 +07:00
Alan Mishchenko 2e56f44c66 Compiler warnings. 2017-07-22 11:41:17 +07:00
Alan Mishchenko 9ff1776d06 Experiments with logic optimization. 2017-07-21 12:38:18 +07:00
Alan Mishchenko e24a3d52f6 Commenting out things in GIA constant sweeping. 2017-07-14 16:03:19 -07:00
Alan Mishchenko a2e73612b4 Bug fix in MiniLUT APIs. 2017-07-12 14:26:46 -07:00
Alan Mishchenko ff89090dad Supporting CO attributes in GIA. 2017-07-12 12:22:48 -07:00
Alan Mishchenko ccdc974f8a Making MiniLUT work for more than 6 inputs. 2017-07-08 09:50:17 -07:00
Alan Mishchenko 1676df19e7 Adding new command line options for &verify and &synch2. 2017-07-06 21:13:53 -07:00
Alan Mishchenko 4712edc097 Commenting out useless assertion. 2017-07-06 21:13:25 -07:00
Alan Mishchenko 0b7dcbbcfb Merged in boschmitt/abc (pull request #77) 
Small fixes for C++ compilers
 2017-07-04 22:24:57 +00:00
Alan Mishchenko 859e769f22 Synchronizing various data-structures. 2017-07-04 15:23:51 -07:00
Bruno Schmitt f302e6f6ef Small fixes for C++ compilers 2017-07-04 09:35:42 +02:00
Alan Mishchenko bf6a053c64 Saturating floating point computation. 2017-07-01 13:48:31 -07:00
Alan Mishchenko 96c5b56245 Not calling a changed API until it is fixed. 2017-06-27 12:44:33 -07:00
Alan Mishchenko 584d52ba85 Temp changes 2017-06-15 23:26:24 -07:00
Alan Mishchenko 943e625e75 Outputting cell configurations. 2017-06-02 11:00:47 +02:00
Alan Mishchenko 8de04d36b3 Several new procedures for GIA manipulation. 2017-06-01 15:42:50 +02:00
Alan Mishchenko 30d1f192a7 Experiments with support minimization. 2017-04-29 00:48:56 -07:00
Alan Mishchenko 9f46984c07 Compiler warnings. 2017-04-28 10:52:00 -07:00
Alan Mishchenko 534ebbc7e5 Compiler warnings. 2017-04-28 10:49:56 -07:00