Horia A Toma

Title: Horia A Toma: Innovator in Clock-Domain-Crossing Design

Introduction

Horia A Toma is a notable inventor based in Sunnyvale, CA. He has made significant contributions to the field of electronic design automation, particularly in clock-domain-crossing (CDC) methodologies. With a total of 2 patents, Toma's work focuses on enhancing the robustness of circuit verification processes.

Latest Patents

Toma's latest patents include innovative methods and apparatuses related to clock-domain-crossing specific design mutations. These designs aim to model silicon behavior and measure verification robustness. The first patent describes how CDC signal paths can be identified in a circuit design. It also details the identification of synchronization circuitry associated with these signal paths. Design mutations can be added to the identified synchronization circuitry, which can then be utilized during functional verification to assess the robustness of a circuit verification test suite.

The second patent focuses on a dynamic FIFO for simulation purposes. In this design, a circuit can be divided into blocks described by models. To facilitate efficient data transfer between source and destination models, a dynamic first-in first-out (FIFO) can be implemented. The initial size of this FIFO can be set to a small value, with automatic increments to prevent deadlock. This approach allows for tight control over memory resources, ensuring efficient use of silicon resources.

Career Highlights

Horia A Toma is currently employed at Synopsys, Inc., a leading company in electronic design automation. His work at Synopsys has positioned him as a key player in advancing design methodologies that improve verification processes in circuit design.

Collaborations

Toma has collaborated with notable colleagues, including Jean-Marc Albert Forey and Namit Gupta. These collaborations have contributed to the development of innovative solutions in the field of electronic design.

Conclusion

Horia A Toma's contributions to clock-domain-crossing design and simulation methodologies have significantly impacted the field of electronic design automation. His innovative patents and work at Synopsys, Inc. highlight his role as a leading inventor in this domain.