English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Durch den Äquivalenzvergleich auf der Basis formaler Methoden kann die Gleichheit digitaler Schaltungen bewiesen werden. Die Verfahren können auf Entwürfe mit mehreren Millionen Komponenten angewandt werden. Im Folgenden wird das bei Siemens CT, München, in den vergangenen Jahren entwickelte Werkzeug GateComp beschrieben und dessen Möglichkeiten und Limitierungen aufgezeigt. Es wird praxisnah besprochen, wie dem Anwender Zeit eingespart werden kann und man somit durch den Einsatz formaler Verifikation nicht nur die Qualität steigern, sondern auch die Kosten reduzieren kann.

Äquivalenzvergleich digitaler Schaltungen im industriellen Umfeld (Equivalence Checking of Digital Circuits in an Industrial Environment)