V rification Semi-Formelle Et Synth se Automatique de Psl Vers Hdl

Name: V rification Semi-Formelle Et Synth se Automatique de Psl Vers Hdl
Brand: Omniscriptum
SKU: 9786131550751
Price: 23950 HUF
Availability: InStock

Szerző: Yann Oddos

Nyelv:

Kötés: Puha kötésű

Kiadó: Omniscriptum

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

23 950 Ft

La vérification ŕ base de propriétés (PBV) est devenue un élément essentiel des flots de conception...

Információk a könyvről

Szerző

Yann Oddos

Nyelv

Francia

Kötés

Könyv - Puha kötésű

Kiadva

2018

oldal

216

EAN

9786131550751

ISBN

6131550751

Enbook ID

07035106

Kiadó

Omniscriptum

Súly

322

Méretek

152 x 229 x 12

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

V rification Semi-Formelle Et Synth se Automatique de Psl Vers Hdl

Információk a könyvről

Teljes leírás

Érdekelheti

Le Celebre Vergeot: Vaudeville En Un Acte

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Mozart auf der Reise nach Prag

Pride & Prejudice

Image Processing Recipes in MATLAB

"Etzel": Forscher, Abenteurer und Agent

Protocols

Amnesty: Love and Betrayal

Behavioral Public Economics

Большая хрестоматия для начальной школы.

Подвижник веры и науки: пастырское служение архиепископа Луки (Войно-Ясенецкого)

Golden Bottle

From a Flat House-Top (Classic Reprint)

Trouble in Bugland

Legendary Lost Town of Ravenser

I'm Not Judging; I'm Just Praying!

Phylogeny, Pedigree, and Population Structure Studies - Application of Molecular Polymorphisms

Resisting Intellectual Property

Doing Applied Linguistics

Colloids in Biotechnology

Mega Molecules

Gun and the Olive Branch

Kulturtouristen

Trouble and Strife Reader