At DAC (next week, in case you have been under a rock for the last few months) Jasper has four of their customers presenting. Of course they are also presenting themselves making a total of 5 seminars.
nVidia is presenting on Sequential Equivalency Checking for Power Optimization with JasperGold Apps. It is on Monday at 11am, Tuesday at 4pm and Wednesday at 11am.
ST is presenting on Low Power Verification and Optimization with Jasper Formal. It is on Monday at 1pm, Tuesday at 9.30am and Wednesday at 1pm.
Broadcom is presenting on Clock Sensitive FIFO Verification with JasperGold Apps. It is on Monday at 2.30pm (only).
ARM is presenting on Multi-processor Verification Success with Jasper Formal—the Proof is in the ROI. It is on Tuesday at 2pm (only).
Jasper is presenting onAchieving Coverage Closure with Jasper Formal. It is on Monday at 12pm and Wednesday at 10am.
On Tuesday as part of the user track, there is a joint presentation with ARM from 12.30pm to 1.30pm in room 105 (on the exhibit floor). The topic is Practical Application of Model Checking – A Taxonomy of Methodologies.
The regular Teens Talk Tech pavilion panel is moderated by Kathryn Kranen, Jasper’s CEO. It is on Wednesday from 3.30-4.15pm. Watch the video (1 minute).
Jasper is in booth 830. Their DAC page is here.Share this post via: