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

Jason Zhijingcheng Yu, Aditya Ranjan Jha, Umang Mathur +2

Expressing hardware designs using hardware description languages (HDLs) routinely involves using stateless signals whose values change according to their underlying registers. Unin…