History of the Book The last three decades have witnessed an explosive development in - tegrated circuit fabrication technologies. The complexities of current CMOS circuits are reaching beyond the 65 nanometer feature size and multi-hundred million transistors per integrated circuit. To fully exploit this technological potential, circuit designers use sophisticated Computer-Aided Design (CAD) tools. While supporting the talents of innumerable microelectronics engineers, these CAD tools have become the enabling factor responsible for the succe- ful design and implementation of thousands of high performance, large scale integrated circuits. This book (a research monograph) originated from a body of doctoral d- sertationresearchcompletedbythe?rstauthorattheUniversityofRochester from 1994 to 1999 while under the supervision of Prof. Eby G. Friedman. This research focuses on issues in the design of the clock distribution network in large scale, high performance digital synchronous circuits and particularly, on algorithmsfornon-zero clockskewscheduling.Duringthedevelopmentofthis research, it became clear that incorporating timing issues into the successful integrated circuit design process is of fundamental importance, particularly in that advanced theoretical developments in this area have been slow to reach the designers’ desktops. The second edition of the book is enhanced by the body of doctoral dissertation research completed by the second author at the University of Pittsburgh from 2000 to 2005 under the supervision of Prof.

What This Book Is About
I will first introduce the necessary concepts and tools of verifica- tion, then I’ll describe a process for carrying out an effective func- tional verification of a design. It is necessary to cover some language semantics that are often overlooked or oversimplified in textbooks intent on describing the synthesizeable subset. These unfamiliar semantics become important in understanding what makes a well-implemented and robust testbench and in providing the necessary control and monitor features.

Nonlinear Modeling: Advanced Black-Box Techniques discusses methods on
Neural nets and related model structures for nonlinear system identification;
Enhanced multi-stream Kalman filter training for recurrent networks;
The support vector method of function estimation;
Parametric density estimation for the classification of acoustic feature vectors in speech recognition;
Wavelet-based modeling of nonlinear systems;
Nonlinear identification based on fuzzy models;
Statistical learning in control and matrix theory;
Nonlinear time-series analysis.

Electrical Circuits and Related Theories: From Ohm’s Law to Complex Networks

Vacuum circuit breakers are widely used in distribution power systems for their advantages such as maintenance free and eco-friendly. Nowadays, most circuit breakers used at transmission voltage level are SF6 circuit breakers, but the SF6 they emit is one of the six greenhouse gases defined in Kyoto Protocol. Therefore, the development of transmission voltage level vacuum circuit breaker can help the environment. The switching arc phenomena in transmission voltage level vacuum circuit breakers are key issues to explore.