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

427 Commits

Author SHA1 Message Date
Alan Mishchenko f86cfc937e Experiments with memory abstraction. 2019-01-22 22:44:07 -08:00
Alan Mishchenko 1779f545e3 Procedures to generate constant-argument multipliers. 2019-01-15 15:37:39 -08:00
Alan Mishchenko f3ba29b302 Procedures to generate constant-argument multipliers. 2019-01-09 11:42:50 -08:00
Alan Mishchenko 5560011ff6 Extending extra library with additional ZDD-based procedures. 2018-10-12 14:06:45 +02:00
Alan Mishchenko 9e787c7191 Experiments with word-level retiming. 2018-09-30 20:51:37 -07:00
Alan Mishchenko c9e520e2dc Expriments with functions. 2018-09-16 13:52:59 -07:00
Alan Mishchenko 94f6bfef8d Experiments with function enumeration. 2018-08-01 18:51:42 -08:00
Alan Mishchenko 7732b9a2f4 Procedure to return seq equivalences. 2018-07-22 19:59:29 -07:00
Alan Mishchenko f49e8f0fe7 Adding command 'majgen'. 2018-07-04 14:04:08 -07:00
Alan Mishchenko aae37ffd4c Experiments with path enumeration. 2018-06-06 14:17:52 -07:00
Alan Mishchenko 3697bdbe43 Simple BDD package. 2018-05-23 22:46:56 +09:00
Alan Mishchenko 098103012d Memory abstraction. 2018-04-15 21:23:22 -07:00
Alan Mishchenko 53e7d1f9ef Adding switch 'scorr -f' to dump inductive invariant as an AIG. 2018-03-22 10:10:09 -07:00
Alan Mishchenko 7e9f3f027b Adding parameters and improvements to %blast. 2018-02-28 18:45:44 -08:00
Alan Mishchenko 99ddb64095 Adding support of reading and writing designs using a new internal format. 2018-01-28 18:53:20 -08:00
Alan Mishchenko 99c4dda767 Experiments with circuit-based SAT. 2018-01-27 14:05:00 -08:00
Alan Mishchenko 7d7ce3ecd0 New exact synthesis command 'allexact'. 2017-12-28 23:04:24 -08:00
Alan Mishchenko c681506b48 Improvements to AIG-based quantification. 2017-11-26 14:41:05 -08:00
Alan Mishchenko 716969190a Profiling quantification and other changes. 2017-11-06 16:43:32 -08:00
Alan Mishchenko accf4825e5 Adding API to dump MiniAIG into a Verilog file and other small changes. 2017-10-22 15:44:13 -07:00
Alan Mishchenko 8f690fe862 Integrating old SAT solver into majexact and twoexact. 2017-10-19 13:38:09 +09:00
Alan Mishchenko d3152aefa7 Exact synthesis of majority gates. 2017-10-01 18:00:09 +03:00
Alan Mishchenko 1e0bbef1ef Uncommenting handling of initial values of the flops. 2017-09-19 17:29:03 -07:00
Alan Mishchenko b63e3ee4b4 Experiment with mapping. 2017-09-15 12:40:43 -07:00
Alan Mishchenko 97dd6019bf Integrating Glucose into bmc3 -g. 2017-09-06 19:56:53 -07:00
Alan Mishchenko 9e46ebe3f8 Adding Glucose 3.0 as a separate package. 2017-09-06 16:28:00 -07:00
Alan Mishchenko 55771ee014 Experiments with BMC. 2017-07-22 11:13:40 +07:00
Alan Mishchenko c19d2289f2 Accidental change. 2017-07-17 12:31:31 -07:00
Alan Mishchenko 1faab72a6c Experiments with support minimization. 2017-04-27 22:08:17 -07:00
Alan Mishchenko fb12c23ad5 Logic restruturing after mapping. 2017-04-17 17:50:10 -04:00
Alan Mishchenko fe3d334151 Experiments with hashing. 2017-04-08 18:37:32 -07:00
Alan Mishchenko 036be3a541 Experiments with don't-cares. 2017-03-26 20:32:46 -07:00
Alan Mishchenko a34d8cbb36 Experiments with don't-cares. 2017-03-23 19:19:29 -07:00
Alan Mishchenko 1ac9d2997c Experiments with don't-cares. 2017-03-22 13:04:24 -07:00
Alan Mishchenko 245532cad1 Merged in ysho/abc (pull request #69) 
Improvements to %pdra
 2017-03-20 05:01:40 +00:00
Alan Mishchenko 19ccaf21df Experiments with new network data-structure. 2017-03-19 21:51:03 -07:00
Yen-Sheng Ho 875411985c %pdra: working on bmc3 2017-03-19 14:21:19 -07:00
Alan Mishchenko 60aa7baa47 Synthesis for mesh of LUTs. 2017-03-17 16:22:10 -07:00
Alan Mishchenko 9e668f1b10 Synthesis for mesh of LUTs. 2017-03-17 13:53:37 -07:00
Alan Mishchenko d66ff2cf54 New word-level transformation. 2017-03-17 08:48:27 -07:00
Alan Mishchenko 5fbe218ff8 Improvements to ternary simulation. 2017-03-09 22:57:20 -08:00
Alan Mishchenko d877074d8f Improvements to ternary simulation. 2017-03-09 22:53:47 -08:00
Alan Mishchenko 59348e227c Clone of the main SAT solver to eneable independent work. 2017-03-03 15:16:05 -08:00
Alan Mishchenko b1907e909d Moving global declarations into 'abcapi.h' and moving it into 'main' package. 2017-03-02 20:56:16 -08:00
Alan Mishchenko 96a399568d Adding experimental command. 2017-03-02 15:26:29 -08:00
Alan Mishchenko 96ccd24e6e Changes to Visual Studio project file to support 'pdra'. 2017-02-21 20:39:52 -08:00
Alan Mishchenko 429f52ce15 Experiments with SAT sweeping. 2017-02-18 14:20:10 -08:00
Alan Mishchenko ab387953ab Word-level abstraction engine. 2017-02-15 17:16:19 -08:00
Alan Mishchenko 45f4d6c7e8 Movinng custom floating-point implementations, etc. 2017-02-11 13:55:41 -08:00
Alan Mishchenko d4b491d849 Changes to compile on Windows. 2017-02-10 17:51:42 -08:00
Alan Mishchenko e20ef654d9 Word-level abstraction. 2017-02-09 13:31:07 -08:00
Alan Mishchenko 77e2b1ff53 Autotuner for 'satoko'. 2017-02-08 18:57:16 -08:00
Alan Mishchenko de4bf41c53 New command &satoko. 2017-02-08 14:10:08 -08:00
Alan Mishchenko 542f84d2fb Small changes to compile satoko on Windows. 2017-02-06 20:54:41 -08:00
Alan Mishchenko 6d088bc440 Enabling new X-valued simulation in 'pdr'. 2017-02-03 17:02:36 -08:00
Alan Mishchenko e21c7d72f3 Updates to arithmetic verification. 2017-01-30 08:39:26 -08:00
Alan Mishchenko 9171bb32ad Updates to arithmetic verification. 2017-01-28 17:04:22 -08:00
Alan Mishchenko 7d82819d51 Adding visualization of word-level networks Wlc_Ntk_t. 2017-01-26 15:17:02 -08:00
Alan Mishchenko d52dafa6c2 Updates to arithmetic verification. 2017-01-12 16:12:48 +07:00
Alan Mishchenko 55b6b4bdab Updates to arithmetic verification. 2017-01-11 16:08:23 +07:00
Alan Mishchenko 5fbc0cd7f0 Updates to arithmetic verification. 2017-01-10 16:58:24 +07:00
Alan Mishchenko 74c8d35f33 Updates to delay optimization project. 2017-01-02 16:29:10 +07:00
Alan Mishchenko 385cb73d32 Updates to delay optimization project. 2017-01-01 19:47:30 +07:00
Alan Mishchenko 3581c94fec Updates to delay optimization project. 2016-12-27 21:08:52 +07:00
Alan Mishchenko ac3216cf23 Updates to delay optimization project. 2016-12-25 15:58:54 +07:00
Alan Mishchenko b56a532682 Several changes in arithmetic circuit manipulation. 2016-12-22 17:27:32 +07:00
Alan Mishchenko 81af996fee Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. 2016-12-13 10:02:28 +08:00
Alan Mishchenko 6a351c4dc0 Adding support for minimalistic representation of LUT mapping. 2016-12-05 17:45:15 -08:00
Alan Mishchenko 1bf289c774 Changes to arithmetic logic detection. 2016-12-02 21:12:57 -08:00
Alan Mishchenko de71ef44cd New command to profile arithmetic logic cones. 2016-11-26 17:06:54 -08:00
Alan Mishchenko 585f3a6407 New SAT-based optimization package. 2016-11-17 12:16:14 -08:00
Alan Mishchenko 254ac2df8f Fixed several compiler warnings. 2016-11-17 12:12:19 -08:00
Alan Mishchenko 85abb6bde7 Isolating CBA types into a separate header. 2016-11-07 09:39:29 -08:00
Alan Mishchenko 76c4d22229 Parser for JSON format. 2016-10-25 17:17:37 -07:00
Alan Mishchenko f5069d6675 Code for profiling arithmetic circuits. 2016-10-21 17:50:05 -07:00
Alan Mishchenko 198fe99416 Experimental code for polynomial construction. 2016-09-05 23:47:58 +03:00
Alan Mishchenko 478066f7a5 Experimental code for polynomial construction. 2016-09-03 18:12:02 +03:00
Alan Mishchenko 640100954a Updates to arithmetic verification. 2016-08-05 20:34:44 -07:00
Alan Mishchenko bfe7333f41 Adding new command 'dump_equiv'. 2016-07-21 16:40:56 -07:00
Alan Mishchenko 190dc37600 Fix in reading initial state for edge-detection. 2016-07-19 13:26:24 -07:00
Alan Mishchenko ada21a655f New multi-output PLA reader and preprocessor (read_plamo). 2016-06-16 15:22:03 -07:00
Alan Mishchenko e1b51d1863 Experiments with edge-based mapping. 2016-06-15 18:47:10 -07:00
Alan Mishchenko 4efbd7b3ca Detecting properties of internal nodes. 2016-06-07 14:32:38 -07:00
Alan Mishchenko 07d074fd88 New feature for area minimization in standard cell mapping. 2016-05-19 15:22:25 -07:00
Alan Mishchenko be769ca3e8 Experiments with generating sat assignments. 2016-05-15 14:25:55 -07:00
Alan Mishchenko 5b6e5b8178 New command 'expand' to expand SOPs against the offset. 2016-05-12 22:41:20 -07:00
Alan Mishchenko c30819cb05 Cosmetic changes after incorporating new code of 'fxch'. 2016-05-11 19:59:56 -07:00
Alan Mishchenko 236d412255 Experiments with CEC for arithmetic circuits. 2016-05-07 19:47:02 -07:00
Alan Mishchenko 59f3389c9b Experiments with arithmetic circuits. 2016-04-28 20:54:38 -07:00
Alan Mishchenko 1b550cb87b Improved algo for edge computation. 2016-04-22 08:36:05 +03:00
Alan Mishchenko 2d6a6f6654 Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG (cubes -x; st). 2016-04-11 21:42:00 -07:00
Alan Mishchenko d0a0cf6395 Command &esop to convert AIG into ESOP. 2016-04-09 17:00:46 -07:00
Alan Mishchenko b31b6fec77 Supporting edge information during mapping. 2016-04-06 15:43:03 -07:00
Alan Mishchenko d53161a7e1 Enabling native Gia visualization in &show. 2016-04-03 15:42:08 -07:00
Alan Mishchenko 31430043c2 Windowing for technology mapping. 2016-03-29 20:16:30 -07:00
Alan Mishchenko 390a145f0a Adding support for a different bit-blasting of a multiplier and squarer. 2016-02-13 15:15:01 -08:00
Alan Mishchenko 67f4f1adae Experiments with SAT-based mapping. 2016-02-07 21:13:33 -08:00
Alan Mishchenko 951ca48b9c Small changes to sort for timing. 2016-01-24 15:32:12 -08:00
Alan Mishchenko 96d8f899d9 Extending and improving timing manager. 2015-11-08 11:44:37 -08:00
Alan Mishchenko cb50fadb55 Changes to VC6.0 makefile to accommodate new package 'opt/fret' and compiler warnings. 2015-10-28 20:18:21 -07:00