March 5, 2010
If you are creating automatic stimulus using the randomize() method and you need a value to be one-hot, you can use the built in $onehot assertion. This assertion returns a 1 if the value inside it is a one-hot. The assertion looks like this: assert(myreq.randomize() with{ $onehot(onehot_reg) == 1;}); This code will clear all the [...]
Read the full article →
March 4, 2010
On April 14th I’ll be at the Mentor Graphics User Group meeting delivering a presentation called, “What Now? Smoothly Adopting Verification Technologies.” The meeting is at the Westford Regency and there’s no charge. It’s going to be fun, and I hope to see you there. You can sign up at this link: http://user2user.mentor.com/westford-ma-april-14-2010 Share and [...]
Read the full article →
Subscribe in an RSS Reader