Concurrency Safety

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