Jasper Design Automation, founded in 1999, is a hardware startup based in the United States that aims to revolutionize IC verification with its formal verification solutions. The company's mission is to enable full formal IC verification to become a competitive advantage for its customers. Jasper's solutions are utilized by logic designers, verification engineers, and silicon bring-up teams, allowing them to design, explore, and debug RTL effectively. This ensures the correctness of block-level functionality and facilitates rapid post-silicon validation and debug.
The company received a $2.13M Venture Round investment on 01 April 2012 from prominent investors including Accel and Foundation Capital.
Jasper Design Automation is positioned to deliver innovative solutions in the hardware industry, providing a strong investment opportunity for venture capitalists seeking to tap into the potential of formal IC verification and its impact on overall design and verification processes.