Jasper Design Automation, Inc.

Website Links

Description

Jasper Design Automation is a privately-held Electronic Design Automation (EDA) company with a mission of making full formal IC verification a competitive advantage for its customers. The company’s flagship product, JasperGold® Verification System, is the first verification product to deliver 100% actual coverage, and accomplishes this task within predictable, finite schedule constraints. JasperGold Verification System formally verifies that complex IC design blocks meet high-level requirements defined in their specifications, and also pre-verifies IP blocks for use under all usage modes, without any testbench development. JasperGold Verification System automatically isolates bugs with a unique, fast debugging capability. By isolating bugs earlier than simulation or formal-assisted simulation tools, and then proving the absence of bugs, JasperGold Verification System trims crucial months off design schedules.

Products & services

Similar companies nearby