summaryrefslogtreecommitdiffstats
path: root/abclib.dsp
Commit message (Collapse)AuthorAgeFilesLines
* New technology mapper.Alan Mishchenko2013-07-171-0/+4
|
* New technology mapper.Alan Mishchenko2013-07-131-0/+8
|
* New technology mapper.Alan Mishchenko2013-07-121-8/+52
|
* Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, ↵Alan Mishchenko2013-07-011-0/+4
| | | | and Karem Sakallah at U Michigan.
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-4/+0
|
* New features to debug an test tech-mapping with choices.Alan Mishchenko2013-06-241-0/+20
|
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-221-0/+4
|
* Integrating new MFS package with GIA manager.Alan Mishchenko2013-06-041-0/+4
|
* New DSD detection code.Alan Mishchenko2013-05-301-0/+4
|
* Multiplexer profiling.Alan Mishchenko2013-05-271-0/+4
|
* Counter-example depth minimization.Alan Mishchenko2013-05-221-0/+4
|
* New MFS package.Alan Mishchenko2013-05-121-3/+7
|
* Procedures for sorting fanins of the nodes.Alan Mishchenko2013-05-061-0/+28
|
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+4
|
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-0/+4
|
* New fast extract.Alan Mishchenko2013-04-271-0/+12
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-0/+32
|
* New MFS package.Alan Mishchenko2013-04-021-0/+32
|
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-0/+24
|
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-0/+4
|
* Started PO partitioning command.Alan Mishchenko2013-02-241-0/+4
|
* Adding STG generation (&era -d) and STG encoding (&read_stg <file>).Alan Mishchenko2013-02-191-0/+4
|
* Integrating sweeping information.Alan Mishchenko2013-02-181-0/+4
|
* Integration of timing manager.Alan Mishchenko2013-02-031-0/+4
|
* Technology mapper.Alan Mishchenko2013-01-081-0/+8
|
* New unrolling manager.Alan Mishchenko2012-12-241-0/+4
|
* Unifification of custom extensions.Alan Mishchenko2012-12-101-0/+4
|
* Retiring old 'fpga' command and package.Alan Mishchenko2012-12-101-8/+0
|
* Retiring old 'fpga' command and package.Alan Mishchenko2012-12-101-64/+0
|
* Adding box library.Alan Mishchenko2012-12-101-1/+9
|
* Removed useless code from the sizing package.Alan Mishchenko2012-12-041-8/+0
|
* Counter-example analysis and optimization.Alan Mishchenko2012-11-281-0/+4
|
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-20/+36
|
* DSD manager.Alan Mishchenko2012-11-131-0/+4
|
* Improved DSD.Alan Mishchenko2012-11-111-0/+4
|
* Improved DSD.Alan Mishchenko2012-11-101-0/+4
|
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-0/+4
|
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-0/+4
|
* Enumerating decompositions.Alan Mishchenko2012-10-291-0/+4
|
* Move truth table code into a separte file.Alan Mishchenko2012-10-281-0/+4
|
* Improvements to LMS code.Alan Mishchenko2012-10-271-0/+4
|
* Improvements to gate sizing.Alan Mishchenko2012-10-081-0/+8
|
* New AIG optimization package.Alan Mishchenko2012-10-061-0/+20
|
* Added command 'starter' to call ABC concurrently.Alan Mishchenko2012-10-021-0/+4
|
* Combined old reparametrization command with the new one.Alan Mishchenko2012-10-021-4/+4
|
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-0/+4
|
* Fixed several important problems in choice computation (command 'dch').Alan Mishchenko2012-10-011-8/+0
|
* Structural reparametrization.Alan Mishchenko2012-09-301-0/+4
|
* Experiments with mini AIG manager.Alan Mishchenko2012-09-291-4/+8
|
* Experiments with mini AIG manager.Alan Mishchenko2012-09-291-0/+4
|