Dont Let the X-Bugs Bite: Conquer Elusive X-Propagation Issues Early! Get Them Before They Get You!
Designers spend many, many hours verifying that RTL provides the correct functionality and expect that gate level simulation produces the same results as RTL simulation. However, X-propagation is a major cause of differences between gate level and RTL simulation results, and issues cannot be detected by logical equivalence checkers. While most Xs are harmless at the RTL level, they can mask functional bugs. Resolving differences between gate level and RTL simulation results is painful and time consuming because Xs make correlation between the two difficult. X-propagation issues cause costly iterations, painful debug, and sometimes allow Xrelated functional bugs to slip through. This invited talk explains the common sources of Xs, shows how they can mask real functional issues and why they are difficult to avoid. It also presents a unique practical solution to assist designers in catching Xpropagation bugs efficiently.
Lisa Piper Jin Zhang
Reai Intent, Inc, 505 North Mathilda Avenue, Suite 210, Sunnyvale, CA 94085
国际会议
2011 IEEE 9th International Conference on ASIC(2011年第九届IEEE国际专用集成电路大会)
厦门
英文
373-376
2011-10-25（万方平台首次上网日期，不代表论文的发表时间）