| 9067453 |
Book production system, method and program storage medium |
Michael Wiegand, Albert L. O'Neil, III |
2015-06-30 |
| 8677304 |
Task-based multi-process design synthesis |
Anthony D. Drumm, Jagannathan Narasimhan, Lakshmi N. Reddy, Louise H. Trevillyan |
2014-03-18 |
| 8418108 |
Accuracy pin-slew mode for gate delay calculation |
Charles J. Alpert, Zhuo Li, Gi-Joon Nam, David A. Papa, Chin Ngai Sze +1 more |
2013-04-09 |
| 8407638 |
Methods and apparatus for boolean equivalency checking in the presence of voting logic |
Victor A. Acuna, Robert L. Kanzelman, Scott Mack |
2013-03-26 |
| 8407652 |
Task-based multi-process design synthesis |
Anthony D. Drumm, Jagannathan Narasimhan, Lakshmi N. Reddy, Louise H. Trevillyan |
2013-03-26 |
| 7568006 |
e-Business on-demand for design automation tools |
— |
2009-07-28 |
| 7480877 |
Methods and apparatus for Boolean equivalency checking in the presence of voting logic |
Victor A. Acuna, Robert L. Kanzelman, Scott Mack |
2009-01-20 |
| 7168057 |
Targeted optimization of buffer-tree logic |
Anthony D. Drumm |
2007-01-23 |
| 7100140 |
Generation of graphical congestion data during placement driven synthesis optimization |
Michael D. Amundson |
2006-08-29 |
| 6643683 |
Interactive client-server environment for performing collaborative timing analysis of circuit designs |
Anthony D. Drumm, Mark S. Fredrickson, Marcus Matthew Poplawski |
2003-11-04 |
