David L Allen

Title: The Innovations of David L. Allen

Introduction

David L. Allen is a prominent inventor based in Fremont, California, known for his significant contributions to the field of hardware design and verification. With a total of 10 patents to his name, Allen has made remarkable strides in the integration of machine learning with hardware verification processes.

Latest Patents

One of Allen's latest patents is focused on machine learning (ML)-based static verification for derived hardware-design elements. This invention discloses a system, computer-readable storage medium, and method embodiments that utilize an ML process to extract a feature set from a hardware description. The system evaluates a similarity index between hardware elements and updates parameters for static verification based on this index. Another notable patent addresses state table complexity reduction in a hierarchical verification flow. This innovation involves identifying and merging power state tables for peripheral and non-peripheral supplies, ultimately creating a reduced power state table that enhances the efficiency of circuit modeling.

Career Highlights

Throughout his career, David L. Allen has worked with leading companies in the technology sector, including Atrenta, Inc. and Synopsys, Inc. His expertise in hardware design and verification has positioned him as a key figure in the industry, contributing to advancements that streamline complex processes.

Collaborations

Allen has collaborated with notable professionals in his field, including Kaushik De and Adi Srinivasan. These partnerships have fostered innovation and have been instrumental in the development of his patented technologies.

Conclusion

David L. Allen's work exemplifies the intersection of machine learning and hardware design, showcasing his innovative spirit and dedication to advancing technology. His contributions continue to influence the field and inspire future developments in hardware verification.