This inventor holds 3 USPTO granted patents and 2 published patent applications. Top assignee: Battelle Memorial Institute. Active years: 2026.
Company Filing History:
Years Active: 2026
Title: Innovations of Timothy A. McDonley
Introduction
Timothy A. McDonley is an accomplished inventor based in Grove City, OH (US). He has made significant contributions to the field of digital circuit design and modeling. With a total of 3 patents, his work focuses on enhancing the efficiency and reliability of circuit designs.
Latest Patents
Timothy's latest patents include "Finite State Machine Vulnerability and Pipeline Analysis Using Satisfiability Modeling." This patent presents a satisfiability modulo theory (SMT) modeling system that incorporates graphical representation circuitry to generate graphical data representing a circuit design. It also features finite state machine (FSM) discovery circuitry to identify an FSM within the graphical data based on a feedback loop of the circuit design. Additionally, it includes SMT assertion generation circuitry to create an SMT assertion set of the FSM, based on the combinatorial and/or sequential logic elements associated with the FSM. The SMT modeling circuitry then determines the behavior of the FSM by applying one or more logical functions to the SMT assertion set.
Another notable patent is "Digital Circuit Representation Using a Spatially Resolved Netlist." This patent outlines a method for generating a spatially resolved netlist that involves creating a netlist based on integrated circuit (IC) layout data and standard cell library data. The netlist includes cell and net definitions associated with the IC. The process determines position data for respective cells and nets based on the IC layout data, maps the position data to respective cell and net definitions in the netlist, and ultimately generates a spatially resolved netlist that includes the mapped position data.
Career Highlights
Timothy A. McDonley is currently employed at Battelle Memorial Institute, where he continues to innovate in the field of circuit design and modeling. His work at Battelle has allowed him to contribute to various projects that push the boundaries of technology.
Collaborations
Some of Timothy's notable coworkers include Katie Liszewski and Adam G. Kimura. Their collaborative efforts have further enhanced the innovative environment at Battelle Memorial Institute.
Conclusion
Timothy A. McDonley is a prominent inventor whose work in digital circuit design has led to significant advancements in the field. His patents reflect a deep understanding of circuit modeling and design, showcasing his commitment to innovation.