Anvil: A General-Purpose Timing-Safe Hardware Description Language
| Title: | Anvil: A General-Purpose Timing-Safe Hardware Description Language |
|---|---|
| Authors: | Yu, Jason Zhijingcheng; Jha, Aditya Ranjan; Mathur, Umang; Carlson, Trevor E.; Saxena, Prateek |
| Source: | Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. :110-136 |
| Availability: | http://dl.acm.org/doi/10.1145/3779212.3790125 |
| Database: | ACM Full-Text Collection |