Reliable design with multiple clock domains

E. Czeck, Ravi Nanavati, Joseph E. Stoy. Reliable design with multiple clock domains. In 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA. pages 139-148, IEEE, 2006. [doi]

Authors

E. Czeck

This author has not been identified. Look up 'E. Czeck' in Google

Ravi Nanavati

This author has not been identified. Look up 'Ravi Nanavati' in Google

Joseph E. Stoy

This author has not been identified. Look up 'Joseph E. Stoy' in Google