MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "DDD-FM9001 Derivation of a Verified Microprocessor." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

DDD-FM9001: Derivation of a Verified Microprocessor
by Bhaskar Bose — 1994
…DDD-FM9001: Derivation of a Verified Microprocessor y by Bhaskar Bose Submitted to the faculty…
Cited by 21 (6 self) – Add To MetaCart

[48] Steven D. Johnson. Digital Design in a Functional Calculus. In Milne and Subramanyam, editors,
by Formal Aspects Of, Vlsi Design, Steven D. Johnson Circuits, Systems Implementing Communication
… the ideas. [33] Bhaskar Bose and Steven D. Johnson. DDD-FM9001: Derivation of a Verified Microprocessor…
Add To MetaCart

[56] Steven D. Johnson.
by Synthesis Of Digital, Steven D. Johnson Circuits, Systems Implementing Communication
…. Johnson. DDD-FM9001: Derivation of a Verified Microprocessor. An Exercise in Integrating Verification…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB