summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Expand)AuthorAgeFilesLines
* Bug fix in gate-sizing.Alan Mishchenko2013-10-161-1/+5
* Improvements to buffering and sizing.Alan Mishchenko2013-10-138-33/+68
* Cleaning up buffering code.Alan Mishchenko2013-10-135-322/+107
* Normalization of slew/load values.Alan Mishchenko2013-10-138-112/+36
* Normalization of slew/load values.Alan Mishchenko2013-10-138-17/+95
* Improvements to buffering and sizing.Alan Mishchenko2013-10-123-50/+59
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-1/+1
* Preventing a bug in &if -z.Alan Mishchenko2013-10-091-1/+1
* Compiler warning.Alan Mishchenko2013-10-051-2/+2
* Towards better Boolean matching.Alan Mishchenko2013-10-051-2/+2
* Towards better Boolean matching.Alan Mishchenko2013-10-051-46/+250
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-022-5/+4
* Bug fixes in the library processing,.Alan Mishchenko2013-10-025-22/+55
* Changing default values.Alan Mishchenko2013-10-022-3/+3
* Changes in specialized matching.Alan Mishchenko2013-10-021-2/+2
* Changes in specialized matching.Alan Mishchenko2013-10-012-5/+4
* Changes in specialized matching.Alan Mishchenko2013-10-011-19/+27
* Checking decomposability of 5-input functions.Alan Mishchenko2013-09-281-1/+157
* Performance balancing command &b.Alan Mishchenko2013-09-271-1/+1
* Compiler warnings.Alan Mishchenko2013-09-251-2/+2
* Experiments with exact matching into LUT structures.Alan Mishchenko2013-09-232-0/+49
* Buf fix in Liberty parser.Alan Mishchenko2013-09-191-1/+1
* Integrating input driving cell constraint into buffering/sizing.Alan Mishchenko2013-09-174-3/+26
* Debugging and finetuning the flow.Alan Mishchenko2013-09-174-64/+88
* Debugging and finetuning the flow.Alan Mishchenko2013-09-171-1/+1
* Debugging and finetuning the flow.Alan Mishchenko2013-09-176-22/+62
* Adding commands to set and print timing constraints.Alan Mishchenko2013-09-175-38/+203
* Unifying standard cell library representations.Alan Mishchenko2013-09-179-101/+299
* Adding new switch to &if to relax the delay.Alan Mishchenko2013-09-162-7/+17
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-151-4/+4
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-151-2/+4
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-159-613/+2207
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+36
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-1/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-0/+6
* Removing some old useless code.Alan Mishchenko2013-09-023-60/+4
* Removing some old useless code.Alan Mishchenko2013-09-022-16/+15
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-292-4/+29
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-292-2/+16
* Adding code to count statistics about decomposable LUT5.Alan Mishchenko2013-08-183-0/+12
* Extending 'permute' to handle user-specified flop permutation.Alan Mishchenko2013-08-161-2/+2
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-3/+3
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-2/+2
* Enabling LUT decomposition in two special cases.Alan Mishchenko2013-08-141-2/+4
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-131-6/+6
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-1/+0
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-126-1/+477
* Integrated buffering and sizing.Alan Mishchenko2013-08-117-63/+89
* Integrated buffering and sizing.Alan Mishchenko2013-08-116-21/+44
* Integrated buffering and sizing.Alan Mishchenko2013-08-101-1/+1