In this blog, Nomita introduces the consideration of introducing formal methods and assertion-based verification into your FPGA verification methodology....
Katarzyna Hrynkiewicz discusses assertions and their importance in EDA, and how at Aldec they have something which helps overcome any reservations towards assertions....
Sunil Sahoo discusses the benefits of having a commercial simulator, as opposed to using vendor-provided 'free' simulation tools....
Sunil Sahoo, Corporate Applications Engineer for Aldec, discusses the problems facing accessing registers, and how UVM RAL can help....