Richard Louis Henry Carbone

Title: The Innovations of Richard Louis Henry Carbone

Introduction

Richard Louis Henry Carbone is an accomplished inventor based in Webster, NY (US). He has made significant contributions to the field of technology, particularly in the area of memory arrays. His innovative work has led to the development of a unique patent that enhances the verification processes in logic models.

Latest Patents

Carbone holds a patent for "Automated verification of technology specific and technology independent logic models of a memory array." This patent describes a computer-implemented method for the automated generation and verification of both technology-specific and technology-independent logic models of a memory array. The method involves having a first set of parameters and a set of constraints, creating a second set of parameters, and generating the technology-independent model using these parameters and constraints. Additionally, it generates the technology-specific model and verifies both models for equivalence on a sequential logic basis. He has 1 patent to his name.

Career Highlights

Carbone is currently employed at International Business Machines Corporation, commonly known as IBM. His role at IBM allows him to work on cutting-edge technology and contribute to advancements in the field of computing.

Collaborations

Throughout his career, Carbone has collaborated with notable colleagues, including Thomas Kalla and Jentje Leenstra. These collaborations have further enriched his work and contributed to the success of various projects.

Conclusion

Richard Louis Henry Carbone is a notable inventor whose work in automated verification of logic models has made a significant impact in technology. His contributions continue to influence advancements in memory array technologies.