Patents by Inventor Rahul Chauhdry

Rahul Chauhdry has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Synthesizing Checkers from Nondeterministic Finite Automaton
    Publication number: 20110161898
    Abstract: The present invention provides for the generation of non-deterministic checker circuits. for use in formal verification of electronic designs. In various implementations, an assertion is first received, subsequently; a failure sequence is derived from the assertion. After which, a non-deterministic finite automaton is derived from the failure sequence. Lastly, a checker circuit is generated directly from the non-deterministic finite automaton.
    Type: Application
    Filed: August 31, 2010
    Publication date: June 30, 2011
    Inventors: Rahul Chauhdry, Andrew Seawright