Mining assertions from constrained random simulations to localize bugs. Paul Cunningham (GM, Verification at Cadence), Jim Hogan and I continue our series on research ideas. Feel free to comment.
The Innovation
This month’s pick is Symptomatic bug localization for functional debug of hardware designs. This paper was presented… Read More







ASML High-NA EUV is Not Ready for High-Volume Production