summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Added support of word-level MUXes represented as 'always'-statements.Alan Mishchenko2014-09-241-2/+2
|
* Added support of word-level MUXes represented as 'always'-statements.Alan Mishchenko2014-09-243-18/+167
|
* Enables dumping stats into a file.Alan Mishchenko2014-09-232-1/+15
|
* Extending &cec to take a single-output miter (usage of switch -d has changed!).Alan Mishchenko2014-09-233-10/+50
|
* Debugging the bit-blaster.Alan Mishchenko2014-09-231-1/+15
|
* Debugging the bit-blaster.Alan Mishchenko2014-09-232-8/+28
|
* Adding switch to enable SOP balancing in '&flow2'.Alan Mishchenko2014-09-212-14/+30
|
* Tuning the flow scripts.Alan Mishchenko2014-09-201-1/+1
|
* Extending resource limit.Alan Mishchenko2014-09-201-2/+2
|
* Tuning the flow scripts.Alan Mishchenko2014-09-202-5/+70
|
* Synchronizing packages.Alan Mishchenko2014-09-203-6/+6
|
* Synchronizing packages.Alan Mishchenko2014-09-201-0/+2
|
* Synchronizing packages.Alan Mishchenko2014-09-202-3/+3
|
* Synchronizing packages.Alan Mishchenko2014-09-202-1/+3
|
* Updating command 'dsd_clean'.Alan Mishchenko2014-09-204-10/+45
|
* Tuning the flow scripts.Alan Mishchenko2014-09-202-141/+248
|
* 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-198-88/+563
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-183-10/+26
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-185-19/+57
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-14/+29
|
* Improving DSD manager.Alan Mishchenko2014-09-183-6/+89
|
* Concurrency for Boolean matching.Alan Mishchenko2014-09-1810-65/+331
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-174-64/+220
|
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-172-3/+4
|
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-175-230/+488
|
* Spurious assertion.Alan Mishchenko2014-09-171-1/+1
|
* Improvements to word-level Verilog parser.Alan Mishchenko2014-09-165-78/+277
|
* Support for leakage power in Liberty parser and sizer.Alan Mishchenko2014-09-165-5/+122
|
* New choice computation.Alan Mishchenko2014-09-163-22/+197
|
* Code restructuring.Alan Mishchenko2014-09-166-316/+422
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-162-201/+568
|
* Compiler error (duplicate typedef).Alan Mishchenko2014-09-151-1/+0
|
* Compiler warnings.Alan Mishchenko2014-09-124-47/+47
|
* Replacing tabs with spaces.Alan Mishchenko2014-09-121-1/+1
|
* New word-level representation package.Alan Mishchenko2014-09-1213-61/+2243
|
* Resetting the random seed in 'sparsify'.Alan Mishchenko2014-09-111-0/+1
|
* Updating timing info during normalization.Alan Mishchenko2014-09-101-1/+1
|
* Updating timing info during normalization.Alan Mishchenko2014-09-101-1/+3
|
* Bug fix in transferring timing info.Alan Mishchenko2014-09-093-6/+63
|
* Corner-case bug fix in balancing.Alan Mishchenko2014-09-081-0/+2
|
* Added command 'move_names'.Alan Mishchenko2014-08-281-1/+1
|
* Added command 'move_names'.Alan Mishchenko2014-08-282-0/+106
|
* Tuning LUT mapping flow.Alan Mishchenko2014-08-282-1/+5
|
* Tuning LUT mapping flow.Alan Mishchenko2014-08-272-4/+6
|
* Compiler warning.Alan Mishchenko2014-08-271-2/+2
|
* Tuning LUT mapping flow.Alan Mishchenko2014-08-272-0/+254
|
* Improvements BLIF parser.Alan Mishchenko2014-08-273-4/+130
|
* Improvements to DSD balancing.Alan Mishchenko2014-08-276-43/+109
|