Semantics of RTL and validation of synthesized RTL designs using formal verification in reconfigurable computing systems | IEEE Conference Publication | IEEE Xplore