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

4684 Commits

Author SHA1 Message Date
Alan Mishchenko 8654192586 Various changes. 2020-03-28 18:45:48 -07:00
Alan Mishchenko a277d450bf Experiments with simulation-based engines. 2020-03-25 12:17:12 -07:00
Alan Mishchenko c7bc6b6329 Experiments with simulation-based engines. 2020-03-22 19:39:00 -07:00
Alan Mishchenko a4518e6f83 Various changes. 2020-03-21 19:03:41 -07:00
Alan Mishchenko fb6e4ee290 Various changes. 2020-03-21 14:02:54 -07:00
Alan Mishchenko 6a6ffed8c5 Various changes. 2020-03-18 22:34:08 -07:00
Alan Mishchenko e72438b2d3 Downgrading random number generator to be not inlined. 2020-03-18 19:03:20 -07:00
Alan Mishchenko f8b1be8bbf Extending TT-based ISOP to handle ISFs. 2020-03-18 19:01:45 -07:00
Alan Mishchenko c54da1e990 Corner case bug fix in &sat -a. 2020-03-18 19:00:29 -07:00
Alan Mishchenko 488f949721 Adding limit on the number of live BDD nodes in command 'muxes -g'. 2020-03-14 16:29:15 +02:00
Alan Mishchenko 47c0f7840d Adding limit on the number of live BDD nodes in command 'muxes -g'. 2020-03-12 00:38:08 +02:00
Alan Mishchenko da5a7a235f Adding limit on the number of live BDD nodes in command 'muxes -g'. 2020-03-12 00:33:45 +02:00
Alan Mishchenko dc3a544b1f Ongoing changes to the simulator. 2020-03-09 15:02:31 +02:00
Alan Mishchenko c9bebe157b Ongoing changes to the simulator. 2020-03-09 13:16:22 +02:00
Alan Mishchenko a484c65b0b Adding dumping json file with statistics in &mltest. 2020-03-08 10:37:59 +02:00
Alan Mishchenko 79e298b2b3 Adding dumping json file with statistics in &mltest. 2020-03-07 21:48:32 -08:00
Alan Mishchenko 7ca64b3de5 Adding dumping json file with statistics in &mltest. 2020-03-07 21:29:57 -08:00
Alan Mishchenko 2855c94fc1 Corner-case bug-fix in retiming (corrected fix). 2020-03-06 13:59:53 -08:00
Alan Mishchenko 1a41d496df Corner-case bug-fix in retiming (undoing wrong fix). 2020-03-06 13:59:05 -08:00
Alan Mishchenko cca7e038f2 Corner-case bug-fix in retiming. 2020-03-06 13:41:45 -08:00
Alan Mishchenko f402d09c74 Updating and extending simulation data structures. 2020-03-06 13:12:00 -08:00
Alan Mishchenko ed90ce20df Updating and extending simulation data structures. 2020-03-05 14:43:40 -08:00
Alan Mishchenko 7efe9c1d65 Updating and extending simulation data structures. 2020-03-05 14:33:02 -08:00
Alan Mishchenko 4359311d44 Changes to the old parser. 2020-03-02 23:21:44 -08:00
Alan Mishchenko 73496629ec Several misc changes. 2020-03-01 19:03:39 -08:00
alanminko e87869b737
Merge pull request #66 from FPGeh/fix-and2delay 
&sweep and &mfs to preserve nAnd2Delay
 2020-03-01 17:53:13 -08:00
alanminko ce3ceda669
Merge pull request #69 from sterin/master 
travis-ci: macOS changes:
 2020-02-24 07:27:12 -08:00
Baruch Sterin a693af9f62 travis-ci: macOS changes: 
(1) updated to a newer macOS image
(2) switch to use the Homebrew addon instead of command line
 2020-02-24 10:31:43 +02:00
Alan Mishchenko f433931075 Adding commands to generate data for experiments. 2020-02-23 16:35:59 -08: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 b1802e4fdc Assertion failure in reading NDR. 2020-02-20 12:02:55 -08:00
Alan Mishchenko c086edaa9f Adding min-level merging of equivalence classes of AIG nodes. 2020-02-19 13:35:26 -08:00
Alan Mishchenko 081afc3fc5 Experimental simulation based code. 2020-02-06 15:20:00 -08:00
Alan Mishchenko 53f223806f Temporary commenting out of the assertion. 2020-02-06 14:58:54 -08:00
Eddie Hung 629ca03252 &sweep and &mfs to preserve nAnd2Delay 2020-01-27 13:02:57 -08:00
Alan Mishchenko 951afa27cb Cleaning up code and fixing for several typos. 2020-01-27 10:43:37 -08:00
Alan Mishchenko 8c8f39ad76 Adding several new utilities. 2020-01-27 10:32:07 -08:00
Alan Mishchenko 8eb6aed5d1 Adding a warning in retiming when no node delays are given. 2020-01-23 19:59:11 -08:00
Alan Mishchenko 62c4c8b243 Adding a warning in retiming when no node delays are given. 2020-01-23 19:47:49 -08:00
Alan Mishchenko afebb18041 Experiments with resubstitution. 2020-01-21 20:41:54 -08:00
Alan Mishchenko 07002bc9f9 Experiments with simulation patterns. 2020-01-20 21:41:36 -08:00
Alan Mishchenko 0e05d1487f Experiments with MUX restructuring. 2020-01-20 13:25:38 -08:00
Alan Mishchenko 632c7a7d89 Experiments with MUX restructuring. 2020-01-19 23:44:47 -08:00
Alan Mishchenko f1a3cffe59 Adding new command to generate specialized miter. 2020-01-19 02:18:32 -08:00
Alan Mishchenko 19b8d9bf7c Adding CNF variable mapping rules. 2020-01-18 16:42:02 -08:00
Alan Mishchenko 4853ae9cab Adding AIG stats logging (using JSON format). 2020-01-16 22:22:07 -08:00
Alan Mishchenko a7c9f6d12d Adding AIG stats logging. 2020-01-16 19:52:00 -08:00
Alan Mishchenko c32a2ece07 Adding switch -g to use global rather than local BDDs in 'muxes'. 2020-01-14 13:37:53 +02:00