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
2,125 Commits 30 Branches 59 Tags
ff5d3591d1e7d90199d7395cde9fc6d902ed4b41
Commit Graph
161 Commits
Author SHA1 Message Date
Alan Mishchenko ff5d3591d1 Infrastructure to support full Liberty format and unitification of library representations. 2013-09-15 18:23:49 -07:00
Alan Mishchenko 0e256dc2c2 Updates for the new BMC engine. 2013-09-10 22:12:42 -07:00
Alan Mishchenko eec022ea64 Adding procedures to specify permutations with unused flops. 2013-08-28 20:21:01 -07:00
Alan Mishchenko 881b2ec46f Integrated buffering and sizing. 2013-08-08 18:23:00 -07:00
Alan Mishchenko c0ac159888 New technology mapper. 2013-07-14 15:04:25 -07:00
Alan Mishchenko b3e0f5b2e9 New technology mapper. 2013-07-13 23:40:51 -07:00
Alan Mishchenko 2ee26b00f9 Precomputing DSD functions. 2013-07-11 22:08:35 -07:00
Alan Mishchenko 3c97892514 New MFS package. 2013-05-30 14:09:50 -07:00
Alan Mishchenko 67127b838d New DSD detection code. 2013-05-30 09:46:13 -07:00
Alan Mishchenko 0cad45fa90 New MFS package. 2013-05-27 09:49:13 -07:00
Alan Mishchenko ac037cbb96 New MFS package. 2013-05-23 23:22:12 -07:00
Alan Mishchenko 9d219eee4b New MFS package. 2013-05-12 19:09:28 -07:00
Alan Mishchenko eacfad7622 Changing the queue to work in the same the array of costs is realloced. 2013-05-05 09:04:14 -07:00
Alan Mishchenko a762c695d7 New fast extract. 2013-05-05 01:54:11 -07:00
Alan Mishchenko 744d35d029 C++ compiler errors. 2013-05-04 20:32:38 -07:00
Alan Mishchenko 3945d382fe Adding new API to the queue. 2013-05-04 20:24:35 -07:00
Alan Mishchenko fcd377405a Compiler warnings. 2013-05-03 15:48:05 -07:00
Alan Mishchenko 6a49d1f4c6 Reading/writing MiniAIG and several minor changes. 2013-05-03 15:45:50 -07:00
Alan Mishchenko bc50421928 Minor changes and improvement in PO partitioning (command &popart). 2013-05-01 12:45:34 -07:00
Alan Mishchenko b94766bce5 Faster isomorphism detection (command &iso). 2013-05-01 00:10:53 -07:00
Alan Mishchenko b09926e8e2 SAT sweeping under constraints. 2013-04-28 01:25:29 -07:00
Alan Mishchenko 324d73c29a New fast extract. 2013-04-27 15:23:12 -07:00
Alan Mishchenko eee8ceb0fa PO partitioning algorithm. 2013-03-09 12:19:11 -08:00
Alan Mishchenko c98119594e User-controlable SAT sweeper. 2013-02-26 16:59:21 -05:00
Alan Mishchenko fe3b2e250b User-controlable SAT sweeper. 2013-02-25 17:49:59 -05:00
Alan Mishchenko 6863688789 Enabled detecting CEXes in multiple POs without stopping (sim3 -a). 2013-01-23 12:37:44 +07:00
Alan Mishchenko 70655d5d31 Integration of timing manager. 2013-01-23 01:34:34 +07:00
Alan Mishchenko ab2dfec272 Improvements to LMS code. 2012-10-27 17:38:45 -07:00
Alan Mishchenko 94d722c58e Improvements to LMS code. 2012-10-27 17:33:13 -07:00
Alan Mishchenko dd25b90f8e Improvements to gate sizing. 2012-10-09 01:20:51 -07:00
Alan Mishchenko 9206e6ff80 Improvements to gate sizing. 2012-10-08 21:20:13 -07:00
Alan Mishchenko 8b4e762e5a Minor bug fix. 2012-10-04 12:05:57 -07:00
Alan Mishchenko 63c9540543 Minor bug fixes. 2012-10-03 20:38:03 -07:00
Alan Mishchenko f7caf84f21 Modified structural constraint extraction (unfold -s) to work for multi-output testcases. 2012-09-23 14:30:17 -07:00
Alan Mishchenko fdd043ca34 Upgrading hierarchy timing manager. 2012-09-21 22:00:39 -07:00
Alan Mishchenko e0eb270324 Changes to command 'upsize'. 2012-09-18 13:23:58 -07:00
Alan Mishchenko 790ea6545f Moving binary IO streams to the vector package. 2012-09-17 01:01:47 -07:00
Alan Mishchenko 7772a4af05 Added printout of library cells. 2012-08-27 19:58:15 -07:00
Alan Mishchenko 13bd7b334c New package to read/write a subset of Liberty for STA. 2012-08-24 21:31:46 -07:00
Alan Mishchenko 5b80d704a1 Improved abstraction refinement. 2012-08-09 17:53:38 -07:00
Alan Mishchenko cd39fd6b05 Fixing performance bug with old proof-logging (adding clauses multiple times). 2012-07-30 11:05:54 -07:00
Alan Mishchenko 8982bf58cb Reducing memory usage in proof-based abstraction. 2012-07-29 22:31:00 -07:00
Alan Mishchenko 8a2d237f78 Adding memory reporting to vectors. 2012-07-29 12:34:32 -07:00
Alan Mishchenko 6df122bda6 Updated code for lazy man's synthesis (memory optimization). 2012-07-20 18:56:26 -07:00
Alan Mishchenko 6c9b59bfc0 Updated code for lazy man's synthesis. 2012-07-20 15:54:08 -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 c25f488a83 Debugging a proof error. 2012-07-13 17:53:08 -07:00
Alan Mishchenko 3fb103dadc Debugging a proof error. 2012-07-13 16:31:12 -07:00