Date Modified:     04/28/2004
Company Name:     Jasper Design Automation Inc.
Booth Number:    4242,

Booth Number(s):  4242

View a PDF of the floor, or find out about downloading AutoDesk Express Viewer, our free browser plug-in, for panning and zooming the DAC floorplan.

Jasper Design Automation Inc. features products in the following categories:

• IC/ASIC Design Tools
Verification Tools

80 Word Final Program Company Abstract

Originally founded in 1999 as Tempus Fugit, Jasper Design Automation is a privately funded EDA company headquartered in Mountain View, CA. Enabling the first Provably Correct Designs, JasperGold (TM) exhaustively verifies that your complex design blocks meet their high level requirements as defined by the micro-architecture spec. By focusing on 'what to check', not 'how', JasperGold formally verifies designer-sized blocks without any test-bench development. Pre-verified, bug-free blocks are then integrated into system-level verification trimming months off the verification schedule.
Visit: http://www.jasper-da.com.

Company Description

Originally founded in 1999 as Tempus Fugit, Jasper Design Automation is a privately funded EDA company headquartered in Mountain View, CA. Enabling the first Provably Correct Designs, JasperGold (TM) exhaustively verifies that your complex design blocks meet their high level requirements as defined by the micro-architecture spec. By focusing on 'what to check', not 'how', JasperGold formally verifies designer-sized blocks without any test-bench development. Pre-verified, bug-free blocks are then integrated into system-level verification trimming months off the verification schedule.
Visit: http://www.jasper-da.com.