Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL: Vérification Formelle Pour la Synthèse Automatique de Circuits
69.00 EUR
Ein praxisnaher Leitfaden zur semi-formalen Verifikation von PSL-Spezifikationen und deren automatischer Synthese zu HDL, der Schritt für Schritt Tools, Algorithmen und typische Fallstudien erklärt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Galaxus.de
Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL, Fachbücher
Galaxus.de
06-06-2026 14:10:27
