| 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 |