diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-25 14:58:29 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-04-25 14:58:29 -0700 |
commit | c0f0e145c46291db88fea7ae1251637b97f48e29 (patch) | |
tree | 9d6715d1eca81dbb6ec0b749a8e1ae0a4f257e9a /src/sat/bsat | |
parent | 3be417ae1c4a45e81a76da7816addbac9d47bbde (diff) | |
download | abc-c0f0e145c46291db88fea7ae1251637b97f48e29.tar.gz abc-c0f0e145c46291db88fea7ae1251637b97f48e29.tar.bz2 abc-c0f0e145c46291db88fea7ae1251637b97f48e29.zip |
Improving the criteria to select representative gates in 'map' with floating-point-delay libraries having more than one gate in some functionality classes.
Diffstat (limited to 'src/sat/bsat')
0 files changed, 0 insertions, 0 deletions