Treffer 1 - 3 von 3 für Suche 'Freibothe, Martin', Suchdauer: 0,38s Treffer weiter einschränken
  1. 1
    Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking

    Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking von Schönherr, Jens, Freibothe, Martin, Straube, Bernd, Bormann, Jörg

    Veröffentlicht in Theoretical computer science

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Automatic property generation for the formal verification of bus bridges

    Automatic property generation for the formal verification of bus bridges von Soeken, M, Kuhne, U, Freibothe, M, Fe, G, Drechsler, R

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking

    Formal Verification of the Quasi-Static Behavior of Mixed-Signal Circuits by Property Checking von Freibothe, Martin, Schönherr, Jens, Straube, Bernd


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: