{"product_id":"verification-semi-formelle-et-synthese-automatique-de-psl-vers-hdl-von-yann-oddos","title":"Vérification Semi-Formelle et Synthèse Automatique de PSL vers HDL","description":"\u003cp\u003eLa 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9786131550751\"\u003e\u003ch3\u003eVérification Formelle Pour la Synthèse Automatique de Circuits\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9786131550751","offer_id":40149132116061,"sku":"9786131550751","price":69.0,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/d30377a6-a505-4eb8-ae91-09ec2497394e.jpg?v=1781589573","url":"https:\/\/shop.autorenwelt.de\/products\/verification-semi-formelle-et-synthese-automatique-de-psl-vers-hdl-von-yann-oddos","provider":"Autorenwelt Shop","version":"1.0","type":"link"}