Practical Approach Using a Formal App to Detect X-Optimism-Related RTL Bugs Author(s): Shuqing Zhao, Shan Yan, and Yafang Feng Download
