Issued Patents All Time
Showing 1–25 of 31 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12141233 | Method, system, and computer program product for characterizing an electronic circuit using model order reduction-based envelope fourier techniques | Marco Tony Lloyd Kassis, Mina Adel Aziz Farhan | 2024-11-12 |
| 11348252 | Method and apparatus for supporting augmented and/or virtual reality playback using tracked objects | Alan McKay Moss, Krishnaprasad Jagadash, Hector M. Medina, Fabricio Tofoli, Jun Liu +2 more | 2022-05-31 |
| 10860767 | Systems and methods for transient simulation of circuits with mutual inductors | Mina Adel Aziz Farhan | 2020-12-08 |
| 10423744 | Reduced resource harmonic balance circuit simulations | Jun Meng, Yunbo Pang | 2019-09-24 |
| 10068044 | System and method for efficient device testing and validation of fast transients | Yinghong Zhou, Ilya Yusim | 2018-09-04 |
| 8966421 | Static timing analysis methods for integrated circuit designs using a multi-CCC current source model | Vinod Kariat, Igor Keller, King-Ho Tam | 2015-02-24 |
| 8799840 | Branch and bound techniques for computation of critical timing conditions | Luis Guerra e Silva, Luis Miguel Silveira | 2014-08-05 |
| 8782583 | Waveform based variational static timing analysis | Saurabh Kumar Tiwary, Igor Keller | 2014-07-15 |
| 8726211 | Generating an equivalent waveform model in static timing analysis | Qunzeng Liu, Igor Keller | 2014-05-13 |
| 8631369 | Methods, systems, and apparatus for timing and signal integrity analysis of integrated circuits with semiconductor process variations | Vinod Kariat, Igor Keller | 2014-01-14 |
| 8601420 | Equivalent waveform model for static timing analysis of integrated circuit designs | Igor Keller, Jijun Chen | 2013-12-03 |
| 8533644 | Multi-CCC current source models and static timing analysis methods for integrated circuit designs | Vinod Kariat, Igor Keller, King-Ho Tam | 2013-09-10 |
| 8516420 | Sensitivity and static timing analysis for integrated circuit designs using a multi-CCC current source model | Vinod Kariat, Igor Keller, King-Ho Tam | 2013-08-20 |
| 8375343 | Methods and apparatus for waveform based variational static timing analysis | Saurabh Kumar Tiwary, Igor Keller | 2013-02-12 |
| 8341567 | Boolean satisfiability based verification of analog circuits | Saurabh Kumar Tiwary, Anubhav Gupta, Claudio Pinello, Radu Zlatanovici | 2012-12-25 |
| 8341572 | Methods and apparatus for waveform based variational static timing analysis | Saurabh Kumar Tiwary, Igor Keller | 2012-12-25 |
| 8325188 | Method and system for implementing a waveform viewer | Sherry Solden, Henry Chang, Kenneth S. Kundert, Ted Vucurevich | 2012-12-04 |
| 8245165 | Methods and apparatus for waveform based variational static timing analysis | Saurabh Kumar Tiwary, Igor Keller | 2012-08-14 |
| 8245167 | Branch and bound techniques for computation of critical timing conditions | Luis Guerra e Silva, Luis Miguel Silveira | 2012-08-14 |
| 8195440 | Method and apparatus for simulating quasi-periodic circuit operating conditions using a mixed frequency/time algorithm | Dan Feng, Kenneth S. Kundert | 2012-06-05 |
| 8180621 | Parametric perturbations of performance metrics for integrated circuits | — | 2012-05-15 |
| 7996193 | Method for reducing model order exploiting sparsity in electronic design automation and analysis | Zuochang Ye, Zhenhai Zhu | 2011-08-09 |
| 7882471 | Timing and signal integrity analysis of integrated circuits with semiconductor process variations | Vinod Kariat, Igor Keller | 2011-02-01 |
| 7853910 | Parasitic effects analysis of circuit structures | Zhenhai Zhu, Zuo-Chang Ye | 2010-12-14 |
| 7590518 | Circuit analysis utilizing rank revealing factorization | — | 2009-09-15 |