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
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

Featured Video
Design Verification Engineer for intersil at Morrisville, North Carolina
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, California
Applications Engineer for intersil at Palm Bay, Florida
Upcoming Events
NVIDIA’s GPU Technology Conference (GTC) at San Jose McEnery Convention Center 150 West San Carlos Street San Jose CA - Mar 26 - 29, 2018
ESC Conference Boston at boston MA - Apr 18 - 19, 2018
IEEE Women in Engineering International Leadership Conference at 150 W San Carlos St San Jose CA - May 21 - 22, 2018

Internet Business Systems © 2018 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