Browsing by Sponsor/Funder National Cybersecurity Centre
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 23-Feb-2020 | Finding and understanding bugs in FPGA synthesis tools | Herklotz Grave, Y; Wickerson, J; |
| 18-Oct-2021 | Formal verification of high-level synthesis | Herklotz Grave, Y; Pollard, JAMES; Ramanathan, N; Wickerson, J; , et al |