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

1141 Commits

Author SHA1 Message Date
Alan Mishchenko e53ffc6408 New procedures to generate NPN-classes for a library of 6-input functions. 2012-07-20 08:48:14 -07:00
Alan Mishchenko febe2c6ae0 Merging recent changes. 2012-07-20 08:17:08 -07:00
Alan Mishchenko 2279a538b7 New procedures to generate NPN-classes for a library of 6-input functions. 2012-07-19 20:38:03 -07:00
Alan Mishchenko a8f4d4e6bc Making GIA use independent truth table number storage when computing truth tables. 2012-07-19 08:41:38 -07:00
Alan Mishchenko 72c09b86a0 Scalable gate-level abstraction. 2012-07-18 23:53:02 -07:00
Alan Mishchenko 1fe2ba9ac0 Enabling &gla for combinational miters. 2012-07-18 23:52:41 -07:00
Alan Mishchenko 6b2da3978f Adding new file to the build file. 2012-07-17 20:46:45 -07:00
Alan Mishchenko 1b95ee06f1 Small bug in bmc2 timeout. 2012-07-16 07:48:45 -07:00
Alan Mishchenko 226c24e49d Updated code for lazy man's synthesis. 2012-07-15 15:56:03 -07:00
Alan Mishchenko 96d7699698 Updated code for lazy man's synthesis. 2012-07-15 15:54:36 -07:00
Alan Mishchenko 1ca94c1023 Added new refinement manager for &gla and &abs_refine. 2012-07-14 16:43:43 -07:00
Alan Mishchenko cfc7fe7d31 Added new refinement manager for &gla and &abs_refine. 2012-07-14 16:39:11 -07:00
Alan Mishchenko 94193472c8 Fixing assertion mismatch in bmc2. 2012-07-14 09:25:18 -07:00
Alan Mishchenko fd33975aa5 Fixing the integer print-out problem. 2012-07-13 20:16:52 -07:00
Alan Mishchenko 5d01ed7fc6 Fixing the integer print-out problem. 2012-07-13 19:30:04 -07:00
Alan Mishchenko 3c4351aee4 Debugging a proof error. 2012-07-13 19:06:32 -07:00
Alan Mishchenko 8c162f0577 Debugging a proof error. 2012-07-13 18:56:15 -07:00
Alan Mishchenko 08bb2e70b7 Debugging a proof error. 2012-07-13 18:51:24 -07:00
Alan Mishchenko bbf4b9a58d Debugging a proof error. 2012-07-13 18:47:04 -07:00
Alan Mishchenko 4ebda996d7 Debugging a proof error. 2012-07-13 18:22:10 -07:00
Alan Mishchenko c50d108f98 Debugging a proof error. 2012-07-13 18:15:32 -07:00
Alan Mishchenko 5ec4db2d44 Debugging a proof error. 2012-07-13 18:11:02 -07:00
Alan Mishchenko 7913c1d84f Debugging a proof error. 2012-07-13 17:58:56 -07:00
Alan Mishchenko c25f488a83 Debugging a proof error. 2012-07-13 17:53:08 -07:00
Alan Mishchenko 6578d9cd00 Debugging a proof error. 2012-07-13 17:46:30 -07:00
Alan Mishchenko 4051572726 Debugging a proof error. 2012-07-13 17:39:52 -07:00
Alan Mishchenko 0f82d82ba0 Debugging a proof error. 2012-07-13 17:36:31 -07:00
Alan Mishchenko f37d0544de Debugging a proof error. 2012-07-13 17:23:30 -07:00
Alan Mishchenko 47b5ad1dfb Debugging a proof error. 2012-07-13 17:17:12 -07:00
Alan Mishchenko 7b367f5ecb Debugging a proof error. 2012-07-13 17:06:22 -07:00
Alan Mishchenko 04d1c4e476 Fixing compiler warning. 2012-07-13 16:35:52 -07:00
Alan Mishchenko 3fb103dadc Debugging a proof error. 2012-07-13 16:31:12 -07:00
Alan Mishchenko da525b2a23 Debugging a proof error. 2012-07-13 16:25:07 -07:00
Alan Mishchenko b7b60ebdcb Fixing a mismatch in regular/shadow page memory appending procedure. 2012-07-13 16:10:20 -07:00
Alan Mishchenko be95437d1a Debugging a proof error. 2012-07-13 15:44:45 -07:00
Alan Mishchenko f54bf25d70 Debugging a proof error. 2012-07-13 15:12:21 -07:00
Alan Mishchenko d3ad7fbaf3 Several small changes and fixes. 2012-07-13 15:02:46 -07:00
Alan Mishchenko 86a0ae0bca Removed useless file. 2012-07-12 19:07:24 -07:00
Alan Mishchenko 743ab55fad Upgraded &equiv3 to periodically restart simulation from the init state. 2012-07-12 18:56:26 -07:00
Alan Mishchenko 97d2c9a264 Added procedure for checking satisfied clauses. 2012-07-12 18:55:24 -07:00
Alan Mishchenko 17305bd563 Fixing temporary linker problem. 2012-07-12 18:54:44 -07:00
Alan Mishchenko 83f1f27307 Silencing warnings. 2012-07-11 15:53:59 -07:00
Alan Mishchenko 719396a2ff Silencing warnings. 2012-07-11 15:52:33 -07:00
Alan Mishchenko da02d5aa9d Handling the trivial case when PO is driven by a constant. 2012-07-11 15:45:55 -07:00
Alan Mishchenko 2427563269 Changes to clause mapping. 2012-07-11 15:33:31 -07:00
Alan Mishchenko 05c8b78531 Changes to clause mapping. 2012-07-11 14:05:07 -07:00
Alan Mishchenko b9ee5d8564 Improvements in the proof-logging SAT solver. 2012-07-11 12:45:46 -07:00
Alan Mishchenko 5f3ba152e5 Fixed several problems when CEX is detected by &vta/&gla. 2012-07-11 09:31:00 -07:00
Alan Mishchenko 8dc61f1f20 Enabling refinement in &gla_refine even if CEX is invalid. 2012-07-11 09:05:20 -07:00
Alan Mishchenko 63dab64574 Replacing printf() by Abc_Print(). 2012-07-10 18:04:08 -07:00