Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin. Automatic RTL-to-Formal Code Converter for IP Security Formal Verification. In 17th International Workshop on Microprocessor and SOC Test and Verification, MTV 2016, Austin, TX, USA, December 12-13, 2016. pages 35-38, IEEE Computer Society, 2016. [doi]
Abstract is missing.