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
 True Circuits: IOT PLL

Featured Video
Jobs
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
Methodics User Group Meeting at Maxim Integrated 160 Rio Robles San Jose CA - Jun 5 - 6, 2018
2018 FLEX Korea at Room 402/ 403, COEX Seoul Korea (South) - Jun 20 - 21, 2018
IEEE 5G World FOrum at 5101 Great America Parkway Santa Clara CA - Jul 9 - 11, 2018
SEMICON West 2018 at Moscone Center North, Room 24-25, 730 Howard St, San Francisco, CA 94103, USA San Francisco CA - Jul 11 - 12, 2018
DownStream: Solutions for Post Processing PCB Designs
TrueCircuits: IoTPLL
DAC2018



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