Jason T. Higgins, Mark Aagaard. Simplifying design and verification for structural hazards and datapaths in pipelined circuits. In Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004. pages 31-36, IEEE Computer Society, 2004. [doi]