diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-03-24 19:17:50 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-24 19:17:50 +0000 |
commit | bc25a4379c36e16eedea1ad3d4484b6af26c1650 (patch) | |
tree | b12f296c52a027eb5f916d33affeb431053651d8 /reviews.md | |
parent | 4923c0854a88cae7e3271278b3620e7f17bb98c0 (diff) | |
download | latte21_hlstpc-bc25a4379c36e16eedea1ad3d4484b6af26c1650.tar.gz latte21_hlstpc-bc25a4379c36e16eedea1ad3d4484b6af26c1650.zip |
Add more
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) |