{"product_id":"moutault-sebastien-le-langage-systemverilog-synthese-et-verification-des-circuits-numeriques-complexes-cours-et-exercices-corriges-9782100518012","title":"Le langage SystemVerilog, synthèse et vérification des circuits numériques complexes : cours et exercices corrigés","description":"\u003cp\u003eCet ouvrage est destiné aux étudiants en Licences professionnelles\n EEA, en masters EEA ou en école d'ingénieurs. Il intéressera également\n les professionnels de la conception de circuits numériques.\u003c\/p\u003e\u003cp\u003eSystemVerilog est l'un des langages de description des circuits\n numériques les plus récents. Il est le premier qualifié de \u003ci\u003eHDVL\u003c\/i\u003e,\n pour \u003ci\u003eHardware Description and Verification Language.\u003c\/i\u003e Il hérite à\n la fois des capacités de description de modules synthétisables et\n des facultés d'abstraction des langages objets qui permettent la\n vérification de systèmes complexes.\u003c\/p\u003e\u003cp\u003eLe livre est organisé en quatre parties :\u003c\/p\u003e\u003cul\u003e\n      \u003cli\u003eUne exploration rapide permet de découvrir l'ensemble du\n langage.\u003c\/li\u003e\n      \u003cli\u003eLa boîte à outils proposée servira dans les deux parties\n suivantes.\u003c\/li\u003e\n      \u003cli\u003eLa troisième partie est consacrée à la construction de modules\n synthétisables et des tests unitaires qui sont indissociables de la\n conception de ces modules.\u003c\/li\u003e\n      \u003cli\u003eLa dernière partie est consacrée à la mise en place d'un banc\n de vérification fondé sur la programmation objet, à l'aide des\n deux librairies de vérification les plus utilisées : \u003ci\u003eVMM library\n (Verification Methodology Manual for SystemVerilog)\u003c\/i\u003e et \u003ci\u003eOVM\n library (Open Verification Methodology).\u003c\/i\u003e\n\u003c\/li\u003e\n    \u003c\/ul\u003e\u003cp\u003eL'ouvrage est complété d'exercices corrigés. Les exemples du livre\n ont tous été testés en synthèse et\/ou en simulation, suivant le cas.\n Ces exemples sont disponibles en téléchargement sur le site compagnon\n du livre : \u003cb\u003ewww.lelangagesystemverilog.net.\u003c\/b\u003e\u003c\/p\u003e","brand":"Dunod","offers":[{"title":"Default Title","offer_id":53843843842390,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9782100518012_1.jpg?v=1781837844","url":"https:\/\/www.momoxbooks.com\/products\/moutault-sebastien-le-langage-systemverilog-synthese-et-verification-des-circuits-numeriques-complexes-cours-et-exercices-corriges-9782100518012","provider":"momoxbooks","version":"1.0","type":"link"}