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]

Abstract

Abstract is missing.