Combining Equivalence Verification and Completion Functions. - Mark D. Aagaard; Vlad C. Ciubotariu; Jason T. Higgins; Farzad Khalvati (FMCAD, 2004)

Simplifying design and verification for structural hazards and datapaths in pipelined circuits. - Jason T. Higgins; Mark D. Aagaard (HLDVT, 2004)

Simplifying the design and automating the verification of pipelines with structural hazards. - Jason T. Higgins; Mark D. Aagaard (ACM Trans. Design Autom. Electr. Syst., 2005)