|
This is just a quick reminder that the "witness_check" define command has an option called "auto". When set to "auto" Incisive Formal and Enterprise Verifier ("IFV" & "IEV") will run the trace as usual, but if the trace status is "Fail" or "Explored" it will initiate ... Read more » Two recent customer examples have shown the effectiveness of Specman constrained-random verification for complex SoCs. Raimund Soenning, manager of hardware development for the Graphics Competence Center at Fujitsu Semiconductor Europe (Germany), and Sarmad Dahir, ASIC designer at Ericsson (Sweden), have transitioned from traditional verification... Read more » This blog entry builds on last week's Tips and Tricks posting in which we discussed the usage of list.delete(0) in Tip 1. This week, we discuss a topic that is close to many users. Ports are used widely throughout the verification environment as one of the main mechanisms for interacting with HDL code running within the simulato... Read more »
|
|
|
|