summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaHash.c
Commit message (Collapse)AuthorAgeFilesLines
* Support of pair-wise miter and other changes.Alan Mishchenko2021-08-221-0/+322
|
* Adding miter construction with one bit-level output for each pair of ↵Alan Mishchenko2019-04-141-1/+1
| | | | word-level outputs (small fix).
* Adding miter construction with one bit-level output for each pair of ↵Alan Mishchenko2019-04-141-0/+7
| | | | word-level outputs.
* Changes to make GIA structural hashing use a dedicated array instead of ↵Alan Mishchenko2017-11-131-61/+62
| | | | pObj->Value.
* Improvements to SAT based SOP computation.Alan Mishchenko2017-10-061-0/+7
|
* Small changes for today's experiments.Alan Mishchenko2016-06-031-5/+5
|
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-12/+22
|
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-201-1/+5
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-0/+1
|
* Improvements to &b -das.Alan Mishchenko2015-09-181-3/+7
|
* Integrating barrier buffers.Alan Mishchenko2014-12-111-0/+3
|
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-101-1/+1
|
* Adding MAJ gate to GIA package.Alan Mishchenko2014-10-261-0/+19
|
* New logic sharing extraction.Alan Mishchenko2013-09-281-0/+4
|
* New logic sharing extraction.Alan Mishchenko2013-09-281-0/+6
|
* Performance improvements in GIA package.Alan Mishchenko2013-09-271-3/+8
|
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-34/+121
|
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-171-1/+1
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-0/+31
|
* Extending GIA to represent pintypes and pins.Alan Mishchenko2012-11-121-1/+1
|
* Enabled recording the name of the file GIA is coming from.Alan Mishchenko2012-09-041-0/+1
|
* Updated code for lazy man's synthesis (memory optimization).Alan Mishchenko2012-07-201-1/+1
|
* Added several new APIs to GIA and for file management.Alan Mishchenko2012-03-301-0/+4
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-23/+23
|
* New hierarchy manager.Alan Mishchenko2012-01-171-2/+2
|
* Removing additional printout in the GIA package.Alan Mishchenko2012-01-161-15/+5
|
* New hierarchy manager plus additional printout in the GIA package.Alan Mishchenko2012-01-161-0/+14
|
* Added counting hits and misses during structural hashing.Alan Mishchenko2012-01-131-1/+5
|
* initial commit of public abcAlan Mishchenko2010-11-011-1/+26
|
* Version abc90408Alan Mishchenko2009-04-081-12/+21
|
* Version abc90329Alan Mishchenko2009-03-291-1/+29
|
* Version abc90220Alan Mishchenko2009-02-201-0/+18
|
* Version abc90215Alan Mishchenko2009-02-151-0/+541