David Todd Massey

Title: Innovations of David Todd Massey

Introduction

David Todd Massey is an accomplished inventor based in Boulder Creek, California. He has made significant contributions to the field of automated design verification and circuit design. With a total of 3 patents to his name, Massey has demonstrated a commitment to advancing technology through innovative solutions.

Latest Patents

Massey's latest patents include a "System and method for automated design verification." This invention involves a test bench that stimulates a simulated design with test vectors. A coverage analysis tool monitors the output data from the simulated design and identifies portions that remain untested. The test generator produces and sends test vectors to exercise these untested portions. The method includes several steps, such as executing a simulated design, interpreting it as a state diagram, generating test vectors, and reporting untested elements.

Another notable patent is the "System and method for identifying finite state machines and verifying circuit designs." This invention identifies constructs within a design description and determines how they control changes in object values. It identifies finite state machine elements and generates test vectors for exercising these elements on a test bench.

Career Highlights

David Todd Massey is currently employed at Verisity Design, Inc., where he continues to innovate in the field of design verification. His work has had a significant impact on the efficiency and reliability of circuit designs.

Collaborations

Massey has collaborated with notable colleagues, including Chong Guan Tan and Michael Thomas McNamara. These partnerships have contributed to the development of advanced technologies in the industry.

Conclusion

David Todd Massey is a prominent inventor whose work in automated design verification and circuit design has led to valuable patents. His contributions continue to shape the future of technology in meaningful ways.