ricerca
avanzata
  • Help & Faq
  • Accedi/Login

Verification of Systems and Circuits Using Lotos, PETRI NETs, and CCs - 9780471704492

Un libro in lingua di Michael Yoeli Rakefet Kol edito da John Wiley & Sons Inc, 2008

  • € 87.80
  • Il prezzo è variabile in funzione del cambio della valuta d’origine

This book provides a step-by-step, interactive introduction to formal verification of systems and circuits. It offers theoretical background and introduces the applications of three powerful verification toolsets: LOTOS-based CADP, Petri nets-based PETRIFY, and CCS-based CWB. The book covers verification of modular asynchronous circuits, alternating-bit protocols, arbiters, pipeline controllers, up-down counters, and phase converters. Using detailed examples, exercises, and tutorials, complete with downloadable toolsets available on the web, the book can serve as a text for advanced undergraduate and graduate courses in computer science and electrical engineering. It can also be used as a reference for practicing engineers who need to verify that designed digital systems meet specifications and requirements. Yoeli is professor emeritus of computer science, Technion--Israel Institute of Technology, where Kol is in the electrical engineering department. Annotation ©2008 Book News, Inc., Portland, OR (booknews.com)

Informazioni bibliografiche