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

1401 Commits

Author SHA1 Message Date
Jerry James e195bf2f7e Fix a memset that doesn't zero enough bytes. 2019-05-08 19:17:49 -06:00
Alan Mishchenko d07608c052 Adding the possibility to specify file name in 'pdr'. 2019-04-22 12:14:31 -07:00
Alan Mishchenko fa8716152f Adding switch &st -s for MUX restructring. 2019-04-21 18:23:58 -07:00
Alan Mishchenko 14a1ea8447 Adding switch &st -s for MUX restructring. 2019-04-21 17:15:08 -07:00
Alan Mishchenko 3709744c60 Adding switch &dch -e to reduce equivalences. 2019-04-17 18:48:08 -07:00
Alan Mishchenko be3a8c3980 Enabling dumping of the library of minimum circuits. 2019-04-17 17:38:22 -07:00
Alan Mishchenko 3e9bc99e24 Adding new command handler for experimental procedures. 2019-04-17 14:54:35 -07:00
Alan Mishchenko bfefe96cad Adding clock enable extraction as command &put -e. 2019-04-14 13:13:03 -07:00
Alan Mishchenko 29c58e5ec8 Decoupling identical flop-input names in &put. 2019-04-10 23:01:11 -07:00
Alan Mishchenko 95a5e47b6b Extending generic simulation APIs. 2019-04-09 11:41:44 -07:00
Alan Mishchenko 45cdd5acaa Extending simulation interface. 2019-03-28 07:50:14 -07:00
Alan Mishchenko 5980562f28 Adding support for logging in command &gla. 2019-03-27 14:51:35 -07:00
Alan Mishchenko cde2830d7c Adding new command line args. 2019-03-18 13:29:36 +02:00
Alan Mishchenko 558eee987d Adding new command line args. 2019-03-13 18:49:25 +01:00
Alan Mishchenko 900fd5cc73 Adding logfile support to several commands. 2019-03-12 07:47:30 +01:00
Alan Mishchenko 20bb89485a Updated NPN classification code. 2019-03-08 21:08:43 +01:00
Alan Mishchenko ef599dca94 Updated functional enumation code. 2019-03-08 07:24:45 +01:00
Alan Mishchenko ee792bddb6 Updating canonical form computation procedures. 2019-03-05 21:40:59 -08:00
Alan Mishchenko 7143ad4d87 Adding switch -x to &ps to disable color printout. 2019-02-12 16:45:16 -08:00
Alan Mishchenko ed155f7f42 Adding new switch to simulation. 2019-01-29 09:43:02 -08:00
Alan Mishchenko f16012bc28 Adding new switch to simulation. 2019-01-29 09:08:54 -08:00
Alan Mishchenko b3d81b5f76 Exploring other ways of CEX writing. 2019-01-21 14:57:05 -08:00
Alan Mishchenko d96d3e3fd5 Changing default parameter values in the AIG generation code. 2019-01-18 17:39:09 -08:00
Alan Mishchenko 7786cb24ea Procedures to generate constant-argument multipliers. 2019-01-15 18:27:02 -08:00
Alan Mishchenko 36e5badf05 Procedure to trasnsform counter-examples. 2019-01-15 17:30:39 -08:00
Alan Mishchenko 1779f545e3 Procedures to generate constant-argument multipliers. 2019-01-15 15:37:39 -08:00
Alan Mishchenko 32a687baa8 Experiment with partitioned &scorr. 2019-01-15 14:31:03 -08:00
Alan Mishchenko f3ba29b302 Procedures to generate constant-argument multipliers. 2019-01-09 11:42:50 -08:00
Alan Mishchenko 65b10c0327 Experiments with retiming. 2018-12-04 23:04:13 -08:00
Alan Mishchenko 5aa3025ce7 Adding switch &w -n to modify the comment section of the AIGER file written. 2018-11-21 13:12:01 -08:00
Alan Mishchenko 6f0d808859 Various usability changes (second round). 2018-11-20 19:15:07 -08:00
Alan Mishchenko 12908d3c25 Various usability changes. 2018-11-18 21:01:30 -08:00
Alan Mishchenko 2ddc57d876 Adding dummy flop in 'pdr' when the network is comb. 2018-11-13 07:54:57 -08:00
Alan Mishchenko 9a59b2c2ef Compiler warning. 2018-11-11 23:08:16 -08:00
Alan Mishchenko e9c00fb024 Usability improvements to &fftest. 2018-11-11 23:06:05 -08:00
Alan Mishchenko 68da3cfd02 Added a passthrough in command 'fold' if there are no POs, only constraints. 2018-11-11 09:37:20 -08:00
Alan Mishchenko 684f1ec7a5 Fix timing info communication in GIA APIs. 2018-10-22 18:59:06 +07:00
alanminko 14d985a8c4
Merge pull request #13 from hriener/exorcism 
exorcism.
 2018-10-18 12:18:31 +02:00
Heinz Riener 95523936e9 &exorcism: read ESOP-PLA from file. 2018-10-17 17:02:43 +02:00
Alan Mishchenko c750544df6 Experiments with Boolean functions. 2018-10-02 08:33:25 -04:00
Alan Mishchenko 6f6dba429e Visualizingn BDDs without complemented edges in 'show_bdd'. 2018-09-30 23:37:02 -07:00
Alan Mishchenko 3e33c91c3d Adding command 'cof' to replace node by a constant (bug fix). 2018-09-28 10:09:19 -07:00
Alan Mishchenko a0413c9a1c Adding command 'cof' to replace node by a constant. 2018-09-27 14:49:29 -07:00
Alan Mishchenko 5528d1b17c Adding visualization of global BDDs in 'show_bdd'. 2018-09-27 14:11:31 -07:00
Alan Mishchenko 53ba28772e New APIs of the truth table package. 2018-09-21 18:20:46 -07:00
Alan Mishchenko 677c984e16 Expriments with functions. 2018-09-16 16:31:42 -07:00
Alan Mishchenko c9e520e2dc Expriments with functions. 2018-09-16 13:52:59 -07:00
Alan Mishchenko 1b82a38718 Expriments with functions (supporting symmetries). 2018-09-11 21:27:33 +03:00
Alan Mishchenko 13c883e15c Adding a warning about handling boxes in &mfs. 2018-09-11 12:18:15 +03:00
Alan Mishchenko d798d61637 Adding timeout to twoexact and lutexact. 2018-09-08 17:15:37 +03:00