summaryrefslogtreecommitdiffstats
path: root/src/opt/dau
Commit message (Collapse)AuthorAgeFilesLines
...
* Experiments with function enumeration.Alan Mishchenko2018-08-011-2/+2
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-1/+1
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-1/+3
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-7/+2
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-7/+11
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-5/+5
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-1/+6
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-2/+2
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-4/+5
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-4/+4
|
* Experiments with function enumeration.Alan Mishchenko2018-08-011-2/+6
|
* Experiments with function enumeration.Alan Mishchenko2018-08-012-0/+268
|
* Counting ones in truth table.Alan Mishchenko2018-07-214-15/+489
|
* Updating command 'majgen'.Alan Mishchenko2018-07-042-4/+52
|
* Compiler warnings.Alan Mishchenko2018-06-081-7/+7
|
* Adding new NPN code (compiler fix).Alan Mishchenko2018-03-251-9/+9
|
* Adding new NPN code (compiler fix).Alan Mishchenko2018-03-251-1/+1
|
* Adding new NPN code developed by XueGong Zhou at Fudan University.Alan Mishchenko2018-03-252-137/+1069
|
* Backing up node's truth-table to make sure it is not destroyed while ↵Alan Mishchenko2018-01-191-2/+4
| | | | deriving AIG.
* Changes to make GIA structural hashing use a dedicated array instead of ↵Alan Mishchenko2017-11-131-4/+4
| | | | pObj->Value.
* Maintenance and updates.Alan Mishchenko2017-09-181-82/+0
|
* Compiler warnings.Alan Mishchenko2017-07-221-1/+1
|
* Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
|
* Updates to delay optimization project.Alan Mishchenko2016-12-311-1/+1
|
* Updates to delay optimization project.Alan Mishchenko2016-12-291-1/+1
|
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-1/+1
|
* New SAT-based optimization package.Alan Mishchenko2016-12-041-2/+6
|
* New SAT-based optimization package.Alan Mishchenko2016-11-281-10/+32
|
* Windows complier errors.Alan Mishchenko2016-08-061-2/+2
|
* Return the class representative of each function.Ana Petkovska2016-06-181-15/+59
|
* Group based exact NPN classification.Ana Petkovska2016-06-181-2/+49
|
* New hierarchical TT NPN matching.Alan Mishchenko2016-02-262-0/+144
|
* Fixed a typo in variable names.Alan Mishchenko2015-02-071-1/+1
|
* Integrating barrier buffers.Alan Mishchenko2014-12-111-1/+8
|
* Synchronizing packages.Alan Mishchenko2014-09-201-1/+1
|
* Updates and changes to several packages.Alan Mishchenko2014-07-203-11/+90
|
* Small changes in several packages.Alan Mishchenko2014-07-181-1/+2
|
* Added delay-oriented balancing to unmapping in &st.Alan Mishchenko2014-06-191-7/+207
|
* Improvements to print-outs.Alan Mishchenko2014-03-102-2/+2
|
* Changes to LUT mappers.Alan Mishchenko2014-02-282-4/+11
|
* Changes to LUT mappers.Alan Mishchenko2014-02-271-0/+1
|
* Changes to LUT mappers.Alan Mishchenko2014-02-252-12/+22
|
* g++ compiler errors.Alan Mishchenko2014-02-253-3/+12
|
* Changes to LUT mappers.Alan Mishchenko2014-02-171-1/+1
|
* New canonical DSD form.Alan Mishchenko2013-12-021-0/+660
|
* Improvements to the canonical form computation.Alan Mishchenko2013-10-102-0/+100
|
* Towards better Boolean matching.Alan Mishchenko2013-10-101-2/+0
|
* Towards better Boolean matching.Alan Mishchenko2013-10-091-46/+269
|
* Towards better Boolean matching.Alan Mishchenko2013-10-091-5/+11
|
* Towards better Boolean matching.Alan Mishchenko2013-10-091-17/+53
|