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

125 Commits

Author SHA1 Message Date
Alan Mishchenko f0cc98cfcd Experiments with permutations. 2014-04-24 20:05:47 -07:00
Alan Mishchenko 482c11a27e Experiments with permutations. 2014-04-24 18:44:00 -07:00
Alan Mishchenko 3a4ef2d7a7 Experiments with permutations. 2014-04-23 11:58:35 -07:00
Alan Mishchenko c6999c3ca4 Experiments with permutations. 2014-04-23 11:55:11 -07:00
Alan Mishchenko 47142c084b Experiments with permutations. 2014-04-23 10:38:05 -07:00
Alan Mishchenko eb3ee4ca4a Experiments with permutations. 2014-04-23 10:26:47 -07:00
Alan Mishchenko 4172fb02c6 Experiments with permutations. 2014-04-23 10:22:30 -07:00
Alan Mishchenko 6fdb52cabc Experiments with permutations. 2014-04-23 10:15:21 -07:00
Alan Mishchenko 81077d8a7c Experiments with permutations. 2014-04-23 09:57:40 -07:00
Alan Mishchenko 4f09348367 Experiments with permutations. 2014-04-23 09:52:35 -07:00
Alan Mishchenko d80efa1b49 Bug fix in if -g when choices are used. 2014-04-22 18:31:46 -07:00
Alan Mishchenko 375b46a355 Experiments with permutations. 2014-04-21 21:47:34 -07:00
Alan Mishchenko c4a715ed61 Experiments with permutations. 2014-04-20 23:56:48 -07:00
Alan Mishchenko 116c35a021 Improving K-map printout. 2014-04-10 23:43:20 -07:00
Alan Mishchenko e70adbcd2d Improvements to the standard cell flow. 2013-11-08 15:16:13 -08:00
Alan Mishchenko 7d2b77afc8 Multi-output property solver. 2013-10-23 16:26:20 -07:00
Alan Mishchenko f6653175b4 Code to test AIG generation for DSD structures. 2013-09-27 10:08:54 -07:00
Alan Mishchenko 531657105b Improving DAG-aware unmapping. 2013-09-25 15:29:01 -07:00
Alan Mishchenko ee11ee1833 Changes to enable decomposition of non-DSD functions. 2013-09-25 13:18:21 -07:00
Alan Mishchenko ff5d3591d1 Infrastructure to support full Liberty format and unitification of library representations. 2013-09-15 18:23:49 -07:00
Alan Mishchenko 5b6b7c5bbe Removing duplicated typedef line. 2013-09-13 09:39:50 -07:00
Alan Mishchenko 75fee10708 Improvements to the new technology mapper. 2013-09-12 22:37:26 -07:00
Alan Mishchenko 61abba9571 Improvements to the new technology mapper. 2013-09-11 23:49:05 -07:00
Alan Mishchenko 211ac730c6 Improvements to the new technology mapper. 2013-09-11 18:19:36 -07:00
Alan Mishchenko 2fa9645b08 Improvements to the new technology mapper. 2013-09-09 14:00:47 -07:00
Alan Mishchenko 48db1c3a04 Improvements to the new technology mapper. 2013-09-09 00:15:01 -07:00
Alan Mishchenko 19c25fd6aa Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:09:23 -07:00
Alan Mishchenko e64cad10e2 Adding command &miter2 to derive a specified sequential miter. 2013-03-27 12:43:00 -07:00
Alan Mishchenko ae091e695e Integrating box library. 2013-03-08 18:58:54 -08:00
Alan Mishchenko 7e598cd231 Fixing compilation problems on Linux-32 related to constants of type unsigned long long. 2013-01-30 16:15:53 +07:00
Alan Mishchenko 0fafe786ae Improvements to the truth table computations. 2012-10-30 22:25:45 -07:00
Alan Mishchenko 71bdfae941 Replacing 'st_table' by 'st__table' to resolve linker problems. 2012-09-29 17:11:03 -04:00
Alan Mishchenko bc44087bac Modified 'read' to read all types of libraries (genlib, liberty, scl). 2012-09-20 12:41:59 -07:00
Alan Mishchenko 508b6f1b13 Fixing mismatch between declaration of the output value of Extra_CpuTime. 2012-09-18 09:58:06 -07:00
Alan Mishchenko 201cb24596 Several minor changes. 2012-09-03 17:15:44 -07:00
Alan Mishchenko 12c776ed6e Added new algorithm for NPN semi-canonical form computation. 2012-08-23 22:20:27 -07:00
Alan Mishchenko 41fa9a1016 New command 'testnpn' to compare semi-canonical forms. 2012-08-08 01:42:14 -07:00
Alan Mishchenko a40c13a93c Recording and reusing learned util clauses in bmc2. 2012-07-22 22:28:24 -07:00
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 2279a538b7 New procedures to generate NPN-classes for a library of 6-input functions. 2012-07-19 20:38:03 -07:00
Alan Mishchenko 1c33107cbb Updating project settings to have simpler include paths. 2012-07-07 20:14:12 -07:00
Alan Mishchenko 3aab724573 Fixing time primtouts throughout the code. 2012-07-07 17:46:54 -07:00
Alan Mishchenko 8b881d235a Making 'pdr', &gla, &vta print correctly in batch mode. 2012-07-07 10:44:34 -07:00
Alan Mishchenko f16457aaf5 Added/moved several APIs. 2012-04-10 00:28:36 -07:00
Alan Mishchenko 993c2027d8 Added several new APIs. 2012-03-31 16:33:22 -07:00
Alan Mishchenko 9520736621 Added several new APIs to GIA and for file management. 2012-03-30 21:09:08 -07:00
Alan Mishchenko 49c13f4f03 Added new procedures to read files. 2012-03-11 23:07:27 -07:00
Alan Mishchenko 97856d021a Silencing some of the gcc warnings. 2012-02-16 23:40:23 -08:00
Alan Mishchenko 791b107e7a Silencing some of the gcc warnings. 2012-02-16 21:53:16 -08:00
Alan Mishchenko 8014f25f6d Major restructuring of the code. 2012-01-21 04:30:10 -08:00