Contact
Cum să cumpăr
Livrare
Consilier de cumpărături
V rification Semi-Formelle Et Synth se Automatique de Psl Vers Hdl
franceză
157 b
Până la 30 de zile pentru returnare
Clienții au cumpărat de asemenea
/
Copertă tare
93.20
lei
/
Carte broșată
395.85
lei
La vérification ŕ base de propriétés (PBV) est devenue un élément essentiel des flots de conception pour supporter la vérification de circuits complexes. La vérification dynamique ŕ base de propriétés connecte au circuit des moniteurs et des générateurs de test synthétisés ŕ partir de propriétés pour construire de maničre simple un environnement de test. Une partie des travaux ŕ consisté ŕ développer une approche de synthčse de propriétés pour la génération de vecteurs de test. Il est alors possible de spécifier et d'obtenir un modčle pour tout l'environnement du circuit.La contribution la plus intéressante de cette thčse tiens dans la méthode qui a été mise en place pour synthétiser une spécification temporelle en un circuit correct par construction. Alors que les approches de l'état de l'art ont une complexité polynomiale, la nôtre est linéaire en la spécification. L'outil SyntHorus a été développé pour supporter cette méthode et synthétise en quelques secondes un circuit correct par construction ŕ partir d'une spécification de plusieurs centaines de propriétés. Les méthodes et outils développés durant cette thčse ont été validés, renforcés et transférés dans l'industrie.
Informații despre carte
franceză
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinataruluiAr putea de asemenea, să te intereseze
Bună ziua! Sunt Libroamiko, consilierul dumneavoastră de cărți.
Cu ce vă pot ajuta?