Latest Post

[Jack’s Paper Study Note] Managing Verification Error Traces with Bounded Model Debugging – Sean Safarpour et al. @ ASPDAC’10

http://www.eecg.utoronto.ca/~veneris/10aspdac.pdf Debugging is still the most time consuming part of IC design. Typical debug includes: (a) find out the checkers that indicate errors, (b) investigate waveforms of observation points (typically primary outputs) which may propagate errors to the checkers, (c) trace drivers of those observation points, (d) indicate error sources, (e) fix them, and finally (f) [...]



Guest Blogger

John Zuk
John Zuk leads Marketing & Strategy for Tanner EDA. He holds degrees in engineering and operations research, and has worked in and around the semiconductor & high-tech industry as a consultant and manager for over 22 years. ...
Read My Profile
Atoptech Apache Design Solutions Cayenne