Incremental System Verification (Experts at the Table, Part 2)
By Brian Bailey, Semiconductor Engineering | Feat. Tom Anderson, Technical Marketing Consultant, OneSpin; and Jim Hogan, Board Director, OneSpin
How does a PSS model get verified and who will create that model? What happens when models extend beyond the specification?
Semiconductor Engineering sat down to discuss the implications of having an executable specification that drives verification with Hagai Arbel, chief executive officer for VTool; Adnan Hamid, chief executive office for Breker Verification; Mark Olen, product marketing manager for Mentor, a Siemens Business; Jim Hogan, managing partner of Vista Ventures; Sharon Rosenberg, senior solutions architect for Cadence Design Systems; and Tom Anderson, technical marketing consultant for OneSpin Solutions. What follows are excerpts of that conversation.
Anderson: This is certainly an example of the way in which verification will influence design. You are playing with a level of parameters that affect what the hardware does. This is another dimension of the general problem.