Jasper Design is an electronic design automation company developing a verification system that provides bug detection and debugging solutions.