Verma Kumar Gaurav

Title: Verma Kumar Gaurav and Rapid Expression Coverage

Introduction

Verma Kumar Gaurav is an inventor associated with San Jose, California, and Mentor Graphics Corporation. His patent work addresses methods for measuring expression coverage during circuit-design simulation.

Latest Patents

Gaurav is associated with 1 patent, titled “Rapid Expression Coverage.” The invention describes simulating a circuit design with a test bench and determining whether expressions in the design are covered during simulation. It divides an expression into sub-expressions and evaluates them separately, checking whether the first operands receive each available input state while the corresponding second operands are in a non-masking state. This approach can produce an expression-coverage metric without generating truth tables for every possible input vector.

Career Highlights

Gaurav’s listed patent reflects work in electronic design automation and circuit verification. Rapid expression coverage offers a way to assess test-bench effectiveness while avoiding the need to enumerate every possible input combination.

Collaborations

Gaurav is associated with Mentor Graphics Corporation. Doug Warmke is identified as a coworker.

Conclusion

Verma Kumar Gaurav’s patent on rapid expression coverage presents a method for evaluating circuit-design test coverage more efficiently during simulation.