Jasper is presenting at both ends of the world at both ends of February.
First in Israel, it is SemiIsrael Verification Day 2013 on February 5th (next Tuesday) at Green House in Tel Aviv.
- Zihad Hanna, VP of Research and Chief Architect and General Manager of Jasper Israel will be talking about Security Formal Verification of Hardware Design. I assume this will cover similar ground to the presentation from Haifa Verification conference that I already blogged about. That is at noon.
- Then at 12.50pm, Mody Miller, Verification Manager at Broadcom will talk about Verifying Connectivity Across SoCs Using Jasper Formal Technology. He is in the unwelcome position of having the last presentation before lunch.
The website for the SemiIsrael Verification Day, including links to register, is here.
Then from February 25th to 28th it is DVCon in San Jose at the DoubleTree Hotel. Hotel rates for DVCon are discounted through tomorrow, Friday.
- On Tuesday February 26th from 9-10.30am Rajeev Ranjan will present on Verification Coverage Metrics in Formal Verification and Speeding Verification Closure with UCIS Coverage Interoperability Standard. Details on the UCIS session are here. (UCIS is the Unified Coverage Interoperability Standard).
- On Thursday afternoon of February 28th from 1.30pm until 5pm Lawrence Loh will give a tutorial on A Formal Approach to Low-power Verification. Full details, including an abstract of the tutorial, are here.
Jasper will also be exhibiting at booth 601. The exhibits will be open from 3.30pm to 6.30pm on Tuesday 26th and Wednesday 27th. Drop by to see demos of JasperGold Apps.
The DVCon website, including a links to register and for those discounted hotel rates if you are not local, is here.
Video introduction to DVCon (3 mins):
TSMC 16th OIP Ecosystem Forum First Thoughts