|
Events |
| |
2010 |
 |
IP-SOC 2010
“Post-Silicon Debug: A New Approach for Solving the Unspoken and the Urgent” – Kathryn Kranen, CEO Jasper Design Automation
11/30/10 - 12/01/10
Grenoble, France
|
| |
|
 |
2010 International Conference on Computer - Aided Design (ICCAD)
"Formal Methods Applied in Post-Silicon Debug"- Lawrence Loh, Jasper Design Automation
11/07/10 - 11/11/10
DoubleTree Hotel, San Jose, CA
|
| |
|
 |
Jasper Users Group Meeting
11/01/10 - 11/02/10, 9AM-5PM
Techmart,
Santa Clara, CA
Please email info@jasper-da.com for more details. |
| |
|
 |
FMCAD 2010
Formal Methods in Computer Aided Design
10/20/10 - 10/23/10
Lugano, Switzerland |
| |
|
 |
SAME 2010
Jasper Presenting "Formal Methods and Jasper Tools in Post-Silicon Debug" at SAME 2010 Forum October 7
10/06/10 - 10/07/10
Sophia Antipolis, France |
| |
|
 |
S4D 2010
“Formal Methods For Post-Silicon Debug” –Ziyad Hanna, Chief Architect and Vice President of Research, Jasper Design Automation, Mountain View, Calif.; and Adam Morawiec, ESCI and Jasper Design Automation, Grenoble, France
09/15/10
Southampton University, School of Electronics, Highfield Campus,
Southampton, UK
|
| |
|
 |
CAV 2010
22nd International Conference on Computer Aided Verification
7/15/10 -7/19/10
Edinburgh, UK |
| |
|
 |
DAC 2010
47th Design Automation Conference
6/13/10 - 6/18/10
Booth #1337
Anaheim Convention Center, Anaheim, CA
 |
| |
|
 |
MBT 2010, Sixth Workshop on Model-Based Testing
3/21/10
Paphos, Cyprus |
| |
|
 |
DVCon 2010
Ever-Onward! Minimizing Verification Time and Effort -
Rajeev Ranjan, Jasper Design
Panel: Thursday, February 25, 3:30pm - 5:00pm:
To register: info@jasper-da.com
2/22/10 - 2/25/10
Booth #601
DoubleTree Hotel, San Jose, CA
|
| |
|
 |
Heart of Technology Benefit
Benefit for William C Overfelt High School
02/04/10, 6:PM-10 :30PM
South First Billiards
420 S 1st St, San Jose, CA 95113 |
| |
|
 |
Electronic Design and Solution Fair (EDS Fair)
1/28/10 - 1/29/10
Pacifico Yokohama, Kanagawa, Japan |
|
2009 |
|
 |
IP'09 Conference
Panel: IP Reuse vs. IP Leverage: What's the difference, and what are the issues?
Improving IP Quality vs. Losing Design Productivity - What Are the Tradeoffs? - Kathryn Kranen
12/1/09 - 12/3/09
Grenoble, France |
| |
|
 |
ARM Techcon3
Imagining New IP Architectures: Formal Verification Conquers the Void - Sebastian Skalberg , Jasper Design
11/21/09 - 11/23/09 - Wed 9:00 AM - 9:45 AM
Santa Clara, CA, USA
|
| |
|
 |
Formal Methods in Computer Aided Design - FMCAD 2009
Panel: "What will be the next breakthrough solutions in formal?"
Contact Ziyad Hanna, Program Committee
11/15/09 - 11/18/09
Austin, Texas, USA
|
| |
|
| IEEE International High Level Design Validation and Test |
HLDVT conference
“A Symbolic Execution Framework for Algorithm-Level Modelling“- Ziyad Hanna and Tom Melham
November 4-6, 2009
San Francisco
|
| |
|
|
Jasper Users Group Meeting
Please email info@jasper-da.com for more details.
November 2-3, 2009
Techmart,
Santa Clara, CA
|
| |
|
 |
Design and Verification from ESL to Gates
9/18/09
Japan |
| |
|
 |
46th Design Automation Conference
7/27/09 - 7/30/09
Booth #3767
Moscone Center, San Francisco, CA |
| |
|
 |
12th International Conference on
Theory and Applications of Satisfiability Testing
Contact Ziyad Hanna, Program Committee
6/30/09 - 7/3/09
Swansea, Wales, UK |
| |
|
 |
21th International Conference on
Computer Aided Verification - CAV 2009
Jasper sponsors CAV
6/26/09 - 7/2/09
World Trade Center Grenoble, Grenoble, France
|
| |
|
|
Jasper Architecture Forum
The Jasper Architects Forum featured a keynote presentation from Jasper CTO Rajeev Ranjan, as well as technical presentations from customers including SUN and ARM. Topics included architectural formal verification for cache coherence protocols, architectural modeling and modeling language analysis
6/2/09 |
| |
|
 |
DV Club
"Is it Time to Declare a Verification War?" - Brian Bailey
6/1/09
Boston - Westford Regency Westford, MA |
| |
|
 |
Jasper is EDN Innovation Finalist!
3/30/09 - 3/30/09
Santa Clara, CA |
| |
|
 |
Fifth Workshop on Model-Based Testing - MBT 2009
Contact Ziyad Hanna, Program Committee for Software verification - Model Based Testing
3/22/09
York, UK
|
| |
|
| |
DV Club
"Is it Time to Declare a Verification War?" - Brian Bailey
Download the PDF
3/19/09
Dave & Busters, Milpitas, CA |
| |
|
 |
DVCon
Mixing Formal Analysis with Simulation: Why, When, Where and How?
includes Lawrence Loh of Jasper Design
2/24/09 - 2/26/09
Booth #901
DoubleTree Hotel, San Jose, CA |
| |
|
 |
DesignCon
Podcast Introduction
Toward Harnessing the True Potential of IP Reuse
2/03/09, 11:05am-11:45am
Convention Center, Santa Clara, CA |
| |
|
 |
Electronic Design and Solution Fair (EDS Fair)
1/22/09 - 1/23/09
Pacifico Yokohama, Kanagawa, Japan |
| |
|
|
|
