Patents by Inventor Shardul Kazi

Shardul Kazi 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).

  • Finite state machine transition analyzer
    Patent number: 5517432
    Abstract: A state machine synthesis tool, a state table script generator, a state table extraction tool, a simulation driver, a simulator, and an interactive reporter, are provided to verify the design and implementation of finite state machines (FSMs). The synthesis tool takes a formal specification of a logic circuit where FSMs are embedded as input, and generates a gate level specification of the logic circuit. The state table script generator takes the same formal specification of the logic circuit as input, and generates state table extraction command files for the FSMs. The state table extraction tool takes the gate level specification of the logic circuit and the state table extraction command files of the FSMs as inputs, and generates state tables for the FSMs.
    Type: Grant
    Filed: January 31, 1994
    Date of Patent: May 14, 1996
    Assignees: Sony Corporation of Japan, Sony Electronics, Inc.
    Inventors: Susheel Chandra, Shardul Kazi, Jim Yeh