Practical Assertion-based Formal Verification for SoC Designs. - Ping Yeung; Kenneth Larsen (SoC, 2005)

Multi-Domain Verification of Power, Clock and Reset Domains. - Ping Yeung; Eugene Mandel (Haifa Verification Conference, 2015)