Company Profile

Jasper Design Automation

Company Description

Jasper Design Automation offers innovative solutions, based on formal technologies, for the design and verification of semiconductor IP and SoC. Jasper delivers advanced formal technology, software and services to customers in the global IC markets including consumer, wireless, computing, networking, graphics, and more. Flagship products JasperGold(R), JasperCore (TM), ActiveProp(TM), ActiveDesign(TM) and Intelligent Proof Kits deliver targeted ROI throughout the design cycle. Jasper’s unique technologies provide higher capacity, interactive debug, increased throughput and wider deployment.

ARM recently completed a deployment of Jasper technology and solutions that enhances the validation methodology for ARM® AMBA® protocol-based processors and system IP. Jasper also announced the availability of its suite of system-level VIP for ARM’s ACE-based SoCs. The VIP is the first of its kind for the ACE specification and was a direct result of the tight collaboration between ARM and Jasper for validating the quality and robustness of the specification.

Headquartered in Mountain View, California, Jasper is privately held and has offices and distributors worldwide. Upgrade your verification with Jasper: http://jasper-da.com.

Contact Us