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

507 Commits

Author SHA1 Message Date
Alan Mishchenko 5953beb2da Restructured the code to post-process object used during refinement in &gla. 2012-09-16 09:54:19 -07:00
Alan Mishchenko fdf5ad3433 Cleaned 'abc.c' by removing useless procedures. 2012-09-15 23:52:36 -07:00
Alan Mishchenko 69bbfa9856 Created new abstraction package from the code that was all over the place. 2012-09-15 23:27:46 -07:00
Alan Mishchenko 117bc0dbcd Prepared &gla to try abstracting and proving concurrently. 2012-09-14 21:20:37 -07:00
Alan Mishchenko 19c28cae94 Prepared &gla to try abstracting and proving concurrently. 2012-09-14 10:27:48 -07:00
Alan Mishchenko 56117d56e8 Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation (for experiments). 2012-09-09 15:28:31 -07:00
Alan Mishchenko 4333fd24d2 Started CEX minimization procedure. 2012-09-08 18:28:13 -07:00
Alan Mishchenko 5ca4f3cf9f Updating &gla_refine to perform suffic refinement. 2012-09-07 23:26:23 -07:00
Alan Mishchenko 548e04192b Updating &gla_refine to perform suffic refinement. 2012-09-07 20:44:12 -07:00
Alan Mishchenko 9c8be56ccd Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. 2012-09-06 15:32:07 -07:00
Alan Mishchenko cd2bd70865 Added switch 'dch -r' to skip choices with structural support redundancy. 2012-09-05 19:39:25 -07:00
Alan Mishchenko c1f4545e07 Added error message when the user is trying 'dsat' for multi-output comb miters. 2012-09-05 18:53:21 -07:00
Alan Mishchenko f6b67d7846 Added new command &gla_shrink. 2012-09-04 23:57:58 -07:00
Alan Mishchenko 9621ae946e Added switch &srm -A <file> for dumping SRM into a user-specified file. 2012-09-02 20:12:03 -07:00
Alan Mishchenko 6814c48bb4 Added an API to convert a multi-output PLA into a shared AIG. 2012-08-29 12:43:55 -07:00
Alan Mishchenko 5ff49be993 Ensured that SC mapped network is always in a topo order. 2012-08-28 19:42:53 -07:00
Alan Mishchenko 9b02fe59bd Added buffering based on combinational merging. 2012-08-28 19:24:13 -07:00
Alan Mishchenko da6838463f Added features 'map -M <float>' to control the use of large gates. 2012-08-27 14:29:32 -07:00
Alan Mishchenko 137f0347f0 Added switch '&gla -m' to dump original miter with the abstraction map. 2012-08-26 09:21:45 -07:00
Alan Mishchenko 49c5799934 Several improvements to command 'testnpn'. 2012-08-25 10:30:53 -07:00
Alan Mishchenko 4a9152d0e1 Changed command 'sim' to work with a miter by default (replace 'sim -m' by 'sim' in verification applications). 2012-08-24 11:14:40 -07:00
Alan Mishchenko 942600414d Added simulation of comb circuits with user-specified patterns in command 'sim'. 2012-08-24 11:12:51 -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 6a9eaec3b5 Changing the default value '&gla -n' to the opposite. 2012-08-06 07:44:55 -07:00
Alan Mishchenko 30ae05f0a5 Scalable gate-level abstraction. 2012-08-03 18:25:47 -07:00
Alan Mishchenko e9af6c3cec Scalable gate-level abstraction. 2012-08-02 23:44:48 -07:00
Alan Mishchenko cb66aa429d Scalable gate-level abstraction. 2012-08-02 10:54:21 -07:00
Alan Mishchenko 352060122b Scalable gate-level abstraction. 2012-08-02 09:40:19 -07:00
Alan Mishchenko 5838789ee7 Scalable gate-level abstraction. 2012-07-29 12:34:59 -07:00
Alan Mishchenko e8d690f2a4 Adding command 'testdec'. 2012-07-28 18:30:21 -07:00
Alan Mishchenko 1e159a826e Started implementing command 'testdec'. 2012-07-28 12:42:17 -07:00
Alan Mishchenko b2ad079a2a Allow for skipping structural hashing when reading GIA from file. 2012-07-25 12:37:19 -07:00
Alan Mishchenko 7dc8c81ff6 Allow for skipping structural hashing when reading GIA from file. 2012-07-25 08:59:24 -07:00
Alan Mishchenko f09afdf24c Added switch &trim -c to additionally remove direct connections (POs fed by PIs). 2012-07-20 13:52:39 -07:00
Alan Mishchenko aa78ce56e7 Updated code for lazy man's synthesis. 2012-07-20 11:52:51 -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 1fe2ba9ac0 Enabling &gla for combinational miters. 2012-07-18 23:52:41 -07:00
Alan Mishchenko 96d7699698 Updated code for lazy man's synthesis. 2012-07-15 15:54:36 -07:00
Alan Mishchenko d3ad7fbaf3 Several small changes and fixes. 2012-07-13 15:02:46 -07:00
Alan Mishchenko b9ee5d8564 Improvements in the proof-logging SAT solver. 2012-07-11 12:45:46 -07:00
Alan Mishchenko 637736827a Adding several command-line arguments to 'dsat'. 2012-07-09 19:24:39 -07:00
Alan Mishchenko 685faae8e2 Added command &gla_purify. 2012-07-08 17:56:49 -07:00
Alan Mishchenko 6c3363f777 Adding restart to rarity simulation in sim3 and &sim3. 2012-07-08 13:23:05 -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 5fb7c676c2 Procedure to compute truth tables for POs of GIA. 2012-07-07 13:13:32 -07:00
Alan Mishchenko 5008b1a4f3 Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstraction. 2012-07-06 20:41:11 -07:00
Alan Mishchenko e879f0f6d1 Tentatively retiring command &abs_start, &abs_cba, &abs_pba, &gla_cba, &gla_pba. 2012-07-06 18:50:50 -07:00
Alan Mishchenko 23467b83b6 Setting infinite default conflict limits in 'bmc', 'int', 'pdr'. 2012-07-06 18:48:35 -07:00