Patents by Inventor Shing Fu Pang

Shing Fu Pang 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).

  • Device pin mux configuration solving and code generation via Boolean satisfiability
    Patent number: 9465904
    Abstract: This invention is a signal input/output design tool for integrated circuit input/output design. The connectivity capacity of at least multiplexer connecting internal signals and external lines is expressed as a first set of Boolean expressions. The desired connectivity between internal signals and external lines is expressed is provided by a designer. A programmed general purpose computer expresses the desired connectivity as a second set of Boolean expressions and determines whether said first set of Boolean expressions and said second set of Boolean expressions are Boolean satisfiable. If satisfiable, the design tool generates control signals to configure the at least one multiplexer to achieve the desired connectivity. If not satisfiable, the design tool generates a report indicating which portions of the desired connectivity are achievable and which are not.
    Type: Grant
    Filed: March 23, 2015
    Date of Patent: October 11, 2016
    Assignee: TEXAS INSTRUMENTS INCORPORATED
    Inventors: Darian Robert Peter Sale, Mandeep Singh Deol, Paul Ian Strathdee Marshall, Paul Arthur Gingrich, Shing Fu Pang, Victor Xi Yang, Andrew Edward Waterson, Steven Derrick Clynes
  • Device Pin Mux Configuration Solving and Code Generation via Boolean Satisfiability
    Publication number: 20150278423
    Abstract: This invention is a signal input/output design tool for integrated circuit input/output design. The connectivity capacity of at least multiplexer connecting internal signals and external lines is expressed as a first set of Boolean expressions. The desired connectivity between internal signals and external lines is expressed is provided by a designer. A programmed general purpose computer expresses the desired connectivity as a second set of Boolean expressions and determines whether said first set of Boolean expressions and said second set of Boolean expressions are Boolean satisfiable. If satisfiable, the design tool generates control signals to configure the at least one multiplexer to achieve the desired connectivity. If not satisfiable, the design tool generates a report indicating which portions of the desired connectivity are achievable and which are not.
    Type: Application
    Filed: March 23, 2015
    Publication date: October 1, 2015
    Inventors: Darian Robert Peter Sale, Mandeep Singh Deol, Paul Ian Strathdee Marshall, Paul Arthur Gingrich, Shing Fu Pang, Victor Xi Yang, Andrew Edward Waterson, Steven Derrick Clynes