„Hardwareverifikation“

Suchergebnisse

1.000+ Treffer

• Coq meets CλaSH: proposing a hardware design synthesis flow that combines proof assistants with functional hardware description languages
  Bornebusch, Fritjof ; Wille, Robert ; Drechsler, Rolf ; Fey, Görschwin 2021 Staats- und Universitätsbibliothek Bremen
• Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• Formal Verification in Automated Manufacturing
  Tang, Yiheng ; Moor, Thomas ; Raisch, Jörg 2024 FAU University Press
• Tools and Algorithms for the Construction and Analysis of Systems – 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
  Legay, Axel ; Margaria, Tiziana 2017 Springer Berlin Heidelberg
• A Link Between Anomaly Detection and Runtime Verification
  Heermann, Hagen ; Grimm, Christoph 2025 Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Eine Methode zur formalen Verifikation von RISC-Prozessoren
  Tahar, Sofiène 1995 VDI-Verl.
• Correct hardware design and verification methods – IFIP WG 10.5 advanced research working conference ; proceedings
  Camurati, Paolo E. 1995 Springer
• Evidence-Oriented Tracing and Verification, The Declaration of Timeprints
  Massoud, Rehab ; Drechsler, Rolf ; Bertacco, Valeria 2021 Staats- und Universitätsbibliothek Bremen
• Exploring cooperative verification – survey, tools, and experiments
  Kanav, Sudeep ; Beyer, Dirk 2024 Universitätsbibliothek der Ludwig-Maximilians-Universität
• Hardware Monitors for the Run-Time Verification of Mixed-Criticality Systems
  Mettler, Marcel ; Schlichtmann, Ulf ; Große, Daniel ; Stechele, Walter 2025 Universitätsbibliothek der TU München
• Hardware reverse engineering and its implications for hardware protections and hardware trojans
  Albartus, Nils ; Paar, Christof ; Holcomb, Daniel 2025 Ruhr-Universität Bochum
• Verfahren zur hardware-basierten Beschleunigung von Testumgebungen
  Henftling, Renate 2005 Shaker
• Steigerung der Effizienz simulationsbasierter Verifikation durch Einsatz von testüberdeckungsgeführter Simulation
  Braun, Markus 2006 Shaker
• Towards the pervasive formal verification of multi-core operating systems and hypervisors implemented in C
  Schmaltz, Sabine Bettina ; Paul, Wolfgang J. 2013 Saarländische Universitäts- und Landesbibliothek
• Vollständige funktionale Verifikation
  Bormann, Jörg
• Runtime verification – 9th international workshop ; selected papers
  Bensalem, Saddek 2009 Springer
• Putting it all together – formal verification of the VAMP
  Beyer, Sven
• Formale Verifikation digitaler Systeme mit Petrinetzen
  Schober, Torsten
• Binäre Expression-Diagramme
  Hett, Andreas
• Formal sequential equivalence checking of digital systems by symbolic simulation
  Ritter, Gerd