Issued Patents All Time
Showing 1–18 of 18 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10515168 | Formal verification using microtransactions | Pankaj P. Chauhan, Sameer Kapoor, Saurabh Jain, Kunal Bindal, Bryan Darrell Bowyer +3 more | 2019-12-24 |
| 9817929 | Formal verification using microtransactions | Pankaj P. Chauhan, Sameer Kapoor, Saurabh Jain, Kunal Bindal, Bryan Darrell Bowyer +3 more | 2017-11-14 |
| 8522197 | Hierarchical presentation techniques for a design tool | Simon Joshua Waters, Bryan Darrell Bowyer | 2013-08-27 |
| 8205175 | Structured algorithmic programming language approach to system design | Simon Joshua Waters, Andres R. Takach | 2012-06-19 |
| 8146030 | Interactive loop configuration in a behavioral synthesis tool | David Gaines Burnette | 2012-03-27 |
| 7844944 | Hierarchical presentation techniques for a design tool | Simon Joshua Waters, Bryan Darrell Bowyer | 2010-11-30 |
| 7840931 | Loop manipulation if a behavioral synthesis tool | Michael F. Fingeroff, Andres R. Takach | 2010-11-23 |
| 7831938 | Interactive interface resource allocation in a behavioral synthesis tool | Bryan Darrell Bowyer, Simon Joshua Waters | 2010-11-09 |
| 7712050 | Hierarchical presentation techniques for a design tool | Simon Joshua Waters, Bryan Darrell Bowyer | 2010-05-04 |
| 7496864 | Interactive loop configuration in a behavioral synthesis tool | David Gaines Burnette | 2009-02-24 |
| 7412684 | Loop manipulation in a behavioral synthesis tool | Andres R. Takach, Bryan Darrell Bowyer | 2008-08-12 |
| 7353491 | Optimization of memory accesses in a circuit design | Michael F. Fingeroff, Andres R. Takach | 2008-04-01 |
| 7310787 | Array transformation in a behavioral synthesis tool | Shiv Prakash, Bryan Darrell Bowyer | 2007-12-18 |
| 7308672 | Structured algorithmic programming language approach to system design | Simon Joshua Waters, Andres R. Takach | 2007-12-11 |
| 7302670 | Interactive interface resource allocation in a behavioral synthesis tool | Bryan Darrell Bowyer, Simon Joshua Waters | 2007-11-27 |
| 7120879 | Hierarchical presentation techniques for a design tool | Simon Joshua Waters, Bryan Darrell Bowyer | 2006-10-10 |
| 6817007 | Interactive loop configuration in a behavioral synthesis tool | David Gaines Burnette | 2004-11-09 |
| 6701501 | Structured algorithmic programming language approach to system design | Simon Joshua Waters, Andres R. Takach | 2004-03-02 |