Provably correct high-level timing analysis without path sensitization.

Subhrajit Bhattacharya, Sujit Dey, Franc Brglez

Browse the full ICCAD paper archive.