summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
Commit message (Collapse)AuthorAgeFilesLines
* Preparing to work with C++ code.Alan Mishchenko2014-10-211-2/+10
|
* Adding commands backup/restore.Alan Mishchenko2014-10-211-0/+4
|
* Detection of threshold functions.Alan Mishchenko2014-10-081-0/+4
|
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-041-0/+4
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-2/+2
|
* Code restructuring.Alan Mishchenko2014-09-161-6/+10
|
* New word-level representation package.Alan Mishchenko2014-09-121-4/+32
|
* Bug fix in transferring timing info.Alan Mishchenko2014-09-091-0/+4
|
* Adding specialized matching to 'if'.Alan Mishchenko2014-08-161-0/+8
|
* Added DSD-based collapsing &dsd.Alan Mishchenko2014-08-161-0/+4
|
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-84/+0
|
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-0/+92
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-0/+4
|
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-211-0/+4
|
* Improvements to representation of choices.Alan Mishchenko2014-07-011-144/+0
|
* Improvements to representation of choices.Alan Mishchenko2014-07-011-0/+144
|
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-0/+4
|
* Experiments with balancing.Alan Mishchenko2014-06-221-0/+4
|
* Added quick GIG parser.Alan Mishchenko2014-06-191-0/+4
|
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-0/+4
|
* Various modifications.Alan Mishchenko2014-06-101-0/+4
|
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+4
|
* Experiment with support minimization.Alan Mishchenko2014-05-211-0/+12
|
* Exploration of functions.Alan Mishchenko2014-04-261-0/+4
|
* Exploration of MFFCs.Alan Mishchenko2014-04-261-0/+4
|
* Experiments with permutations.Alan Mishchenko2014-04-211-0/+8
|
* Command to test console colors.Alan Mishchenko2014-04-101-0/+4
|
* Adding command to dump UNSAT core of BMC instance.Alan Mishchenko2014-04-071-0/+4
|
* Implementation of DSD balancing.Alan Mishchenko2014-04-061-0/+4
|
* Preparing new implementation of SOP/DSD balancing in 'if' mapper.Alan Mishchenko2014-04-051-0/+4
|
* Better CEX minimization and renaming of write_counter into write_cex.Alan Mishchenko2014-04-041-0/+4
|
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+4
|
* Experiments with recent ideas.Alan Mishchenko2014-03-201-3/+7
|
* Experiments with cut caching.Alan Mishchenko2014-03-201-0/+4
|
* Experiments with recent ideas.Alan Mishchenko2014-03-191-152/+0
|
* Experiments with recent ideas.Alan Mishchenko2014-03-191-0/+156
|
* Experiments with recent ideas.Alan Mishchenko2014-03-181-0/+4
|
* Adding barrier buffers.Alan Mishchenko2014-03-161-0/+4
|
* Experiments with simulation.Alan Mishchenko2014-03-141-0/+4
|
* Changes to LUT mappers.Alan Mishchenko2014-03-081-0/+4
|
* Experiments with delay fault testing.Alan Mishchenko2014-03-041-0/+4
|
* Changes to LUT mappers.Alan Mishchenko2014-02-271-0/+4
|
* Changes to LUT mappers.Alan Mishchenko2014-02-171-0/+4
|
* Removing unused LMS code.Alan Mishchenko2014-02-161-8/+0
|
* Initial new interpolation code.Alan Mishchenko2014-01-281-0/+4
|
* Structural mapper into structures.Alan Mishchenko2013-11-121-0/+4
|
* False path detection.Alan Mishchenko2013-10-311-0/+4
|
* Specialized induction check.Alan Mishchenko2013-10-311-0/+4
|
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+4
|
* Resubstitution code.Alan Mishchenko2013-10-061-0/+4
|