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
Technical Support Engineer for EDA Careers at Freemont, CA
Development Engineer-WEB SKILLS +++ for EDA Careers at North Valley, CA
ASIC FPGA Verification Engineer for General Dynamics Mission Systems at Bloomington, MN
Principal Engineer FPGA Design for Intevac at Santa Clara, CA
Sr. Staff Design SSD ASIC Engineer for Toshiba America Electronic Components. Inc. at San Jose, CA
SOC Logic Design Engineer for Global Foundaries at Santa Clara, CA
Upcoming Events
DVCon 2017 Conference at DoubleTree Hotel San Jose CA - Feb 27 - 2, 2017
IoT Summit 2017 at Great America ballroom, Santa Clara Convention Center Santa Clara CA - Mar 16 - 17, 2017
SNUG Silicon Valley 2017 at Santa Clara Convention Center Santa Clara CA - Mar 22 - 23, 2017
CDNLive Silicon Valley 2017 at Santa Clara Convention Center Santa Clara CA - Apr 11 - 12, 2017

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