書目名稱 | Parametrisierte Spezifikation von Schaltkreisen |
副標(biāo)題 | Graphischer Entwurf |
編輯 | Thomas Burch |
視頻video | http://file.papertrans.cn/742/741183/741183.mp4 |
叢書名稱 | 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 |
關(guān)鍵詞 | 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 |