Christos Pavlatos, Alexandros C. Dimopoulos, George K. Papakonstantinou. A Formal Method for Rapid SoC Prototyping. In Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, RSP 2009, Paris, France, 23-26 June 2009. pages 34-37, IEEE Computer Society, 2009. [doi]
Abstract is missing.