diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-21 01:01:53 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-21 01:01:53 -0700 |
commit | 1ed823c67d5ba9681a0d5a52aec576edc9ed2de2 (patch) | |
tree | 1fd5e7c8de97f0219b7c6db6d10b23fe8dcbeca6 /src/sat/proof | |
parent | ab84c73eb022b145faa040575d0e507e410035de (diff) | |
download | abc-1ed823c67d5ba9681a0d5a52aec576edc9ed2de2.tar.gz abc-1ed823c67d5ba9681a0d5a52aec576edc9ed2de2.tar.bz2 abc-1ed823c67d5ba9681a0d5a52aec576edc9ed2de2.zip |
Adding support for input slew and output capacitance to timer and gate-sizer.
Diffstat (limited to 'src/sat/proof')
0 files changed, 0 insertions, 0 deletions