This inventor holds 2 USPTO granted patents. Top assignee: Synopsys, Inc.. Active years: 2002-2006.
Location History:
- Beaverton, OR (US) (2002)
- Portland, OR (US) (2006)
Company Filing History:
Years Active: 2002-2006
Title: Brian Eugene Lockyear: Innovator in Digital Circuit Design
Introduction
Brian Eugene Lockyear is a notable inventor based in Portland, OR (US). He has made significant contributions to the field of digital integrated circuits, holding 2 patents that showcase his innovative approaches to solving complex design challenges.
Latest Patents
Lockyear's latest patents include a "Method and apparatus for solving constraints" and a "Method and apparatus for structural input/output matching for design verification." The first patent presents a decomposition technique for solving combinational constraint expressions. This technique enhances the ability to divide constraints into independent sets, which can streamline the constraint-solving process using a Binary Decision Diagram (BDD) representation. The patent details an AND decomposition based on Theorem 1, as well as an OR decomposition that relies on a corollary of Theorem 1. The invention also introduces a decomposition procedure for separating variables into disjoint sub-constraints and a merging procedure for cases where constraints may overlap.
The second patent focuses on formal verification in digital circuit design. It aims to determine necessary correspondences between inputs and outputs of two circuits to assess their equivalency. This invention employs a graph-coloring algorithmic approach applied to a simplified bipartite representation of the circuits. By establishing necessary correspondences, the invention allows for more efficient application of equivalency-determining methods, ultimately enhancing the design verification process.
Career Highlights
Brian Lockyear 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 the development of innovative solutions for digital circuit design.
Collaborations
Lockyear has collaborated with notable colleagues, including James Herbert Kukula and Carl Preston Pixley. These collaborations have contributed to the advancement of technology in the field of integrated circuits.
Conclusion
Brian Eugene Lockyear's contributions to digital circuit design through his patents and work at Synopsys, Inc. highlight his role as an influential inventor in the industry. His innovative methods continue to shape the future of electronic design automation.