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 email@example.com|
|You are not logged in|
|©2002-2018 U.C. Regents|