Pedal Faster! Or Make Your Verification Environment More Efficient. You Choose.

Author(s):
Rich Edelman, Raghu Ardeishar, and Rohit Jain