Company Filing History:
Years Active: 2008-2010
Title: Nina Amla: Innovator in Digital Design Verification
Introduction
Nina Amla is a prominent inventor based in Hoboken, NJ (US). She has made significant contributions to the field of digital design verification, holding 2 patents that showcase her innovative approach to improving verification processes.
Latest Patents
One of her latest patents is titled "System and method for abstraction refinement verification." This invention provides an apparatus and methods for the verification of digital design descriptions. The method includes deriving an abstraction of the digital design description, determining a counterexample through approximate reachable state computation, justifying the counterexample, and updating the abstraction to produce a verification result. This embodiment is particularly notable for its efficiency in digital circuit verification.
Another significant patent is "Method and system for design verification using proof-based abstraction." This design verifier includes a bounded model checker, an abstractor, and an unbounded model checker. The bounded model checker verifies a property to a specified depth and either finds a counterexample or generates a proof. If no counterexample is found, the abstractor creates an abstracted design description, which is then verified by the unbounded model checker. This iterative process enhances the reliability of design verification.
Career Highlights
Nina Amla is currently employed at Cadence Design Systems, Inc., where she continues to advance her research and development in digital design verification. Her work has been instrumental in enhancing the capabilities of design verification tools.
Collaborations
Nina collaborates with Kenneth L McMillan, a fellow innovator in the field. Their partnership has led to advancements in verification methodologies and tools.
Conclusion
Nina Amla's contributions to digital design verification through her patents and work at Cadence Design Systems, Inc. highlight her role as a leading inventor in this critical area of technology. Her innovative methods are paving the way for more efficient verification processes in digital design.