T he Design Automation Conference has the reputation of bringing together practitioners in a variety of disciplines who share the common goal of using the computer to perform design tasks. Correspondingly, the design field's most significant development in recent years has been the integration of individual disciplines into systems that extend throughout the design process from conception to ma...

y Formal methods are easily dismissed as heavy weight and irrelevant. People legitimately ask to see what impact formal methods have had on software development practices outside of those areas where governments or regulatory agencies have mandated their use. We argue that design automation is an opportunity for the insertion of formal methods into software development practice. In particular, ...

Electronic system design has been becoming more and more complex. It is very common to have dozens of IP modules in a single system. To quickly simulate the system is becoming a challenge. On the other hand, computing facilities, on which people run actual simulation, are becoming more and more powerful by having more powerful single processor and by building parallel machines. However, there i...

Verification of electrostatic discharge (ESD) design rules has grown in volume and complexity as IC designs have become more complex and added significantly more power domains. With each additional power domain, verification of the signals that cross these domains becomes more difficult (particularly in the identification of inadvertent paths), as well as the check of interactions between circu...

Design automation or computer-aided design (CAD) for field programmable gate arrays (FPGAs) has played a critical role in the rapid advancement and adoption of FPGA technology over the past two decades. The purpose of this paper is to meet the demand for an up-todate comprehensive survey/tutorial for FPGA design automation, with an emphasis on the recent developments within the past 5–10 years....

Design Automation for Streaming Systems by Eylon Caspi Doctor of Philosophy in Computer Science University of California, Berkeley Professor John Wawrzynek, Chair RTL design methodologies are struggling to meet the challenges of modern, large system design. Their reliance on manually timed design with fully exposed device resources is laborious, restricts reuse, and is increasingly ineffective ...

The recent spectacular progress in modern microelectronics created a big stimulus towards development of embedded systems. Unfortunately, it also introduced unusual complexity which results in many serious issues that cannot be resolved without new more adequate development methods and electronic design automation tools for the system-level design. This paper discusses the problem of an efficie...

This paper analyzes two work processes involved in defense acquisition which are replete with uncertainties. These are the proposal phase and the architectural design phase. Both phases involve a vendor designing alternative system in response to a set of stated (and perceived.) requirements, followed by the government agency's final selection of a preferred system design (and a preferred contr...