Issued Patents All Time
Showing 1–21 of 21 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12248745 | Generating integrated circuit placements using neural networks | Anna Darling Goldie, Azalia Mirhoseini, Ebrahim Songhori, Wenjie Jiang, Shen Wang +8 more | 2025-03-11 |
| 12086516 | Generating integrated circuit floorplans using neural networks | William Hang, Mustafa Nazim Yazgan, Anna Darling Goldie, Jeffrey Adgate Dean, Azalia Mirhoseini +3 more | 2024-09-10 |
| 11853677 | Generating integrated circuit placements using neural networks | Anna Darling Goldie, Azalia Mirhoseini, Ebrahim Songhori, Wenjie Jiang, Shen Wang +8 more | 2023-12-26 |
| 11675940 | Generating integrated circuit floorplans using neural networks | William Hang, Mustafa Nazim Yazgan, Anna Darling Goldie, Jeffrey Adgate Dean, Azalia Mirhoseini +3 more | 2023-06-13 |
| 11556690 | Generating integrated circuit placements using neural networks | Anna Darling Goldie, Azalia Mirhoseini, Ebrahim Songhori, Wenjie Jiang, Shen Wang +8 more | 2023-01-17 |
| 11216609 | Generating integrated circuit placements using neural networks | Anna Darling Goldie, Azalia Mirhoseini, Ebrahim Songhori, Wenjie Jiang, Shen Wang +8 more | 2022-01-04 |
| 11100266 | Generating integrated circuit floorplans using neural networks | William Hang, Mustafa Nazim Yazgan, Anna Darling Goldie, Jeffrey Adgate Dean, Azalia Mirhoseini +3 more | 2021-08-24 |
| 10699043 | Generating integrated circuit floorplans using neural networks | William Hang, Mustafa Nazim Yazgan, Anna Darling Goldie, Jeffrey Adgate Dean, Azalia Mirhoseini +3 more | 2020-06-30 |
| 9684760 | Measure of analysis performed in property checking | Jeremy Rutledge Levitt, Christophe Gauthron, Ping Fai Yeung, Kalyana C. Mulam, Ramesh Sathianathan | 2017-06-20 |
| 9262557 | Measure of analysis performed in property checking | Jeremy Rutledge Levitt, Christophe Gauthron, Ping Fai Yeung, Kalyana C. Mulam, Ramesh Sathianathan | 2016-02-16 |
| 8418121 | Measure of analysis performed in property checking | Jeremy Rutledge Levitt, Christophe Gauthron, Ping Fai Yeung, Kalyana C. Mulam, Ramesh Sathianathan | 2013-04-09 |
| 7890897 | Measure of analysis performed in property checking | Jeremy Rutledge Levitt, Christophe Gauthron, Ping Fai Yeung, Kalyana C. Mulam, Ramesh Sathianathan | 2011-02-15 |
| 7478028 | Method for automatically searching for functional defects in a description of a circuit | Robert Kristianto Mardjuki, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung, Paul II Estrada +5 more | 2009-01-13 |
| 7454324 | Selection of initial states for formal verification | James Andrew Garrard Seawright, Ramesh Sathianathan, Christophe Gauthron, Jeremy Rutledge Levitt, Kalyana C. Mulam +1 more | 2008-11-18 |
| 7318205 | Measure of analysis performed in property checking | Jeremy Rutledge Levitt, Christophe Gauthron, Ping Fai Yeung, Kalyana C. Mulam, Ramesh Sathianathan | 2008-01-08 |
| 7007249 | Method for automatically generating checkers for finding functional defects in a description of circuit | Tai A. Ly, Jean-Charles Giomi, Kalyana C. Mulam, Paul Andrew Wilcox, David Lansing Dill +5 more | 2006-02-28 |
| 6885983 | Method for automatically searching for functional defects in a description of a circuit | Robert Kristianto Mardjuki, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung, Paul Estrada +5 more | 2005-04-26 |
| 6848088 | Measure of analysis performed in property checking | Jeremy Rutledge Levitt, Christophe Gauthron, Ping Fai Yeung, Kalyana C. Mulam, Ramesh Sathianathan | 2005-01-25 |
| 6609229 | Method for automatically generating checkers for finding functional defects in a description of a circuit | Tai A. Ly, Jean-Charles Giomi, Kalyana C. Mulam, Paul Andrew Wilcox, David Lansing Dill +5 more | 2003-08-19 |
| 6292765 | Method for automatically searching for functional defects in a description of a circuit | Robert Kristianto Mardjuki, David Lansing Dill, Jing Chyuarn Lin, Ping Fai Yeung, Paul II Estrada +5 more | 2001-09-18 |
| 6175946 | Method for automatically generating checkers for finding functional defects in a description of a circuit | Tai A. Ly, Jean-Charles Giomi, Kalyana C. Mulam, Paul Andrew Wilcox, David Lansing Dill +5 more | 2001-01-16 |