summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/gia.h
Commit message (Expand)AuthorAgeFilesLines
* Experiments with technology mapping.Alan Mishchenko2014-03-291-0/+1
* Experiments with mapping.Alan Mishchenko2014-03-231-0/+1
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+1
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+1
* Experiments with recent ideas.Alan Mishchenko2014-03-191-0/+1
* Experiments with simulation.Alan Mishchenko2014-03-141-5/+12
* Passing file name for stats print-out in &ps.Alan Mishchenko2014-03-091-2/+2
* Improving switching activity computation.Alan Mishchenko2013-12-261-0/+2
* New command &write_cnf.Alan Mishchenko2013-12-181-0/+1
* Sweeper internal dumping.Alan Mishchenko2013-11-011-0/+1
* Sweeper internal verification.Alan Mishchenko2013-11-011-1/+1
* Sweeper internal verification and new switch for &cfraig.Alan Mishchenko2013-11-011-1/+1
* Sweeper internal verification.Alan Mishchenko2013-11-011-1/+1
* Sweeper condition complement bug-fix and code for internal verification.Alan Mishchenko2013-11-011-1/+2
* Sweeper return value normalization.Alan Mishchenko2013-11-011-0/+1
* GIA sweeper: adding APIs to return valid probe ID and run a command line.Alan Mishchenko2013-10-311-0/+2
* Specialized induction check.Alan Mishchenko2013-10-311-1/+2
* GIA sweeper interface update.Alan Mishchenko2013-10-301-1/+1
* GIA sweeper interface update.Alan Mishchenko2013-10-301-2/+2
* New BMC engine.Alan Mishchenko2013-10-271-0/+1
* Multi-output property solver.Alan Mishchenko2013-10-231-0/+1
* Adding new synthesis scripts.Alan Mishchenko2013-10-231-0/+5
* More accurate level calculation in AIG balancing.Alan Mishchenko2013-10-221-0/+2
* Towards better Boolean matching.Alan Mishchenko2013-10-051-1/+2
* Bug fix and performance improvement in &iso.Alan Mishchenko2013-10-031-1/+1
* Changing default values.Alan Mishchenko2013-09-301-0/+2
* Improvements to truth table computation.Alan Mishchenko2013-09-301-2/+6
* New logic sharing extraction.Alan Mishchenko2013-09-291-5/+5
* Changing default values.Alan Mishchenko2013-09-281-1/+1
* New logic sharing extraction.Alan Mishchenko2013-09-281-1/+1
* New logic sharing extraction.Alan Mishchenko2013-09-281-1/+3
* Performance balancing command &b.Alan Mishchenko2013-09-271-2/+12
* Performance improvements in GIA package.Alan Mishchenko2013-09-271-7/+8
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-271-0/+1
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-251-0/+1
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-0/+12
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-3/+6
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+1
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-111-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-0/+1
* Improvements to the &ps.Alan Mishchenko2013-09-081-0/+2
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-0/+2
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-12/+46
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+10
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-0/+1
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-0/+1
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-0/+1
* New technology mapper.Alan Mishchenko2013-07-131-0/+3
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-14/+7
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 20:20:34 +0000