Download 13.Computer-Aided Design of Integrated Circuits by John G. Webster (Editor) PDF

By John G. Webster (Editor)

Show description

Read or Download 13.Computer-Aided Design of Integrated Circuits PDF

Similar circuits books

Embedded Systems Interfacing for Engineers using the Freescale HCS08 Microcontroller I: Assembly Language Programming (Synthesis Lectures on Digital Circuits & Systems)

Nearly all of desktops in use at the present time are encapsulated inside of different platforms. not like general-purpose desktops that run an unending number of software program, those embedded pcs are frequently programmed for a really particular, low-level and infrequently mundane goal. Low-end microcontrollers, costing as low as one greenback, are frequently hired through engineers in designs that make the most of just a small fraction of the processing strength of the machine since it is both less expensive than picking an application-specific half or simply because programmability deals customized performance now not in a different way to be had.

Low-Voltage CMOS VLSI Circuits

Low-voltage very huge scale integration (VLSI) circuits symbolize the electronics of the long run. All digital items are striving to lessen strength intake to create less expensive, effective, and compact units. regardless of the inevitable development in the direction of low-voltage, few books tackle the know-how wanted.

A Route to Chaos Using FPGAs: Volume I: Experimental Observations

The aim of this introductory ebook is to couple the instructing of chaotic circuit and structures idea with using box programmable gate arrays (FPGAs). As such, it differs from different texts on chaos: first, it places emphasis on combining theoretical equipment, simulation instruments and actual cognizance to assist the reader achieve an intuitive knowing of the houses of chaotic structures.

Extra resources for 13.Computer-Aided Design of Integrated Circuits

Example text

This is an important fact when we apply x1 x2 x2 x3 0 x3 1 Removal of equivalent nodes x2 0 x3 1 0 x3 1 1 x1 x2 x3 x3 1 0 1 x1 x1 0 1 x2 x3 0 1 0 1 Figure 5. Using ‘‘apply’’ to manipulate logic operatons on BDDs. BDD to verification problems. Because of these advantages BDD is now widely used. Although BDD can be obtained from binary decision trees as shown in Fig. 4, this is not an efficient way to generate BDDs, since sizes of binary decision trees are exponential with respect to the numbers of variables.

For example, suppose we analyze the formula, x1 и x2 и x3. When the variable x1 is set to 0, the entire formula immediately becomes 0 regardless of the values of the other variables. Further analysis is unnecessary for this case. Although this case analysis technique performs much better than exhaustive simulation, it is still very time consuming as its execution time grows exponentially in principle. Because of this, the case analysis technique cannot be applied to large circuits. Situations have, however, changed completely since a new data representation method for logic functions in computers, called binary decision diagrams (BDDs) (2–4), and its efficient manipulation algorithms were proposed in the 1980s.

8 (2): 244–263, 1986. 20. M. Fujita, H. Tanaka, and T. Moto-oka, Logic design assistance with temporal logic, Proc. 2 Int. Conf. Hardw. Descript. Lang. , 1985. 21. J. R. , Sequential circuit verification using symbolic model checking, Proc. 27th ACM/IEEE Des. Autom. , 1990, pp. 46–51. 22. J. R. , Symbolic model checking: 1020 states and beyond, Proc. 5th Annu. IEEE Symp. Logic Comput. , 1991. 23. R. P. Kurshan, Automata-theoretic verification of coordinating processes, Lect. Notes Comput. , 430: 414–453, 1990.

Download PDF sample

Rated 4.63 of 5 – based on 7 votes