As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of …