书目名称 | Parametrisierte Spezifikation von Schaltkreisen | 副标题 | Graphischer Entwurf | 编辑 | Thomas Burch | 视频video | | 丛书名称 | Teubner Texte zur Informatik | 图书封面 |  | 描述 | Gegenstand dieses Buches ist die Entwicklung einer graphischen Arbeitsumgebung zum Entwurf integrierter Schaltkreise. Das vorgestellte System zeichnet sich besonders dadurch aus, daß seine Spezifikationsebene auf einem wohldefinierten mathematischen Kalkül basiert. Es wird gezeigt, daß dieser Ansatz dem Entwerfer ein mächtiges Werkzeug in die Hand gibt, mit dem er auf einfache Weise große reguläre Schaltkreise generisch beschreiben kann. In der gegebenen Kombination aus mathematischer Basis und graphischer Darstellung einer Spezifikation ist es den derzeit in kommerziellen Entwurfssystemen integrierten graphischen Editoren überlegen.Unter Ausnutzung der hierarchischen Schaltkreisstruktur bietet das System komfortable Navigationsmöglichkeiten, die zusammen mit dem integrierten Visualisierungskomponenten eine übersichtliche Kontrolle der einzelnen Entwurfsschritte unterstützen. | 出版日期 | Textbook 1998 | 关键词 | Architektur; Dissertation; Entwurf; Forschung; Graphische Eingabe; Integration von Werkzeugen; Konstruktio | 版次 | 1 | doi | https://doi.org/10.1007/978-3-663-01532-1 | isbn_softcover | 978-3-519-00239-0 | isbn_ebook | 978-3-663-01532-1Series ISSN 1615-4584 | issn_series | 1615-4584 | copyright | Springer Fachmedien Wiesbaden 1998 |
The information of publication is updating
|
|