| 9672306 |
Preparing engineering change orders for physical design using boolean equivalence checking tools |
Thomas A. Haselhorst, Scott Mack |
2017-06-06 |
| 9576091 |
Preparing engineering change orders for physical design using boolean equivalence checking tools |
Thomas A. Haselhorst, Scott Mack |
2017-02-21 |
| 9087172 |
Implementing enhanced net routing congestion resolution of non-rectangular or rectangular hierarchical macros |
Matthew R. Ellavsky, Timothy D. Helvey, Brandon E. Schenck, Jason L. Van Vreede, Bradley C. White |
2015-07-21 |
| 8826214 |
Implementing Z directional macro port assignment |
Matthew R. Ellavsky, Timothy D. Helvey, Phillip P. Normand, Jason L. Van Vreede, Bradley C. White |
2014-09-02 |
| 8689170 |
Changing the location of a buffer bay in a netlist |
Matthew R. Ellavsky, Timothy D. Helvey, Phillip P. Normand, Jason L. VanVreede, Bradley C. White |
2014-04-01 |
| 8448121 |
Implementing Z directional macro port assignment |
Matthew R. Ellavsky, Timothy D. Helvey, Phillip P. Normand, Jason L. Van Vreede, Bradley C. White |
2013-05-21 |
| 8413104 |
Changing the location of a buffer bay in a netlist |
Matthew R. Ellavsky, Timothy D. Helvey, Phillip P. Normand, Jason L. Van Vreede, Bradley C. White |
2013-04-02 |
