Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_3 ◽

2000 ◽

pp. 3-3

Author(s):

João Marques-Silva ◽

Karem Sakallah

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Boolean Satisfiability ◽

Satisfiability Algorithms ◽

Electronic Design

Download Full-text

Boolean satisfiability in electronic design automation

Proceedings 37th Design Automation Conference ◽

10.1145/337292.337611 ◽

2000 ◽

Cited By ~ 41

Author(s):

João P. Marques-Silva ◽

Karem A. Sakallah

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Boolean Satisfiability ◽

Electronic Design

Download Full-text

Electronic design automation libraries

10.3403/02996156 ◽

2004 ◽

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Electronic Design

Download Full-text

Electronic design automation libraries

10.3403/bsiec62014 ◽

2017 ◽

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Electronic Design

Download Full-text

An Application of Text Detection and Recognition for Electronic Design Automation

2020 IEEE International Conference on Consumer Electronics - Taiwan (ICCE-Taiwan) ◽

10.1109/icce-taiwan49838.2020.9258140 ◽

2020 ◽

Author(s):

Chih-Chang Yu ◽

Hsiao-Wei Chen ◽

Tzu-Ying Chen ◽

Po-Hao Chen ◽

Hsu-Yung Cheng

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Text Detection ◽

Detection And Recognition ◽

Electronic Design

Download Full-text

From Electronic Design Automation to Automotive Design Automation

Proceedings of the 2019 International Symposium on Physical Design - ISPD '19 ◽

10.1145/3299902.3311061 ◽

2019 ◽

Author(s):

Chung-Wei Lin

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Automotive Design ◽

Electronic Design

Download Full-text

Internet-Based Micro-Electronic Design Automation (IMEDA) Framework

Design Automation, Languages, and Simulations ◽

10.1201/9780203009284.ch1 ◽

2003 ◽

pp. 1-1-1-31

Author(s):

Moon Jung Chung ◽

Heechul Kim

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Electronic Design

Download Full-text

Internet Based Micro-Electronic Design Automation (IMEDA) Framework

Electrical Engineering Handbook - The VLSI Handbook ◽

10.1201/9781420049671.sec11 ◽

1999 ◽

Author(s):

Moon Jung Chung ◽

Heechul Kim

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Electronic Design

Download Full-text

Electronic Design Automation (EDA) Scheduling System in IC Design Industry

2019 IEEE International Conference on Smart Manufacturing, Industrial & Logistics Engineering (SMILE) ◽

10.1109/smile45626.2019.8965281 ◽

2019 ◽

Author(s):

Jia-Nian Zheng ◽

Chen-Fu Chien ◽

Tzu-Yu Lin ◽

Shih-Wei Liu ◽

Wei-Ting Huang

Keyword(s):

Design Automation ◽

Electronic Design Automation ◽

Ic Design ◽

Scheduling System ◽

Electronic Design

Download Full-text

High performance EM simulation and optimization and electronic design automation

IEEE Antennas and Propagation Magazine ◽

10.1109/map.2004.1374075 ◽

2004 ◽

Vol 46 (3) ◽

pp. 2-2

Keyword(s):

Design Automation ◽

High Performance ◽

Electronic Design Automation ◽

Simulation And Optimization ◽

Em Simulation ◽

Electronic Design

Download Full-text

Opportunities for Machine Learning in Electronic Design Automation

2018 IEEE International Symposium on Circuits and Systems (ISCAS) ◽

10.1109/iscas.2018.8351731 ◽

2018 ◽

Cited By ~ 6

Author(s):

Peter A. Beerel ◽

Massoud Pedram

Keyword(s):

Machine Learning ◽

Design Automation ◽

Electronic Design Automation ◽

Electronic Design

Download Full-text