diff options
Diffstat (limited to 'reviews.md')
-rw-r--r-- | reviews.md | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -83,3 +83,7 @@ It would be helpful to get some clue about why the problems [1] face seems to ha Their response are also standard "why proofs of compiler are useful". This is neither a problem nor a weakness, but I believe it could have been more explicitly pointed out that many of those concern have little to do with hardware (or if they do, or their answer do, I would have missed that). + +[1] Rapid Cycle-Accurate Simulator for High-Level Synthesis, Chi&al. (available at http://cadlab.cs.ucla.edu/~jaywang/papers/fpga19-sim.pdf) + +[2] Predictable Accelerator Design with Time-Sensitive Affine Types, Nigam& al. (available at https://rachitnigam.com/files/pubs/dahlia.pdf) |