High-Level vs. RTL Combinational Equivalence: An Introduction.

Alan Hu

Browse the full ICCD paper archive.