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

2284 Commits

Author SHA1 Message Date
Alan Mishchenko e73e5438ca Patching ABC for Yosys. 2013-11-27 12:17:00 -08:00
Alan Mishchenko ee50e84e57 Structural mapper into structures. 2013-11-26 23:19:22 -08:00
Alan Mishchenko a9eb8677fe Explanation for one assetion. 2013-11-26 21:35:13 -08:00
Alan Mishchenko 93bec213fc Bug fix in timing update. 2013-11-26 01:03:53 -08:00
Alan Mishchenko 71166f602a Structural mapper into structures. 2013-11-24 21:21:01 -08:00
Alan Mishchenko 98da93093b Bug fix in technology mapper. 2013-11-24 09:51:48 -08:00
Alan Mishchenko ab00143669 Bug fix in liberty parser. 2013-11-23 20:00:59 -08:00
Alan Mishchenko 9de629ff59 Add command 'splitsop' to split large node SOPs into smaller ones. 2013-11-23 19:52:00 -08:00
Alan Mishchenko 00efa68053 Several changes to allow Liberty files without delay info. 2013-11-21 12:58:13 -08:00
Alan Mishchenko 962ad3b0b1 Fixing several simple bugs in library handling. 2013-11-21 12:01:14 -08:00
Alan Mishchenko b21447b6df Bug fix in writing constants in write_verilog. 2013-11-21 11:39:57 -08:00
Alan Mishchenko 260fe0830a Propagating initial PI level during balancing. 2013-11-15 00:59:16 -08:00
Alan Mishchenko a4325272c2 Adding switch to control the number of nodes tried in mfs2. 2013-11-14 23:50:17 -08:00
Alan Mishchenko 4e00ec6169 Structural mapper into structures. 2013-11-12 16:03:18 -08:00
Alan Mishchenko e70adbcd2d Improvements to the standard cell flow. 2013-11-08 15:16:13 -08:00
Alan Mishchenko 5021909cb1 Merged in atomb/abc (pull request #2) 
More portability/flexibility fixes
 2013-11-07 19:15:22 -08:00
Alan Mishchenko 24ffd5269a Organizing the timing report functions. 2013-11-07 11:26:40 -08:00
Alan Mishchenko 4774dc56fe Fixing the wire-load approximation problem. 2013-11-07 10:24:47 -08:00
Aaron Tomb 56378651c7 Fix parenthesization of Abc_Clock #ifdef. 
The previous location of parentheses led to an attempt to compile
against Linux-only clock APIs when building on 32-bit OS X.
 2013-11-06 16:35:02 -08:00
Alan Mishchenko f29fe2d0c2 Specialized inductive check. 2013-11-05 21:17:32 -08:00
Alan Mishchenko 78a0660eab Specialized inductive check. 2013-11-05 20:33:48 -08:00
Alan Mishchenko 66b6593513 Specialized inductive check. 2013-11-05 19:37:46 -08:00
Alan Mishchenko e3560904ec Merged in atomb/abc (pull request #1) 
Several patches to fix compilation under MINGW32
 2013-11-05 13:41:39 -08:00
Alan Mishchenko 053c9f54e4 Tuning for multi-ouptut solver. 2013-11-05 11:25:05 -08:00
Alan Mishchenko 5f6244c603 Tuning for multi-ouptut solver. 2013-11-05 00:05:28 -08:00
Alan Mishchenko 0f29c62eab Tuning for multi-ouptut solver. 2013-11-04 23:57:40 -08:00
Alan Mishchenko ed11db1763 Tuning for multi-ouptut solver. 2013-11-04 23:31:12 -08:00
Alan Mishchenko 54b2cc1d72 Tuning for multi-ouptut solver. 2013-11-04 23:24:42 -08:00
Alan Mishchenko d8cb39a191 Tuning for multi-ouptut solver. 2013-11-04 23:21:54 -08:00
Alan Mishchenko f948c6dbf3 Tuning for multi-ouptut solver. 2013-11-04 23:15:05 -08:00
Alan Mishchenko 5dce71d57a Tuning for multi-ouptut solver. 2013-11-04 22:46:10 -08:00
Alan Mishchenko a1d2ba0fcc Tuning for multi-ouptut solver. 2013-11-04 22:30:27 -08:00
Alan Mishchenko 0ab8cd1191 Tuning for multi-ouptut solver. 2013-11-04 21:04:33 -08:00
Alan Mishchenko 765da3a318 Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. 2013-11-04 21:00:18 -08:00
Alan Mishchenko de9fd0a529 Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. 2013-11-04 20:47:26 -08:00
Alan Mishchenko b781c1c1d5 Merging heads. 2013-11-04 20:28:17 -08:00
Alan Mishchenko 2076d38ea3 Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. 2013-11-04 20:25:36 -08:00
Alan Mishchenko 22fd7dca45 Specialized inductive check. 2013-11-04 16:20:31 -08:00
Aaron Tomb aa2eae5cab Don't assume MSVC when __MINGW32__ set. 2013-11-04 14:28:32 -08:00
Aaron Tomb 6a4d430e60 Choose Windows file operations with MINGW32. 2013-11-04 14:27:09 -08:00
Aaron Tomb cf1746e348 Make definition of Abc_Clock work with MINGW32. 2013-11-04 14:25:55 -08:00
Alan Mishchenko a0529ec5c8 Sweeper internal dumping. 2013-11-01 18:59:51 -04:00
Alan Mishchenko e2af27f160 Sweeper internal dumping. 2013-11-01 17:09:05 -04:00
Alan Mishchenko 74893bf3d4 Sweeper internal verification. 2013-11-01 13:48:17 -04:00
Alan Mishchenko a564e2ab81 Sweeper internal verification and new switch for &cfraig. 2013-11-01 13:36:51 -04:00
Alan Mishchenko a509fa8ea8 Sweeper internal verification. 2013-11-01 13:25:19 -04:00
Alan Mishchenko ea1a2cfdab Corner-case bug in synthesis commands. 2013-11-01 13:11:11 -04:00
Alan Mishchenko c8bfb82688 Sweeper condition complement bug-fix. 2013-11-01 12:19:56 -04:00
Alan Mishchenko 3b8095a671 Sweeper condition complement bug-fix and code for internal verification. 2013-11-01 12:11:46 -04:00
Alan Mishchenko 57b5141181 Sweeper assertion. 2013-11-01 11:33:43 -04:00