Anvil: A General-Purpose Timing-Safe Hardware Description Language. - Jason Zhijingcheng Yu; Aditya Ranjan Jha; Umang Mathur 001; Trevor E. Carlson; Prateek Saxena (CoRR, 2025)