Ping Yeung

According to our database, Ping Yeung authored at least 2 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2015

Multi-Domain Verification of Power, Clock and Reset Domains.

Ping Yeung, Eugene Mandel

Proceedings of the Hardware and Software: Verification and Testing, 2015

2005

Practical Assertion-based Formal Verification for SoC Designs.

Ping Yeung, Kenneth Larsen

Proceedings of the 2005 International Symposium on System-on-Chip, 2005