efficient, correct rtl from high level specifications
Avoiding Game over: Bringing Design to the Next Level