The Portable Stimulus Pi Contest at DAC 2018

There is a crescendo of voices speaking to portable stimulus and the value of generating more tests and improving SoC coverage. At DAC in San Francisco you’ll have an opportunity to show off your portable stimulus skills. Contestants will be chosen to compete two at a time, head-to-head, in our “First Annual Pi Contest”. Register [...]

2018-06-11T10:55:42+00:0011th June, 2018|Blog, Thought Leadership|

TVS to present at DAC on Practical Application of Model Checking

TVS will be presenting at DAC on Practical Application of Model Checking. This presentation is in partnership with ARM and Jasper. It describes four different applications of model checking and the strengths/challenges of applying these techniques: Bug avoidance; Bug hunting; Bug absence; Bug analysis. TVS presented a paper on this at a recent Jasper conference. [...]

2012-05-15T09:53:32+00:0015th May, 2012|Events, Hardware Verification, Latest Press|