Formal Synthesis is a methodology developed at Kent for combining circuit design and veriication. We have reinterpreted this methodology in Isabelle's theory of higher-order logic so that circuits are synthesized using higher-order resolution. Our interpretation sim-pliies and extends Formal Synthesis both conceptually and in implementation. It also supports integration of this development styl...

Continuous advancements in integrated circuit design and the constant development of a diverse set of computing applications, paved the way for versatile mobile devices that we use on daily basis. The dependency of these devices on battery as the main power source imposed strict constraints on the energy consumption of applications that run on these mobile devices. In this paper, we present a c...

This paper covers the evaluation and fine-tuning of different values of genetic operator’s parameters in the process of optimizing the designs of the integrated circuits. We investigated the interdependence of various values of these parameters in the use over the set of test-bench circuits, as well as their influence on the quality of the final solution and the convergence speed. Due to the in...

III.1. Basic Model for the Operational Amplifier. The OPerational AMPlifier (OPAMP) is a key building block in analog integrated circuit design. The OPAMP is composed by several transistors and passive elements (resistors and capacitors) and arranged such that its low frequency voltage gain is very high; the dc gain of the OPAMP-741 is around 10 V/V (10 μV at the input give us 1 V at the output...

The purpose of this paper is to present a methodology for the evaluation of the Defect Level in an IC design environment. The methodology is based on the extension of Williams-Brown formula to non equiprobable faults, which are collected from the IC layout, using the information on a typical IC process line defect statistics. The concept of weighted fault coverage is introduced, and the Defect ...

The purpose of this paper is to evaluate the weight values of key factors in a manager’s leadership skills that affect job performance in the listed IC Design Houses in Taiwan. The research subjects are three of the typically listed IC design houses in Taiwan. This paper adopts Analytic Network Process (ANP) to analyze the relevance of each criterion, and to identify the important factors of ea...

Until recently, integrated circuit design was based on the following contract between design andmanufacturing: designs are to follow a set of manufacturing-driven constraints (commonly known as ‘design rules’), and manufacturing is to meet the performance and yield targets in producing the specified design. This arrangement worked for many years until the designs of sub-100nmnodes came along, w...

Signals and systems is an important aspect of radio science. The recent progress of the research activities of signals and systems in China is reviewed in this paper. It covers the most advanced and important developments during years of 1998~2001. The review is based on the following categories: wideband CDMA, software radio, digital audio broadcasting technologies, information processing, rad...