Practical Approach Using a Formal App to Detect X-Optimism-Related RTL Bugs

Author(s):
Shuqing Zhao, Shan Yan, and Yafang Feng
Location:
United States
Year:
2014
Type:
Paper
Format:
pdf