Anvil: A General-Purpose Timing-Safe Hardware Description Language.

Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur, Trevor E. Carlson, Prateek Saxena

Browse the full ASPLOS paper archive.