summaryrefslogtreecommitdiffstats
path: root/src/map/mio
Commit message (Expand)AuthorAgeFilesLines
* Recommended changes for portability.Alan Mishchenko2014-10-121-1/+1
* Suggested patch for type-punned warningsAlan Mishchenko2014-10-101-3/+6
* 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
* 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 re...Alan Mishchenko2013-09-153-3/+5
* 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 unsigned...Alan Mishchenko2013-01-303-10/+10
* 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
* 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