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

3271 Commits

Author SHA1 Message Date
Baruch Sterin d944384d9e Makefile: add ABC_MAKE_VERBOSE flag to print the acutall commands executed. 2015-10-16 16:44:59 -07:00
Baruch Sterin 824584ff44 Makefile: make namespaces/readline/threads/cudd options easier to use 2015-10-16 16:27:59 -07:00
Baruch Sterin 0e1eb98988 make sure all of ABC and related libraries are in the same namespace (when compiled with ABC_NAMESPACE) by removing extern "C" from function definitions 2015-10-16 14:02:38 -07:00
Baruch Sterin 8810ef12da Fix C++ compilation errors 2015-10-16 14:02:30 -07:00
Alan Mishchenko 8268553369 Experiments with precomputation and matching. 2015-10-16 10:36:53 -07:00
Alan Mishchenko 40bb7089da Experiments with precomputation and matching. 2015-10-15 18:50:03 -07:00
Alan Mishchenko 15a86aefd2 Experiments with precomputation and matching. 2015-10-15 15:32:36 -07:00
Alan Mishchenko 01fc95695c Experiments with precomputation and matching. 2015-10-14 18:45:40 -07:00
Alan Mishchenko b5e0b7d4fc Experiments with precomputation and matching. 2015-10-13 18:48:38 -07:00
Alan Mishchenko 9df63f5291 Experiments with precomputation and matching. 2015-10-13 15:11:08 -07:00
Alan Mishchenko 20c46b5a45 Experiments with precomputation and matching. 2015-10-12 18:29:15 -07:00
Alan Mishchenko d25473b307 Experiments with functional matching. 2015-10-09 11:05:35 -07:00
Alan Mishchenko 1ca82c87b4 Experiments with functional matching. 2015-10-08 23:27:56 -07:00
Alan Mishchenko 46223f903b Two fixes in 'dsd_filter'. 2015-10-07 17:48:07 -07:00
Alan Mishchenko a2692b70fb New switch 'satclp -r' to reverse variable order. 2015-10-07 17:35:36 -07:00
Alan Mishchenko b19d09f04c Bug fix in 'if -g' (incorrect use of a macro). 2015-10-07 08:37:25 -07:00
Alan Mishchenko 72f4dfff1b Experiments with functional matching. 2015-10-05 16:10:57 -07:00
Alan Mishchenko a1e9f668a8 Adding support for black boxes in extended AIG. 2015-10-04 17:45:24 -07:00
Alan Mishchenko 26dc25b7f5 Adding support for flop init-states in extended AIG. 2015-10-04 09:51:57 -07:00
Alan Mishchenko 7d9e3c2ffe Experiments with functional matching. 2015-10-03 06:57:17 -07:00
Alan Mishchenko ac16c95706 Bug fix in propagating required times in &nf (another issue). 2015-10-01 13:52:08 -07:00
Alan Mishchenko d76a96d22f Bug fix in propagating required times in &nf. 2015-10-01 11:47:58 -07:00
Alan Mishchenko 0e0f2e64af Naive LUT packing algorithm (command &pack). 2015-09-30 20:21:40 -07:00
Alan Mishchenko 10c31c6576 Experiments with LUT structure mapping. 2015-09-30 18:07:54 -07:00
Alan Mishchenko bc1eae790b Experiments with LUT structure mapping. 2015-09-29 20:05:27 -07:00
Alan Mishchenko d4d1ae9869 Experiments with LUT structure mapping. 2015-09-29 19:23:01 -07:00
Alan Mishchenko b01b47e571 Experiments with LUT structure mapping. 2015-09-28 21:43:02 -07:00
Alan Mishchenko ac6066dce1 Experiments with LUT structure mapping. 2015-09-28 20:49:45 -07:00
Alan Mishchenko 1ba9536c00 Experiments with LUT structure mapping. 2015-09-27 19:18:23 -07:00
Alan Mishchenko 1ba16ff782 Experiments with LUT structure mapping. 2015-09-27 19:16:08 -07:00
Alan Mishchenko e3eea01dbb Bug fix in &nf and in propagating timing info. 2015-09-27 15:23:06 -07:00
Alan Mishchenko d49bb36654 New command &rexwalk. 2015-09-26 14:56:43 -07:00
Alan Mishchenko d0af09a209 New command &rexwalk. 2015-09-26 14:55:07 -07:00
Alan Mishchenko 62e5ff900e Bug fix in 'satclp'. 2015-09-26 08:57:32 -07:00
Alan Mishchenko 78951b4c6f Improvements to Scl_Lib/SC_Cell data-structure. 2015-09-24 12:12:36 -07:00
Alan Mishchenko 3f77172a7e Adding API to set the number of flops after reading MiniAIG. 2015-09-24 09:47:05 -07:00
Alan Mishchenko f1bc346894 Several bug-fixed related to synthesis, library handling, and timimg info. 2015-09-23 18:44:07 -07:00
Alan Mishchenko a84c8174e7 Improving bit-blasting of full-adder. 2015-09-23 16:04:06 -07:00
Alan Mishchenko 19a4bb930e Threshold logic checking code by Augusto Neutzling and Jody Matos. 2015-09-23 15:24:25 -07:00
Alan Mishchenko 643aef2ecd Bug fix in &rex2gia. 2015-09-23 13:23:33 -07:00
Alan Mishchenko bfebc0751c Fixing corner-cases in 'tempor' and in 'unfold'. 2015-09-22 19:51:24 -07:00
Alan Mishchenko edf6c13721 Adding new command &rex2gia. 2015-09-22 18:43:12 -07:00
Alan Mishchenko 7a85a0ee8d Improvements to &b -das. 2015-09-18 18:29:00 -07:00
Alan Mishchenko 815dfdc0c4 Adding switch to &b to prevent dumplicated area when used in delay-mode (&b -da). 2015-09-18 09:50:22 -07:00
Alan Mishchenko 37a5a36cf9 Commenting out assertion in &b, which does not hold. 2015-09-18 09:34:36 -07:00
Alan Mishchenko f06ca216ab Tuning SAT solver for QBF instances. 2015-09-18 09:05:27 -07:00
Alan Mishchenko fdf00d8044 Tuning SAT solver for QBF instances. 2015-09-18 08:38:53 -07:00
Alan Mishchenko 3b838b953d Tuning SAT solver for QBF instances. 2015-09-18 08:10:18 -07:00
Alan Mishchenko c30a0af71c Improvements to QBF solver; new quantification command &qvar. 2015-09-18 05:05:22 -07:00
Alan Mishchenko 97751e43b7 New constraint manager and memory reporting 'ps'. 2015-09-08 19:53:49 -07:00