summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMan.c
Commit message (Expand)AuthorAgeFilesLines
* Experiments with SAT-based simulation.Alan Mishchenko2018-01-231-0/+2
* Improvements to AIG-based quantification.Alan Mishchenko2017-11-261-0/+1
* Extracting CSAT interface and several cleanups.Alan Mishchenko2017-11-131-1/+1
* Changes to make GIA structural hashing use a dedicated array instead of pObj-...Alan Mishchenko2017-11-131-2/+4
* Improvements to quantification.Alan Mishchenko2017-11-131-0/+2
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-0/+1
* Small fix. Garanteeing pPars is not NULL before checking pPars->fSlacksBruno Schmitt2017-10-241-1/+1
* Adding printout of slack distribution for mapped networks.Alan Mishchenko2017-10-021-0/+320
* Supporting CO attributes in GIA.Alan Mishchenko2017-07-121-0/+1
* Synchronizing various data-structures.Alan Mishchenko2017-07-041-0/+3
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-0/+2
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-111-0/+1
* Experimental algorithm for edge optimization.Alan Mishchenko2016-04-131-0/+2
* Supporting edge information during mapping.Alan Mishchenko2016-04-111-1/+1
* Supporting edge information during mapping.Alan Mishchenko2016-04-061-0/+26
* Windowing for technology mapping.Alan Mishchenko2016-03-301-0/+1
* Windowing for technology mapping.Alan Mishchenko2016-03-291-1/+1
* Adding support for black boxes in extended AIG.Alan Mishchenko2015-10-041-0/+2
* Adding support for flop init-states in extended AIG.Alan Mishchenko2015-10-041-0/+1
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-0/+7
* Support for representing programmable cell configuration data.Alan Mishchenko2015-03-081-0/+2
* Diabling pin-permutation in &nf mapper.Alan Mishchenko2015-02-081-0/+1
* Integrating barrier buffers.Alan Mishchenko2014-12-081-0/+2
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-1/+1
* Adding integrity check for boxes and flops.Alan Mishchenko2014-11-251-4/+17
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-251-1/+1
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-241-5/+7
* Fix in reading flop classes.Alan Mishchenko2014-11-211-8/+7
* Fix in reading flop classes.Alan Mishchenko2014-11-211-1/+7
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-161-0/+1
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-101-0/+1
* Improvements to DSD balancing.Alan Mishchenko2014-08-271-1/+1
* Improvements to the timing manager.Alan Mishchenko2014-08-251-2/+4
* Adding support for standard-cell mapping.Alan Mishchenko2014-07-281-0/+1
* Improvements to representation of choices.Alan Mishchenko2014-07-011-4/+2
* Improvements to power-aware mapping.Alan Mishchenko2014-06-231-5/+9
* Experiments with balancing.Alan Mishchenko2014-06-221-1/+1
* New tools for profiling verification miters.Alan Mishchenko2014-06-201-0/+39
* Various modifications.Alan Mishchenko2014-06-121-24/+5
* Various modifications.Alan Mishchenko2014-06-101-3/+18
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+1
* Adding color to sizing stats.Alan Mishchenko2014-04-191-0/+7
* Adding color to mapping stats.Alan Mishchenko2014-04-191-0/+17
* Adding print-out of average level.Alan Mishchenko2014-04-191-1/+4
* Experiments with recent ideas.Alan Mishchenko2014-03-201-6/+14
* Experiments with recent ideas.Alan Mishchenko2014-03-191-0/+39
* Experiments with recent ideas.Alan Mishchenko2014-03-191-0/+1
* Passing file name for stats print-out in &ps.Alan Mishchenko2014-03-091-1/+1
* Improving switching activity computation.Alan Mishchenko2013-12-261-0/+1
* New BMC engine.Alan Mishchenko2013-10-271-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-05 00:43:22 +0000