Alan Mishchenko 98da93093b Bug fix in technology mapper.

2013-11-24 09:51:48 -08:00

..

exp.h

Modified SCL gate library to read/write gate formula.

2013-03-26 20:19:50 -07:00

mio.c

Unifying standard cell library representations.

2013-09-17 13:16:20 -07:00

mio.h

Several changes to allow Liberty files without delay info.

2013-11-21 12:58:13 -08:00

mioApi.c

Improved gate-sizing.

2013-07-29 10:10:21 -07:00

mioForm.c

Major restructuring of the code.

2012-01-21 04:30:10 -08:00

mioFunc.c

Modified SCL gate library to read/write gate formula.

2013-03-26 20:19:50 -07:00

mioInt.h

Replacing 'st_table' by 'st__table' to resolve linker problems.

2012-09-29 17:11:03 -04:00

mioParse.c

Integrating synthesis into the new BMC engine.

2013-10-02 23:03:17 -07:00

mioRead.c

Fixing compilation problems on Linux-32 related to constants of type unsigned long long.

2013-01-30 16:15:53 +07:00

mioSop.c

Made gate library package Mio independent of CUDD.

2011-03-30 21:02:29 -07:00

mioUtils.c

Bug fix in technology mapper.

2013-11-24 09:51:48 -08:00

module.make

Made gate library package Mio independent of CUDD.

2011-03-30 21:02:29 -07:00