Assuring Netlist-to-Bitstream Equivalence using Physical Netlist Generation and Structural Comparison. - Reilly McKendrick; Keenan Faulkner; Jeffrey Goeders (ICFPT, 2023)