Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Noch nicht die passende Literatur gefunden? → Book a Librarian
 
 

Ergebnis der Suche nach: idn=042149827



Zurück



Sachbegriffe
Link zu diesem Datensatz https://d-nb.info/gnd/4214982-4
Sachbegriff Hardwareverifikation
Quelle - analog zu Programmverifikation
Oberbegriffe Verifikation
DDC-Notation 004.24
Systematik 30 Informatik, Datenverarbeitung
Thema in 104 Publikationen
  1. Formal verification of structurally complex multipliers
    Mahzoon, Alireza. - Bremen, July 6, 2022
  2. Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
    Brandau, Christoph. - Wiesbaden, Germany : Springer Vieweg, [2019]
  3. ...
Maschinell verknüpft mit 3 Publikationen
  1. Efficient implementation of stream transformations
    Schmitz, Malte. - Lübeck : Zentrale Hochschulbibliothek Lübeck, 2024
  2. Optimizing Verification of RTL Designs Using Reinforcement Learning Methods
    Ohana, Eric. - Bielefeld : Universitätsbibliothek Bielefeld, 2023
  3. ...





Treffer 1 von 1
< < > <




Aktionen

Aktionen




E-Mail-IconAdministration