Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today s design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital systems have conquered a place in almost all areas of our life, even in security sensitive applications. Complex digital systems control airplanes, have been used in banks and on intensive-care units. Hence, the demand for error-free designs is more important than ever. In addition, economic reasons underline this demand as well. The...
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today s design processe...
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today s design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting digital systems have conquered a place in almost all areas of our life, even in security sensitive applications. Complex digital systems control airplanes, have been used in banks and on intensive-care units. Hence, the demand for error-free designs is more important than ever. In addition, economic reasons underline this demand as well. The...
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today s design processe...
Das Buch umfasst den Stoff einer einsemestrigen Vorlesung und bietet dem Leser eine leicht verstandliche und mit vielen interessanten Beispielen unterlegte Einfuhrung in die Sprache. Die Autoren verzichten bewusst auf die Erlauterung nur selten benutzter Konstrukte und konzentrieren ihre Darstellung auf die Betrachtung der Sprache unter dem Aspekt der Schaltkreissynthese. Das Buch verbindet Theorie und praktische Anwendungsbeispiele.
Das Buch umfasst den Stoff einer einsemestrigen Vorlesung und bietet dem Leser eine leicht verstandliche und mit vielen interessanten Beispielen unter...
Die Problematik beim Schreiben eines Buches uber VLSI Entwurf und VLSI Sy steme besteht in d grossen Vielfalt dieses Themas. Will man eine mehr oder we niger vollstandige Ubersicht uber dieses Gebiet geben, so artet dies in ein "kom mentiertes Literaturverzeichnis" aus, es sei denn man schreibt ein mehrbandiges Werk. Die detaillierte Abhandlung uber ein Einzelthema aus dem Bereich des VLSI Entwurfes, wie zum Beispiel uber die technologischen Grundlagen, uber Spezifikation, Analyse oder Synthese hochstintegrierter Schaltungen, oder uber Prufen und Testen, ist Stoff genug fur ein in sich...
Die Problematik beim Schreiben eines Buches uber VLSI Entwurf und VLSI Sy steme besteht in d grossen Vielfalt dieses Themas. Will man eine mehr oder w...
Das vorliegende Lehrbuch beschaftigt sich mit einem fiir das Gebiet der Infor matik sehr alten Thema, dem logischen Entwurf von kombinatorischen Schal tungen, also dem Problem, eine moglichst in Platz und Zeit effiziente Rea lisierung einer vorgegebenen Booleschen Funktion zu finden. Viele bekannte und weniger bekannte Wissenschaftler haben sich in den letzten 50 Jahren mit dieser grundlegenden Thematik der Technischen Informatik befafit. Stellver tretend seien C. E. Shannon, W. Quine, EJ. McCluskey, J. P. Roth und O. B. Lupanov genannt. Wahrend sich die Arbeiten bis in die 80er Jahre...
Das vorliegende Lehrbuch beschaftigt sich mit einem fiir das Gebiet der Infor matik sehr alten Thema, dem logischen Entwurf von kombinatorischen Schal...
