Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications
- A. E. Abdallah
- , J. Hawkins
- London South Bank University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
19
Citations
(SciVal)