Home
People
Publications
Multiprocessor Architecture Watch
Concurrency Abstraction Watch
Laboratory

Operation View

The Operation View uses a theorem prover to extract the state-to-state operations supported by an architecture described in the Architecture View. The extraction algorithm is rapid, requiring less than one second for a moderate design like a RISC datapath.

Send feedback to mescal@gigascale.org
You are not logged in 
Contact 
©2002-2018 U.C. Regents