Jasper to demonstrate its latest Apps verification solutions at DAC 2013

Date: 29/05/2013
Jasper Design Automation to demonstrate its latest Apps verification solutions in booth #2346 at the Design Automation Conference (DAC), June 2-6, 2013 in Austin, Texas.

Customer seminars at DAC include presentations on:

Sequential Equivalence Verification

Who:Oski Technologies

When: Monday, June 3 at 10:00 a.m.

Wednesday, June 5 at 1:30 p.m.


Integrated Flow with ARM

Who: Duolog Technologies and Jasper Design Automation

When: Monday, June 3 at 11:00 a.m. and 3:00 p.m.

Tuesday, June 4 at 10:00 a.m. and 2:30 p.m.

Wednesday, June 5 at 10:00 a.m. and 3:00 p.m.


Security Path Verification

Who: Gila Logic

When: Monday, June 3 at 11:30 a.m.

Wednesday, June 5 at 11:30 a.m.


Adopting Formal to Increase Productivity and Quality in Verification and ARM-Based CPU Subsystem

Who: STMicroelectronics

When: Monday, June 3 at 1:30 p.m.

Tuesday, June 4 at 4:00 p.m.



Formal – An integral Part of Chip Design

Who: Broadcom

When: Tuesday, June 4 at 10:00 a.m.