Qiang Ma    Univ. of Illinois at Urbana-Champaign, Urbana, IL
Hongbo Zhang    Univ. of Illinois at Urbana-Champaign, Urbana, IL
Martin D. F. Wong    Univ. of Illinois at Urbana-Champaign, Urbana, IL

Triple Patterning Aware Routing and its Comparison with Double Patterning Aware Routing in 14nm Technology

Prashant Aggarwal    Oski Technology, Inc., Gurgaon, India
Michelle Liu     Cisco Systems, Inc., San Jose, CA
Wanli Wu     Cisco Systems, Inc., San Jose, CA
Vigyan Singhal      Oski Technology, Inc., Mountain View, CA

Deploying Model Checking for Bypass Verification