HyAC: A Hybrid Structural SAT Based ATPG for Crosstalk.

Xiaoliang Bai, Sujit Dey, Angela Krstic

Browse the full ITC paper archive.