summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Collapse)AuthorAgeFilesLines
* Integrating barrier buffers.Alan Mishchenko2014-12-135-10/+76
|
* Adding new mapping feature.Alan Mishchenko2014-12-114-18/+56
|
* Integrating barrier buffers.Alan Mishchenko2014-12-081-0/+8
|
* Bug fix in truth table computation.Alan Mishchenko2014-10-151-11/+9
|
* Recommended changes for portability.Alan Mishchenko2014-10-121-1/+1
|
* MUX decomposition during mapping.Alan Mishchenko2014-10-111-1/+0
|
* Deriving network in terms of programmable cells.Alan Mishchenko2014-10-111-1/+2
|
* Suggested patch for type-punned warningsAlan Mishchenko2014-10-101-3/+6
|
* Small changes.Alan Mishchenko2014-10-081-0/+2
|
* Compiler warnings.Alan Mishchenko2014-10-082-1/+3
|
* Detection of threshold functions.Alan Mishchenko2014-10-082-0/+74
|
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-041-2/+9
|
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-043-15/+126
|
* Deriving AIG after cell mapping.Alan Mishchenko2014-10-032-0/+11
|
* Synchronizing packages.Alan Mishchenko2014-09-201-0/+2
|
* Synchronizing packages.Alan Mishchenko2014-09-202-3/+3
|
* Synchronizing packages.Alan Mishchenko2014-09-201-0/+2
|
* Updating command 'dsd_clean'.Alan Mishchenko2014-09-203-3/+16
|
* Updating DSD balance to handle XOR gate as having the same delay as AND gate.Alan Mishchenko2014-09-194-10/+11
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-192-33/+98
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-196-66/+474
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-182-6/+22
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-184-5/+29
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-14/+29
|
* Improving DSD manager.Alan Mishchenko2014-09-182-0/+69
|
* Concurrency for Boolean matching.Alan Mishchenko2014-09-184-47/+263
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-173-60/+191
|
* Support for leakage power in Liberty parser and sizer.Alan Mishchenko2014-09-165-5/+122
|
* New choice computation.Alan Mishchenko2014-09-161-9/+9
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-161-201/+554
|
* Improvements to the timing manager.Alan Mishchenko2014-08-251-2/+2
|
* Correcting incorrect handling of timing in several &-commands.Alan Mishchenko2014-08-251-1/+1
|
* Adding specialized matching to 'if'.Alan Mishchenko2014-08-161-1/+1
|
* Adding specialized matching to 'if'.Alan Mishchenko2014-08-164-0/+130
|
* Suggested fix to allow .constr files to have empty lines.Alan Mishchenko2014-08-131-0/+2
|
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-041-0/+69
|
* Compiler warnings.Alan Mishchenko2014-08-042-1/+2
|
* Profiling code for SOP/DSD/LMS balancing.Alan Mishchenko2014-08-022-0/+50
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-1/+1
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-0/+145
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-256-10/+163
|
* Fixing option 'if -G <num>' after changes.Alan Mishchenko2014-07-253-10/+10
|
* Undoing previous change to SOP balancing.Alan Mishchenko2014-07-221-6/+6
|
* Small improvement to SOP balancing.Alan Mishchenko2014-07-221-4/+16
|
* Adding new command &sopb for resource-aware SOP balancing.Alan Mishchenko2014-07-212-0/+34
|
* Improvements to representation of choices.Alan Mishchenko2014-07-011-2/+2
|
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-0/+22
|
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-2/+2
|
* Various modifications.Alan Mishchenko2014-06-124-7/+12
|
* Commented out some assertions inAlan Mishchenko2014-06-071-8/+8
| | | | 'map'.