Phan C. Vinh, Jonathan P. Bowen. Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. In 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 4-7 April 2005, Greenbelt, MD, USA. pages 247-254, IEEE Computer Society, 2005. [doi]
Abstract is missing.