Formal Modelling of Multiclocked SoC Systems

Tomi Westerlund, Juha Plosila. Formal Modelling of Multiclocked SoC Systems. In International Symposium on System-on-Chip, SoC 2006, Tampere, Finland, November 13-16, 2006. pages 1-4, IEEE, 2006. [doi]

Authors

Tomi Westerlund

This author has not been identified. Look up 'Tomi Westerlund' in Google

Juha Plosila

This author has not been identified. Look up 'Juha Plosila' in Google