Shihheng Tsai

A false-path aware Formal Static Timing Analyzer considering simultaneous input transitions

Chung-Yang Huang, Shihheng Tsai, 2009, 2009 46th ACM/IEEE Design Automation Conference.

A semi-formal min-cost buffer insertion technique considering multi-mode multi-corner timing constraints

Chung-Yang Huang, Shihheng Tsai, Man-Yu Li, 2012, 17th Asia and South Pacific Design Automation Conference.