Device pin mux configuration solving and code generation via Boolean satisfiability

Assignee

• Texas Instruments

Inventors

• Darian Robert Peter Sale (2 patents)
• Mandeep Singh Deol (1 patents)
• Paul Ian Strathdee Marshall (1 patents)
• Paul Arthur Gingrich (1 patents)
• Shing Fu Pang (1 patents)
• Victor Xi Yang (1 patents)
• Andrew Waterson (2 patents)
• Steven Clynes (6 patents)

View full patent text on Google Patents →