Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications

A. E. Abdallah, J. Hawkins

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    18 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications'. Together they form a unique fingerprint.

    Computer Science