Machine Learning for Electronic Design Automation: A Survey

With the down-scaling of CMOS technology, the design complexity of very large-scale integrated is increasing. Although the application of machine learning (ML) techniques in electronic design automation (EDA) can trace its history back to the 1990s, the recent breakthrough of ML and the increasing complexity of EDA tasks have aroused more interest in incorporating ML to solve EDA tasks. In this article, we present a comprehensive review of existing ML for EDA studies, organized following the EDA hierarchy.

Chapter 18. Bounded Model Checking

One of the most important industrial applications of SAT is currently Bounded Model Checking (BMC). This technique is typically used for formal hardware verification in the context of Electronic Design Automation. But BMC has successfully been applied to many other domains as well. In practice, BMC is mainly used for falsification, which is concerned with violations of temporal properties. In addition, a considerable part of this chapter discusses complete extensions, including k-induction and interpolation. These extensions also allow to prove properties.

Development Electronic Design Automation for RF/Microwave Antenna Using MATLAB GUI

This chapter presents the development of a user-friendly MATLAB-based electronic design automation (EDA) tool for RF/microwave antenna design. The development steps of EDA using MATLAB ‘guide' and MATLAB ‘appdesigner' design environments have been explained in detail. In this chapter, seven EDAs of different antennas are developed and described. The EDA is capable of predicting the dimensions of the antenna by inputting the desired operating specifications of the antenna, such as operating frequency. The rigorous analytical formulations that are implemented in this EDA are briefly described. The developed EDAs have simple and standalone guide user interface (GUI) display and fast program running time compared to iterative solution or numerical-based EDAs. The developed EDAs can be packaged and accessed either as standalone desktop app or web app. The accuracy of the EDA output results is validated by comparing to measurement and simulation results obtained from a commercial simulator.