Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications

Ali E. Abdallah, John Hawkins. Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications. In HICSS. pages 278, 2003. [doi]

Abstract

Abstract is missing.