| 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 |
