Location History:
- Chelmsford, MA (US) (2006 - 2014)
- Carlisle, MA (US) (2019)
Company Filing History:
Years Active: 2006-2019
Title: Innovations of Ashvin Mark Dsouza
Introduction
Ashvin Mark Dsouza is a notable inventor based in Chelmsford, MA (US). He has made significant contributions to the field of formal verification, holding a total of 5 patents. His work focuses on enhancing the efficiency and accuracy of circuit design verification processes.
Latest Patents
One of his latest patents is titled "Formal verification using cached search path information to verify previously proved/disproved properties." This innovative tool verifies multiple sequentially-generated versions of a core circuit design by utilizing search path information obtained from a formal verification solver. This approach allows for quick verification of properties that have been previously proven or disproven, streamlining the verification process for later-generated circuit designs.
Another significant patent is "Automatic approximation of assumptions for formal property verification." This system simplifies a set of assumptions for a circuit design and verifies whether the design satisfies a set of assertions when the simplified assumptions are met. The system identifies subsets of assumptions that share logic with assertions and modifies them to refine the verification process.
Career Highlights
Ashvin Dsouza 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 field of formal verification, contributing to advancements that benefit the industry.
Collaborations
Throughout his career, Ashvin has collaborated with notable colleagues, including Eduard Rudolf Cerny and Kevin Michael Harer. These collaborations have further enriched his work and contributed to the development of innovative solutions in circuit design verification.
Conclusion
Ashvin Mark Dsouza's contributions to formal verification demonstrate his expertise and commitment to innovation in circuit design. His patents reflect a deep understanding of the complexities involved in verification processes, making him a valuable asset to the field.