Jasper Design Automation Formal Technology Newsletter Q1 2011




Formal Technology Newsletter
Q1 2011

Jasper Corporate News
Kathryn Kranen on Formal Technologies
Jasper sets presence in Israel
Interview with Kathryn Kranen, CEO Jasper Design Automation
Jasper to Speak, Exhibit at SemIsrael Verification Day, March 2, Tel Aviv
Jasper Technology News
NEW! ActiveProp solution for property synthesis: Datasheet and video
Jasper DesignCon Paper Describes Automated Techniques for Assertion-Based Verification Flows
Assertion-Based Verification Takes Big Step Toward Automation
ActiveProp: Showdown at the “Is My Design OK?” Corral
Jasper ActiveProp Automates Assertion-Based Verification for SoC Design Generates High-Quality Properties Automatically for Assertion-Based Verification
Jasper ActiveProp Automates Assertion-Based Verification
Using Formal Verification to Control X Propagation
Jasper Introduces Intelligent Proof Kits For Faster, More Accurate Verification of SoC Interface Protocols
Jasper technology 4-minute feature video demos ranging from Visualize to ProofGrid Manager
Post- Silicon Debug: A New Approach for Solving the Unspoken and the Urgent by Jasper CEO Kathryn Kranen at IP-SOC
Formal Verification Across a Spectrum of Applications   Taiwan
The Future is Formal
Jasper Customer News
EDSFair in Japan

EDSFair in Japan, January 2011, was well attended and featured the world-first announcement of ActiveProp property synthesis. Japan press coverage is at EDSF Highlights: Jasper ActiveProp for Property Synthesis and Automatically generate SVA properties from design data and simulation results

Jasper CTO Dr. Rajeev Ranjan Presenting at IEEE Microprocessor Test & Verification Workshop
8 Jasper applications videos spanning all 8 areas in the spectrum of applications

3 customers, 8 applications engineers, and Jasper CEO comment on what makes Jasper great!

EEWeb interview with Alok Sanghavi
Events
DVCon   February 28 - March 3, 2011
Double Tree Hotel, San Jose, CA

Visit Jasper at booth 704!

SemIsrael   March 2, 2011
Tel Aviv, Israel

"The Spectrum of Applications for Formal Verification"-Ziyad Hanna, Jasper Design Automation

ChipEx 2011   May 3 - 4, 2011
Hilton convention center, Tel Aviv, Israel

Annual International Event of the Israeli Semiconductor Industry

S4D - System, Software, SoC and Silicon Debug Conference   March 14, 2011
Grenoble, France

Jasper Design Automation will present on Post-Silicon Validation

DAC 2011   June 5 - 10, 2011
San Diego, CA

48th Design Automation Conference

CAV 2011   July 14 - 20, 2011
Cliff Lodge, Snowbird, Utah

23rd International Conference on Computer Aided Verification

To meet with the design and verification deployment experts at Jasper, or for more information on Jasper Design solutions, please send email to info@jasper-da.com or call 1.650.966.0266 .



Review Article Be the first to review this article
CST: Webinar November 9, 2017

Synopsys: Custom Compiler

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
DVCon Europe 2017: Munich and So much more
More Editorial  
Jobs
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Senior R&D Engineer...Timing Closure Specialist for EDA Careers at San Jose or Anywhere, CA
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
Upcoming Events
25th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2017) at Yas Viceroy Abu Dhabi Yas Marina Circuit, Yas Island Abu Dhabi United Arab Emirates - Oct 23 - 25, 2017
ARM TechCon 2017 at Santa Clara Convention Center Santa Clara CA - Oct 24 - 26, 2017
MIPI DevCon Bangalore 2017 at The Leela Palace Bengaluru India - Oct 27, 2017
MIPI DevCon Hsinchu City 2017 at Sheraton Hsinchu Hotel Taiwan - Oct 31, 2017
CST: Webinar series



Internet Business Systems © 2017 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise