summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Expand)AuthorAgeFilesLines
...
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-141-7/+35
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-20/+15
* Various modifications.Alan Mishchenko2014-06-121-22/+47
* Enabling switching activity.Alan Mishchenko2014-06-121-2/+6
* Integrating recent changes.Alan Mishchenko2014-06-121-36/+22
* Adding switch to &st to convert to larger gates.Alan Mishchenko2014-06-111-5/+12
* Various modifications.Alan Mishchenko2014-06-101-2/+174
* Skip 'scorr' when the network has no primary inputs.Alan Mishchenko2014-06-091-0/+6
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-071-5/+9
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-072-12/+23
* Adding a feature to collapse hierarhical AIGs.Alan Mishchenko2014-06-051-4/+17
* Correcting switching activity computation.Alan Mishchenko2014-06-052-41/+34
* ciJiang Long2014-06-041-1/+1
* the latest versionJiang Long2014-06-043-6/+72
* merge unfold2Jiang Long2014-06-044-2/+195
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-2/+3
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+17
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+20
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-7/+19
* Adding CEC command &splitprove.Alan Mishchenko2014-06-021-0/+64
* Corner-cases in &gprove and &mprove.Alan Mishchenko2014-06-011-1/+11
* Allow delay increase to be negative in 'mfs2'.Alan Mishchenko2014-05-311-1/+1
* Fixing the problem with 'phase -c'.Alan Mishchenko2014-05-291-0/+12
* Experiment with support minimization.Alan Mishchenko2014-05-271-0/+7
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-231-38/+77
* Experiment with support minimization.Alan Mishchenko2014-05-221-2/+81
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-221-7/+8
* Simple version of ECO.Alan Mishchenko2014-05-211-2/+2
* Experiment with support minimization.Alan Mishchenko2014-05-211-5/+25
* Experiment with new idea for ISO.Alan Mishchenko2014-05-211-2/+3
* Simple version of ECO.Alan Mishchenko2014-05-211-2/+8
* Adding comment to usage message in 'pdr' regarding invariant dumped when init...Alan Mishchenko2014-05-201-1/+1
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-191-9/+12
* Adding symbolic fault representation in &fftest.Alan Mishchenko2014-05-141-29/+62
* Adding switch -C <num> to 'amap' to control max number of cuts at a node.Alan Mishchenko2014-05-091-2/+14
* Exploration of functions.Alan Mishchenko2014-04-281-4/+4
* Added dumping original object names into a file.Alan Mishchenko2014-04-261-0/+8
* Exploration of functions.Alan Mishchenko2014-04-261-3/+3
* Exploration of functions.Alan Mishchenko2014-04-261-0/+6
* Exploration of MFFCs.Alan Mishchenko2014-04-261-1/+3
* Added command 'cubeenum'.Alan Mishchenko2014-04-231-0/+53
* Experiments with permutations.Alan Mishchenko2014-04-231-1/+5
* Bug fix in if -g when choices are used.Alan Mishchenko2014-04-221-1/+1
* Experiments with permutations.Alan Mishchenko2014-04-211-0/+5
* Adding color to sizing stats.Alan Mishchenko2014-04-191-1/+11
* Added optimization for average rather than maximum delay.Alan Mishchenko2014-04-191-25/+9
* Added structural hashing by default after if -g and &if -g.Alan Mishchenko2014-04-191-2/+7
* Improvements to DSD balancing.Alan Mishchenko2014-04-191-1/+19
* Improvements to DSD balancing.Alan Mishchenko2014-04-192-6/+18
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-21 10:14:45 +0000