summaryrefslogtreecommitdiffstats
path: root/src/map/mio
Commit message (Collapse)AuthorAgeFilesLines
...
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-261-0/+145
|
* Generating abstraction of standard cell library.Alan Mishchenko2014-07-256-10/+163
|
* Bug fix in technology mapper.Alan Mishchenko2013-11-241-4/+13
|
* Several changes to allow Liberty files without delay info.Alan Mishchenko2013-11-211-0/+1
|
* Improvements to buffering and sizing.Alan Mishchenko2013-10-131-1/+1
|
* Integrating synthesis into the new BMC engine.Alan Mishchenko2013-10-021-4/+3
|
* Bug fixes in the library processing,.Alan Mishchenko2013-10-021-6/+10
|
* Unifying standard cell library representations.Alan Mishchenko2013-09-173-5/+39
|
* Infrastructure to support full Liberty format and unitification of library ↵Alan Mishchenko2013-09-153-3/+5
| | | | representations.
* Improved gate-sizing.Alan Mishchenko2013-07-292-0/+10
|
* Tuning standard-cell mapping flow.Alan Mishchenko2013-07-242-47/+69
|
* Small changes to the printout in timing analysis.Alan Mishchenko2013-07-191-1/+1
|
* Modified SCL gate library to read/write gate formula.Alan Mishchenko2013-03-264-2/+102
|
* Fixing compilation problems on Linux-32 related to constants of type ↵Alan Mishchenko2013-01-303-10/+10
| | | | unsigned long long.
* Changes several defaults of 'super' to be infinite.Alan Mishchenko2012-10-013-12/+11
|
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-295-21/+21
|
* Cleaned up interfaces of genlib/liberty/supergate reading/writing.Alan Mishchenko2012-09-253-12/+14
|
* Cleaned up interfaces of genlib/liberty/supergate reading/writing.Alan Mishchenko2012-09-253-218/+183
|
* Changed printouts in a few places in supergate computation.Alan Mishchenko2012-09-242-2/+5
|
* Added switch '-E <filename>' to 'read_library' to exclude gates listed while ↵Alan Mishchenko2012-09-211-35/+44
| | | | reading a Genlib file.
* Modified 'read' to read all types of libraries (genlib, liberty, scl).Alan Mishchenko2012-09-201-2/+5
|
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-192-6/+6
|
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-194-3/+88
|
* Extending Liberty parser to handle multi-output cells.Alan Mishchenko2012-09-191-0/+2
|
* Extending BLIF parser/write to hangle multi-output cells.Alan Mishchenko2012-09-194-32/+50
|
* Extending Genlib to hangle multi-output cells.Alan Mishchenko2012-09-193-57/+105
|
* Added delay multipliers to 'map'.Alan Mishchenko2012-09-162-5/+27
|
* Improving print-outs in 'stime' and 'gsize'.Alan Mishchenko2012-09-041-1/+1
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-291-23/+17
|
* Added features 'map -M <float>' to control the use of large gates.Alan Mishchenko2012-08-273-5/+29
|
* Select for mapping smallest-area gates for each functionality.Alan Mishchenko2012-08-261-49/+16
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-074-8/+8
|
* Improving printouts of critical path.Alan Mishchenko2012-04-062-0/+22
|
* Additional features for delay optimizationAlan Mishchenko2012-03-214-14/+55
|
* Making GENLIB parser skip LATCHes.Alan Mishchenko2012-03-023-1/+30
|
* Updating 'print_library' to write GENLIB library into a file.Alan Mishchenko2012-02-291-10/+20
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-172-3/+3
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+2
|
* Major restructuring of the code.Alan Mishchenko2012-01-217-15/+15
|
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-3012-136/+1511
|
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-1/+2
|
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-034-5/+7
|
* Bug fix: unhandled & symbol in Liberty formula representationAlan Mishchenko2010-11-291-5/+8
|
* initial commit of public abcAlan Mishchenko2010-11-017-37/+71
|
* Version abc90408Alan Mishchenko2009-04-082-3/+3
|
* Version abc90310Alan Mishchenko2009-03-101-0/+0
|
* Version abc90215Alan Mishchenko2009-02-155-35/+118
|
* Version abc90118Alan Mishchenko2009-01-188-69/+297
|
* Version abc80909Alan Mishchenko2008-09-091-0/+3
|
* Version abc80702Alan Mishchenko2008-07-022-4/+7
|