Blick ins Buch

The Electronic Design Automation Handbook

Dirk Jansen (Herausgeber)

Buch | Hardcover

655 Seiten

2003 | 2003 ed.
Kluwer Academic Publishers (Verlag)
978-1-4020-7502-5 (ISBN)

Lese- und Medienproben

Blick ins Buch (midvox)

Artikel merken

When I attended college we studied vacuum tubes in our junior year. At that time an average radio had ?ve vacuum tubes and better ones even seven. Then transistors appeared in 1960s. A good radio was judged to be one with more thententransistors. Latergoodradioshad15–20transistors and after that everyone stopped counting transistors. Today modern processors runing personal computers have over 10milliontransistorsandmoremillionswillbeaddedevery year. The difference between 20 and 20M is in complexity, methodology and business models. Designs with 20 tr- sistors are easily generated by design engineers without any tools, whilst designs with 20M transistors can not be done by humans in reasonable time without the help of Prof. Dr. Gajski demonstrates the Y-chart automation. This difference in complexity introduced a paradigm shift which required sophisticated methods and tools, and introduced design automation into design practice. By the decomposition of the design process into many tasks and abstraction levels the methodology of designing chips or systems has also evolved. Similarly, the business model has changed from vertical integration, in which one company did all the tasks from product speci?cation to manufacturing, to globally distributed, client server production in which most of the design and manufacturing tasks are outsourced.

Overview EDA.- The Concept of Electronic Design Automation.- Symbolic Design.- Symbolic Design Entry.- High Level Language Design.- Design using Standard Description Languages.- Graphical Specification of System Behavior.- Synthesis.- Hardware/Software Co-Design.- Tabular Design Formats.- Modelling and Verifications.- Circuit Verification.- Analog Simulation.- Digital Simulation.- Mixed Signal Simulation.- System Simulation.- Formal Verification.- Design for Testability.- Implementation.- Application Specific Integrated Circuits (ASICs).- Library Design.- Programmable Logic Devices.- Semiconductor Process Technologies.- Integrated Circuit Techniques.- Geometric Layout.- Geometric Verification.- Assembly- and Packaging Methods.- Printed Circuit Board Technologies.- Printed Circuit Board Design.- Tutorial.- EDA Tutorial.

Erscheint lt. Verlag	31.7.2003
Zusatzinfo	XXI, 655 p.
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Informatik ► Grafik / Design ► Digitale Bildverarbeitung
	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Technik ► Elektrotechnik / Energietechnik
ISBN-10	1-4020-7502-2 / 1402075022
ISBN-13	978-1-4020-7502-5 / 9781402075025
Zustand	Neuware