Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
simulation-based verification
Vertaling van "simulation-based verification" in Duits
simulationsbasierte Verifikation
This is especially useful in a simulation-based verification flow.
Dies ist insbesondere in einem simulationsbasiertem Verifikationsprozess nützlich.
Starting from the state of the art in modeling analog circuits for simulation-based verification, discrete modeling of analog circuits for state space-based formal verification methodologies is motivated in this thesis.
Ausgehend vom Stand der Technik der Modellierung analoger Schaltungen für die simulationsbasierte Verifikation wird im Rahmen dieser Arbeit die diskrete Modellierung analoger Schaltungen für zustandsraumbasierte formale Verifikationsverfahren betrachtet.
The use of simulation-based verification and optimisation methods dramatically simplifies the complex design process for trades-spanning energy management.
Mit Hilfe von simulationsbasierten Verifkations- und Optimierungsverfahren wird der komplexe Entwurfsprozess für ein gewerkeübergreifendes Energiemanagement drastisch vereinfacht.
Simulation-based verification will still be necessary for the verification of the complete system concept.
Für die Verifikation des Gesamtsystemkonzepts wird die simulationsbasierte Verifikation weiterhin benötigt werden.
Simulation-based verification and characterization results quantify the parameter ranges and the circuit's overall performance.
Die simulationsbasierte Verifikation und Charakterisierung ermöglicht eine Abschätzung der Parameterbereiche und der Leistungsfähigkeit der Schaltung.
In the past, my research interests focussed on the development of efficient algorithms and data structures for logic synthesis and simulation-based verification of circuits and systems.
Meine Hauptinteressen in der Forschung lagen bisher vor allem in der Entwicklung von effizienten Verfahren und Datenstrukturen für die Logiksynthese und die simulationsbasierte Verifikation von Schaltungen.
This lecture covers basic algorithms and concepts of modern tools for formal simulation-based verification of digital systems and the industrial use of such systems. For more information please visit our German webpage
Die Vorlesung behandelt diese drei Bereiche, vermittelt die grundlegenden Algorithmen und Konzepte moderner Werkzeuge für die formale und simulationsbasierte Verifikation digitaler Systeme und erläutert deren Einsatz in der industriellen Praxis.
Synoniemen voor simulation-based verification in het Engels
Resultaten: 7. Exact: 7. Verstreken tijd: 30 ms.
