Robin Hood: A system timing verifier for multi-phase level-sensitive clock designsR.S. TsayI. Lin1992Annual ASIC Conference and Exhibit 1992