Multi-Level Logic: CAD Tools for Simplification
{co} = [328]' [329]' + [361]'
[361] 1890:physical 32.00
[328] 1310:physical 16.00
[329] 1310:physical 16.00
{sum} 2310:physical 40.00
... using library delay model
{sum} : arrival=( 2.2 2.2)
{co} : arrival=( 2.2 2.2)
[328] : arrival=( 1.2 1.2)
[361] : arrival=( 1.2 1.2)
[329] : arrival=( 1.2 1.2)
read library & perform technology mapping
unit delay plus 0.2 time units