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

419 Commits

Author SHA1 Message Date
Alan Mishchenko 82c84387fa Compiler warnings. 2023-07-18 10:11:29 -07:00
alanminko 233680f286
Merge pull request #220 from MyskYko/transduction 
Stochastic Transduction Script
 2023-05-10 12:09:45 -07:00
MyskYko fd5c1d2421 update dsp file 2023-05-06 04:18:28 -07:00
alanminko 38cd47b46c
Merge pull request #219 from MyskYko/transduction 
Transduction method
 2023-05-04 14:20:34 -04:00
MyskYko 323229a438 fix build 2023-05-02 17:27:01 -07:00
Alan Mishchenko b417061535 Updating VS Studio project file. 2023-04-25 13:21:22 -04:00
Alan Mishchenko 47c153629f Compiler warnings. 2022-09-19 15:57:48 -07:00
Alan Mishchenko ddb22f3bed Various changes. 2022-07-30 14:21:47 -07:00
Alan Mishchenko 8cf3f54208 Experiments with technology mapping. 2022-06-25 19:44:30 -07:00
Alan Mishchenko ae0f03f4a9 Adding command to check resub problem solution. 2022-06-10 14:06:23 -07:00
Alan Mishchenko 1f56f20e1b Experiments with SAT sweeping. 2022-04-24 09:29:52 -07:00
Alan Mishchenko 33fb7a809d Experiments with word-level data structures. 2022-02-16 21:23:21 -08:00
Alan Mishchenko 79f04c6653 Experiments with word-level data structures. 2022-01-21 11:09:10 -08:00
Alan Mishchenko fb248e1ca1 Adding new command %yosys. 2021-12-16 11:30:06 +07:00
Alan Mishchenko f0236d5ac1 Experiments with pattern generation. 2021-10-10 14:43:19 -07:00
Alan Mishchenko d514029e34 Experiments with SAT solving. 2021-10-09 15:16:18 -07:00
Alan Mishchenko 227b0c775b New command &stochsyn for stochastic synthesis. 2021-10-06 20:33:41 -07:00
Alan Mishchenko 674bcbee37 Various changes. 2021-09-30 18:02:33 -07:00
Alan Mishchenko 1e69e7e7d1 Adding command &reshape. 2021-09-21 10:22:40 -07:00
Alan Mishchenko a363256098 Removing unused command. 2021-09-21 10:08:04 -07:00
Alan Mishchenko 4da6cc8904 Improving AIG to Verilog converter. 2021-08-17 16:52:29 -07:00
Alan Mishchenko 0deb8bf632 Suggested changes to collect and pass timing information (compiler issues). 2021-08-12 18:26:37 -07:00
Alan Mishchenko 4116e13b5e Experiments with MUX decomposition. 2021-07-08 21:54:46 -07:00
Alan Mishchenko 5a135c8799 Experiments with MUX decomposition. 2021-07-08 21:42:15 -07:00
Alan Mishchenko 28ba2c5213 Adding place holder file for resub experiments. 2021-06-24 19:18:28 -07:00
Alan Mishchenko b4f099c511 Experiments with LUT mapping for small functions. 2021-06-19 19:26:41 -07:00
Alan Mishchenko 13a0bb97b5 Updating cost function in &save/&load. 2021-05-08 14:00:32 -07:00
Alan Mishchenko d0efef2fe9 Experiments with simulation. 2020-12-30 11:24:35 -08:00
Alan Mishchenko f06217e25a Compiler warnings. 2020-12-21 12:45:50 -08:00
Alan Mishchenko bab4c1ddfc Upgrading the SAT solvers. 2020-11-14 14:23:49 -08:00
Alan Mishchenko b3d3f7dd3a Duplicating Glucose package. 2020-11-12 23:57:46 -08:00
Alan Mishchenko 40bfe2fb88 Experiments with SAT sweeping. 2020-11-09 13:24:07 -08:00
Alan Mishchenko 0b734d10e0 Adding new resub code. 2020-07-08 10:56:59 -07:00
Alan Mishchenko 5a20a27c62 Extend ISOP to return the truth table. 2020-04-02 18:29:39 -07:00
Alan Mishchenko c8894603b2 Adding commands to generate data for experiments. 2020-02-22 13:13:30 -08:00
Alan Mishchenko d1f10f323c Adding commands to generate data for experiments. 2020-02-22 07:25:11 -08:00
Alan Mishchenko 3c586f886e Adding commands to generate data for experiments. 2020-02-21 13:40:50 -08:00
Alan Mishchenko 081afc3fc5 Experimental simulation based code. 2020-02-06 15:20:00 -08:00
Alan Mishchenko 53d4d6513c Adding experimental command. 2019-12-14 20:13:56 -08:00
Alan Mishchenko 5a1184460b Experiments with simulation. 2019-10-27 21:07:06 +02:00
Alan Mishchenko 3e9bc99e24 Adding new command handler for experimental procedures. 2019-04-17 14:54:35 -07:00
Alan Mishchenko 0699c43ac5 Experiments with memory abstraction. 2019-01-27 21:57:18 -08:00
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