summaryrefslogtreecommitdiffstats
path: root/src/base/abci
Commit message (Collapse)AuthorAgeFilesLines
* Improvements to buffering and sizing.Alan Mishchenko2013-08-092-1/+7
|
* SAT solver with dynamic CNF loading.Alan Mishchenko2013-08-011-0/+86
|
* Parametrizing standard-cell mapper to account for the fanout delay.Alan Mishchenko2013-07-302-6/+21
|
* Compiler warning.Alan Mishchenko2013-07-291-1/+1
|
* Adding support for input slew and output capacitance to timer and gate-sizer ↵Alan Mishchenko2013-07-241-0/+24
| | | | (bug fix).
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-242-17/+51
|
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-231-16/+28
|
* Bug fix and warning print.Alan Mishchenko2013-07-221-2/+42
|
* Memory leaks.Alan Mishchenko2013-07-211-8/+4
|
* Adding support for input slew and output capacitance to timer and gate-sizer.Alan Mishchenko2013-07-211-2/+2
|
* Adding support for input slew (.input_drive) and output capacitance ↵Alan Mishchenko2013-07-213-111/+159
| | | | (.output_load) in BLIF reader/writer.
* New technology mapper.Alan Mishchenko2013-07-181-4/+8
|
* New technology mapper.Alan Mishchenko2013-07-171-11/+48
|
* Improved printout of XOR/MUX/AND in 'print_stats'.Alan Mishchenko2013-07-161-12/+18
|
* Imporvements to 'eliminate'.Alan Mishchenko2013-07-161-6/+20
|
* New technology mapper.Alan Mishchenko2013-07-152-3/+17
|
* New technology mapper.Alan Mishchenko2013-07-141-2/+2
|
* New technology mapper.Alan Mishchenko2013-07-142-4/+23
|
* New technology mapper.Alan Mishchenko2013-07-131-3/+8
|
* New technology mapper.Alan Mishchenko2013-07-131-2/+6
|
* New technology mapper.Alan Mishchenko2013-07-131-1/+1
|
* New technology mapper.Alan Mishchenko2013-07-121-4/+33
|
* Compiler warnings.Alan Mishchenko2013-07-121-1/+1
|
* Compiler warnings.Alan Mishchenko2013-07-122-24/+24
|
* New technology mapper.Alan Mishchenko2013-07-121-8/+85
|
* Compiler problem.Alan Mishchenko2013-07-012-150/+150
|
* Compiler problem.Alan Mishchenko2013-07-011-20/+20
|
* Fixing a typo.Alan Mishchenko2013-07-011-1/+1
|
* Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, ↵Alan Mishchenko2013-07-013-0/+3614
| | | | and Karem Sakallah at U Michigan.
* Updating new mapper.Alan Mishchenko2013-06-291-4/+5
|
* Adding timeout to command 'ind'.Alan Mishchenko2013-06-282-8/+22
|
* Data-structure experiment.Alan Mishchenko2013-06-271-4/+4
|
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-253-9/+118
|
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-1/+1
|
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-252-6/+20
|
* Improving CEC (command 'dcec') by integrating XOR balancing.Alan Mishchenko2013-06-251-3/+3
|
* New random FSM generation command 'genfsm'.Alan Mishchenko2013-06-222-0/+220
|
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-223-0/+521
|
* Compiler warnings.Alan Mishchenko2013-06-181-1/+1
|
* New MFS package.Alan Mishchenko2013-05-311-12/+4
|
* New MFS package.Alan Mishchenko2013-05-311-2/+14
|
* New MFS package.Alan Mishchenko2013-05-301-2/+6
|
* Multiplexer profiling.Alan Mishchenko2013-05-271-4/+6
|
* Moving one declaration to the header file.Alan Mishchenko2013-05-272-4/+0
|
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2741-509/+509
|
* Several small changes to the MFS packages.Alan Mishchenko2013-05-272-4/+5
|
* Added switch -M to set max size of two-cube divisors to extract (often helps ↵Alan Mishchenko2013-05-273-13/+31
| | | | both runtime and quality).
* New MFS package.Alan Mishchenko2013-05-271-3/+7
|
* New MFS package.Alan Mishchenko2013-05-261-4/+5
|
* New MFS package.Alan Mishchenko2013-05-262-36/+26
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-15 02:05:52 +0000