Prokash Ghosh, Srivastava Rohit. Case Study: SoC Performance Verification and Static Verification of RTL Parameters. In 20th International Workshop on Microprocessor/SoC Test, Security and Verification, MTV 2019, Austin, TX, USA, December 9-10, 2019. pages 65-72, IEEE, 2019. [doi]