Kathryn Drews Kranen

Title: Inventor Kathryn Drews Kranen

Introduction

Kathryn Drews Kranen is an innovative inventor based in Menlo Park, California, recognized for her contributions to the field of circuit design. With a total of eight patents to her name, Kranen has made significant advancements in technologies that facilitate the design and verification of digital circuits.

Latest Patents

One of her latest patents focuses on isolating differences between revisions of a circuit design. This patent describes a method where an executable circuit design generates waveforms, capturing the behaviors of the circuit. These behaviors, along with detailed descriptions and metadata, are stored in a comprehensive database, creating a behavioral index for the circuit design code. This indexing capability not only assists users in tracking behavioral changes throughout the evolution of the circuit design but also enhances the reuse of executable descriptions in future projects. This approach is particularly beneficial in digital design development, streamlining current design efforts and ensuring the viability of design reuse.

Another patent is centered on the guided exploration of circuit design states. This innovation employs a model checking tool that probes the state-space of the circuit design by identifying intermediate states that facilitate the journey from the initial to the target state. Through iterative processes, the tool efficiently narrows the state-space search, significantly reducing time and memory usage required to achieve the target state. Additionally, the tool explores the state-space in parallel from computed restart states, minimizing the chances of overlooking crucial intermediate or target states.

Career Highlights

Kranen has had an impressive career, contributing her expertise to reputable companies such as Jasper Design Automation and Cadence Design Systems. Her work in these institutions has not only sharpened her skills but also allowed her to make groundbreaking contributions to the field of circuit design.

Collaborations

Throughout her career, Kranen has collaborated with esteemed professionals, including Chung-Wah Norris Ip and Rajeev Kumar Ranjan. These partnerships have fostered a collaborative environment that encourages innovation and leads to the development of cutting-edge technologies.

Conclusion

Kathryn Drews Kranen stands out as a pioneering inventor in circuit design innovations. Her patents not only illustrate her technical mastery and creativity but also underline her commitment to enhancing the efficiency and effectiveness of digital design processes. With continued contributions from innovators like Kranen, the future of circuit design looks promising.