Issued Patents All Time
Showing 25 most recent of 106 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10296690 | Optimizing designs of integrated circuits | Jovanka Ciric Vujkovic | 2019-05-21 |
| 10296689 | Automated bottom-up and top-down partitioned design synthesis | Smita Bakshi, Gael Paul | 2019-05-21 |
| 10268797 | Architectural physical synthesis | Benoit Lemonnier, William Halpin | 2019-04-23 |
| 9285796 | Approximate functional matching in electronic systems | Igor Markov | 2016-03-15 |
| 9280632 | Methods and apparatuses for circuit design and optimization | Saurabh Adya, Gael Paul | 2016-03-08 |
| 9208281 | Optimizing designs of integrated circuits | Jovanka Ciric Vujkovic | 2015-12-08 |
| 9195790 | Statistical formal activity analysis with consideration of temporal and spatial correlations | Zhenyu Gu | 2015-11-24 |
| 9069920 | Automated circuit design | Bing Tian | 2015-06-30 |
| 9038013 | Circuit partitioning and trace assignment in circuit design | Awartika Pandey, Drazen Borkovic | 2015-05-19 |
| 8990743 | Automated circuit design | Champaka Ramachandran, Andrew Crews | 2015-03-24 |
| 8966415 | Architectural physical synthesis | Benoit Lemonnier, William Halpin | 2015-02-24 |
| 8881086 | Integrated circuit devices and methods and apparatuses for designing integrated circuit devices | — | 2014-11-04 |
| 8881088 | Thermal analysis based circuit design | Khalid Rahmat | 2014-11-04 |
| 8843862 | Method and apparatus for creating and changing logic representations in a logic design using arithmetic flexibility of numeric formats for data | — | 2014-09-23 |
| 8819608 | Architectural physical synthesis | Benoit Lemonnier, William Halpin | 2014-08-26 |
| 8756557 | Techniques for use with automated circuit design and simulations | Chun Kit Ng, Richard C. Maixner, Mario Larouche | 2014-06-17 |
| 8732645 | Placement and routing cells on integrated circuit chips | Roger P. Ang, Ken R. McElvain | 2014-05-20 |
| 8729922 | Licensing programmable hardware sub-designs using a host-identifier | — | 2014-05-20 |
| 8726219 | Analysis of digital circuits with time division multiplexing | Drazen Borkovic | 2014-05-13 |
| 8724665 | Pseudo-synchronous time division multiplexing | — | 2014-05-13 |
| 8701068 | Interconnection device in a multi-layer shielding mesh | William Halpin | 2014-04-15 |
| 8689165 | Optimizing designs of integrated circuits | Jovanka Ciric Vujkovic | 2014-04-01 |
| 8656327 | Statistical formal activity analysis with consideration of temporal and spatial correlations | Zhenyu Gu | 2014-02-18 |
| 8640061 | Automated circuit design | Bing Tian | 2014-01-28 |
| 8595674 | Architectural physical synthesis | Benoit Lemonnier, William Halpin | 2013-11-26 |