Digital system design - use of microcontroller

Edition

-

ISBN/ISSN

9781003337942

Collation

-

Series Title

-

Call Number

-

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Cir…

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits. He describes a formal model of circuit operation, defines the proper relationship between an implementation and its specification, and constructs a computer program that can check this relat…

Advanced research in VLSI :proceedings of the fifth MIT conference, March 1988

Papers presented at the Fifth MIT Conference on Advanced Research in VLSI, organized by the Microsystems Research Center of the Massachusetts Institute of Technology, held in Cambridge, Mass., Mar. 1988.The field of VLSI (Very Large Scale Integration) is concerned with the design, production, and use of highly complex integrated circuits. The research collected here comes from many disciplines,…

Analog VLSI circuits and principles

Neuromorphic engineers work to improve the performance of artificial systems through the development of chips and systems that process information collectively using primarily analog circuits. This book presents the central concepts required for the creative and successful design of analog VLSI circuits. The discussion is weighted toward novel circuits that emulate natural signal processing. Un…

Making microchips :policy, globalization, and economic restructuring in the s…

In Making Microchips, Jan Mazurek examines the environmental and economic implications of the computer microchip industry's exodus from California's Silicon Valley to New Mexico, Virginia, Ireland, and Taiwan. Globalization, economic restructuring, and changing manufacturing processes in this rapidly growing industry present difficult new questions for environmental policy. Mazurek challenges t…