Tomi Westerlund, Juha Plosila. Formal Modelling of Synchronous Hardware Components for System-on-Chip. In Proceedings of the 2005 International Symposium on System-on-Chip, Tampere, Finland, November 15-17, 2005. pages 116-119, IEEE, 2005. [doi]
Abstract is missing.