Location History:
- Newberg, OR (US) (2006 - 2013)
- Wilsonville, OR (US) (2017 - 2019)
Company Filing History:
4 out of 672 
2 out of 18 
6 out of 832,843 Years Active: 2006-2019
Title: The Innovations of Bryan Darrell Bowyer
Introduction
Bryan Darrell Bowyer is a notable inventor based in Newberg, Oregon, with a remarkable portfolio of 12 patents. His work primarily focuses on advancements in formal verification methods for circuit descriptions, showcasing his expertise in the field of electronics and computer engineering.
Latest Patents
Among his latest patents is a significant contribution titled "Formal verification using microtransactions." This invention discloses representative embodiments of methods, apparatus, and systems for performing formal verification of circuit descriptions. The technology involves the formal verification of a register-transfer-level (RTL) circuit description produced from a high-level synthesis tool, such as a C++ or SystemC synthesis tool. It compares the RTL description to the original high-level code from which it was synthesized, utilizing sub-functional-call-level transactions to enhance accuracy and reliability.
Career Highlights
Bryan has had a distinguished career, working with prominent companies such as Mentor Graphics Corporation. His experience in the industry has allowed him to develop innovative solutions that address complex challenges in circuit design and verification.
Collaborations
Throughout his career, Bryan has collaborated with talented individuals, including Peter Pius Gutberlet and Simon Joshua Waters. These partnerships have contributed to the advancement of his projects and the successful development of his patents.
Conclusion
Bryan Darrell Bowyer's contributions to the field of formal verification and circuit design are significant, reflecting his dedication to innovation and excellence. His patents continue to influence the industry and pave the way for future advancements.