A Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures by Steven P. Miller

A Methodology for the Design and Verification of Globally Asynchronous/Locally Synchronous Architectures

Steven P. Miller

48 pages • missing pub info (editions)

nonfiction politics
Powered by AI (Beta)
Loading...

Description

Recent advanced in model-checking have made it practical to formally verify the correctness of many complex synchronous systems (i.e., systems driven by a single clock). However, many computer systems are implemented by asynchronously composing se...

Read more

Community Reviews

Loading...

Content Warnings

Loading...