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
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — 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 Policy