Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
    Ebook199 pages3 hours

    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

    By Michael Yoeli and Rakefet Kol

    ()

    Read preview

    About this ebook

    A Step-by-Step Guide to Verification of Digital Systems

    This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application 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, as well as many other verification examples.

    Using the given detailed examples, exercises, and easy-to-follow tutorials, complete with the downloadable toolsets available via referenced Web sites, this book serves as an ideal text in advanced undergraduate and graduate courses in computer science and electrical engineering. It is also valuable as a desktop reference for practicing verification engineers who are interested in verifying that designed digital systems meet specifications and requirements.

    LanguageEnglish
    PublisherWiley-Interscience
    Release dateMar 28, 2008
    ISBN9780470253397
    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

    Related to Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

    Titles in the series (30)

    View More
    View More

    Related ebooks

    Computers For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Observability Of The Kernel And Containers

      Apr 4, 2023

      Mihalis Tsoukalos is currently working on Time Series. You can reach him at: @mactsouk. For our final delve into eBPF, we’re tackling applications, the kernel and Docker containers. At the end of the day, all Linux machines execute code for applicat

      10 min read

    • Article

      Kernel Watch

      Aug 27, 2019

      Linus Torvalds announced the first few release candidates for what will become Linux 5.3 in a few more weeks. In his announcement, he noted that 5.3-rc1 was a “pretty big release, judging by the commit count. Not the biggest ever that honour still go

      1 min read

    • Article

      Lag Is Killing Games

      Jan 11, 2022

      Lag Is Killing Games
      8 min read

    • Article

      Monitor Systems And Docker Deployments

      Jun 30, 2020

      Welcome to Netdata, software for distributed real-time performance and health monitoring of UNIX machines. Don’t you dare turn that page! A key advantage of Netdata is that it collects all of its metrics without introducing too much load on to the Li

      8 min read

    • Article

      Ongoing Development

      Jun 28, 2022

      A potential security hole was discovered in which someone with local console access (including a remote console available over the network) “could trigger the debugger”. The kernel debugger can be used to read/write to arbitrary memory, which isn’t u

      1 min read

    • Article

      Ongoing Development

      Jun 28, 2022

      A potential security hole was discovered in which someone with local console access (including a remote console available over the network) “could trigger the debugger”. The kernel debugger can be used to read/write to arbitrary memory, which isn’t u

      1 min read

    • Article

      Join the Pod, Man!

      May 30, 2023

      Join the Pod, Man!
      8 min read

    • Article

      EBPF To Enhance Kubernetes Monitoring

      Apr 1, 2022

      The introduction of Docker and Kubernetes has brought a dramatic revolution in the IT industry. Unlike the traditional methods of developing and deploying software, Kubernetes or K8s uses scaling and automated deployment. Thanks to the Linux function

      4 min read

    • Article

      Ongoing Development

      Nov 19, 2019

      Dmitry Safonov posted ‘kernel: Introduce Time Namespace’, a patch series that adds a new namespace for managing the perceived time as seen by processes. A typical use case will be to apply a time namespace to a cgroup containing the running tasks of

      1 min read

    • Article

      Kernel Watch

      Feb 11, 2020

      Linus Torvalds announced the release of Linux 5.5-rc7, and implied that it could be the last before 5.5 (although he wasn’t sure if he would need an rc8). In any case, it is certain that Linux 5.5 will be out imminently. The release of 5.5 will bring

      2 min read

    • Article

      ReactOS: The Open Source Windows

      Dec 13, 2022

      ReactOS is an open source operating system that replicates the functionality R of the Microsoft Windows series of OSes while offering a considerable level of application compatibility. The current version is described as being at the alpha stage of d

      10 min read

    • Article

      Contain Yourself

      Feb 9, 2021

      Contain Yourself
      4 min read

    • Article

      Kernel Watch

      Jan 14, 2020

      Linus Torvalds announced the release of Linux 5.5-rc1 and the closure of the “merge window” for Linux 5.5. The new kernel gains several features, both user/ programmer visible and internal to the kernel. On the visible front, a few legacy interfaces

      2 min read

    • Article

      Use EBPF To Keep Tabs On Your CPU

      Oct 18, 2022

      Did you miss part one? Get hold of it on page 60 Mihalis Tsoukalos is a systems engineer and a technical writer. You can reach him at @mactsouk. We’re continuing our dive into the notoriously complex Extended Berkeley Packet Filter (eBPF) feature of

      9 min read

    • Article

      Rack 2 Pro

      Mar 22, 2022

      Rack 2 Pro
      5 min read

    • Article

      Kernel Internals

      Aug 24, 2021

      Kernel Internals
      4 min read

    • Article

      Kernel Watch

      Apr 5, 2022

      Linus Torvalds announced the release of Linux 5.17-rc8, which will likely be the final RC (Release Candidate) prior to the final 5.17 going out. Linus noted that he had thought he would be “releasing the final 5.17 today”, instead of another (rare) 8

      1 min read

    • Article

      Kernel Watch

      Apr 5, 2022

      Linus Torvalds announced the release of Linux 5.17-rc8, which will likely be the final RC (Release Candidate) prior to the final 5.17 going out. Linus noted that he had thought he would be “releasing the final 5.17 today”, instead of another (rare) 8

      1 min read

    Related categories

    Reviews for Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Michael Yoeli

      Enjoying the preview?
      Page 1 of 1