Automatic formal verification of clock domain crossing signals - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bing Li, Chris Ka-Kei Kwok. Automatic formal verification of clock domain crossing signals. In Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009. pages 654-659, IEEE, 2009. [doi]

This author has not been identified. Look up 'Bing Li' in GoogleThis author has not been identified. Look up 'Chris Ka-Kei Kwok' in Google

runs on WebDSL