المؤلفون: Andreas Kuehlmann Cadence, Andreas Kuehlmann, Malay K. Ganai

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_DAC_2001_Circuit.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.2453; http://www.cadence.com/company/cadence_labs/kuehl_DAC_2001_Circuit.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.2453
http://www.cadence.com/company/cadence_labs/kuehl_DAC_2001_Circuit.pdf

المؤلفون: Andreas Kuehlmann Ibm, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_1999_Probabilistic.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5295; http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_1999_Probabilistic.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5295
http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_1999_Probabilistic.pdf

المؤلفون: Donald Chai, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_DATE_2006_Building.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5299; http://www.cadence.com/company/cadence_labs/kuehl_DATE_2006_Building.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5299
http://www.cadence.com/company/cadence_labs/kuehl_DATE_2006_Building.pdf

المؤلفون: Zhong Xiu, David A. Papa, Philip Chong, Christoph Albrecht, Andreas Kuehlmann, Rob A. Rutenbar, Igor L. Markov

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.umich.edu/~imarkov/pubs/conf/ispd05-oagear.pdf.

مصطلحات موضوعية: D.7.2 [Integrated Circuits, Design Aids General Terms Algorithms, Design, Experimentation, Standardization Keywords Open source, EDA, database, physical design, timing, placement

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.7562; http://www.eecs.umich.edu/~imarkov/pubs/conf/ispd05-oagear.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.7562
http://www.eecs.umich.edu/~imarkov/pubs/conf/ispd05-oagear.pdf

المؤلفون: Donald Chai, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_TCAD_2005_Fast.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.7252; http://www.cadence.com/company/cadence_labs/kuehl_TCAD_2005_Fast.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.7252
http://www.cadence.com/company/cadence_labs/kuehl_TCAD_2005_Fast.pdf

المؤلفون: Nina Amla, Xiaoqun Du, Andreas Kuehlmann, Robert P. Kurshan, Kenneth L. McMillan

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_CHARME_2005_Analysis.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3300; http://www.cadence.com/company/cadence_labs/kuehl_CHARME_2005_Analysis.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3300
http://www.cadence.com/company/cadence_labs/kuehl_CHARME_2005_Analysis.pdf

المؤلفون: Hari Mony, Jason Baumgartner, Viresh Paruthi, Robert Kanzelman, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://users.ece.utexas.edu/~mony/expert_system.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.9909; http://users.ece.utexas.edu/~mony/expert_system.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.9909
http://users.ece.utexas.edu/~mony/expert_system.pdf

المؤلفون: Aaron P. Hurst, Philip Chong, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.eecs.berkeley.edu/~alanmi/courses/2005_290A/papers/ahurst_iccad04.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.4896; http://www.eecs.berkeley.edu/~alanmi/courses/2005_290A/papers/ahurst_iccad04.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.4896
http://www.eecs.berkeley.edu/~alanmi/courses/2005_290A/papers/ahurst_iccad04.pdf

المؤلفون: Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_2004_Dynamic.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.6409; http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_2004_Dynamic.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.6409
http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_2004_Dynamic.pdf

المؤلفون: Jason Baumgartner, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_DATE_2004_Enhanced.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.4157; http://www.cadence.com/company/cadence_labs/kuehl_DATE_2004_Enhanced.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.4157
http://www.cadence.com/company/cadence_labs/kuehl_DATE_2004_Enhanced.pdf

المؤلفون: Donald Chai, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_ICCD_2004_Circuit.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.2854; http://www.cadence.com/company/cadence_labs/kuehl_ICCD_2004_Circuit.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.2854
http://www.cadence.com/company/cadence_labs/kuehl_ICCD_2004_Circuit.pdf

المؤلفون: Kaushik Ravindran, Andreas Kuehlmann, Ellen Sentovich

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2003/iccad03/pdffiles/10c_1.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.5644; http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2003/iccad03/pdffiles/10c_1.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.377.5644
http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2003/iccad03/pdffiles/10c_1.pdf

المؤلفون: Donald Chai, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_DAC_2003_Fast.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.7311; http://www.cadence.com/company/cadence_labs/kuehl_DAC_2003_Fast.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.7311
http://www.cadence.com/company/cadence_labs/kuehl_DAC_2003_Fast.pdf

المؤلفون: Cong Liu, Andreas Kuehlmann, Matthew W. Moskewicz

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_2003_Cama.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3631; http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_2003_Cama.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3631
http://www.cadence.com/company/cadence_labs/kuehl_ICCAD_2003_Cama.pdf

المؤلفون: Guoqiang Wang, Andreas Kuehlmann, Alberto Sangiovanni-Vincentelli

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_ICCD_2003_Structural.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.1655; http://www.cadence.com/company/cadence_labs/kuehl_ICCD_2003_Structural.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.1655
http://www.cadence.com/company/cadence_labs/kuehl_ICCD_2003_Structural.pdf

المؤلفون: Donald Chai, Andreas Kuehlmann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2003/dac03/pdffiles/48_3.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, I.2.3 [Deduction and Theorem Proving, Inference engines, G.1.6 [Optimization, Integer programming General Terms, Algorithms, Verification Keywords, satisfiability, pseudo-Boolean, 0-1 ILP

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.2275; http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2003/dac03/pdffiles/48_3.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.568.2275
http://www.cs.york.ac.uk/rts/docs/SIGDA-Compendium-1994-2004/papers/2003/dac03/pdffiles/48_3.pdf

المؤلفون: HoonSang Jin, Andreas Kuehlmann, Fabio Somenzi

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_TACAS_2002_Fine-Grain.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.6148; http://www.cadence.com/company/cadence_labs/kuehl_TACAS_2002_Fine-Grain.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.6148
http://www.cadence.com/company/cadence_labs/kuehl_TACAS_2002_Fine-Grain.pdf

المؤلفون: Farhana Sheikh, Andreas Kuehlmann, Kurt Keutzer

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_TAU_2002_Minimum.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors B.2.5 [Register-Transfer-Level Implementation, Design Aids— Automatic synthesis, optimization, B.3.6 [Logic Design, Design Aids—Automatic synthesis, optimization General Terms Retiming Theory, Low-Power Design Keywords Low-power

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5067; http://www.cadence.com/company/cadence_labs/kuehl_TAU_2002_Minimum.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.5067
http://www.cadence.com/company/cadence_labs/kuehl_TAU_2002_Minimum.pdf

المؤلفون: Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_TCAD_2002_Robust.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.4917; http://www.cadence.com/company/cadence_labs/kuehl_TCAD_2002_Robust.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.4917
http://www.cadence.com/company/cadence_labs/kuehl_TCAD_2002_Robust.pdf

المؤلفون: Jason Baumgartner, Andreas Kuehlmann, Jacob Abraham

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cadence.com/company/cadence_labs/kuehl_CAV_2002_Property.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3380; http://www.cadence.com/company/cadence_labs/kuehl_CAV_2002_Property.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.3380
http://www.cadence.com/company/cadence_labs/kuehl_CAV_2002_Property.pdf