Searching for "The Verification of a Bit-slice ALU." – sorted by Relevance.

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

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

2 documents found, showing 1 through 2.

The Verification of a Bit-Slice ALU
by Warren A. Hunt, Bishop C. Brock — 1989 — Workshop on Hardware Speci Veri and Synthesis: Mathematical Aspects, Springer LNCS 408
…The Verification of a Bit-slice ALU Warren A. Hunt, Jr. Bishop C. Brock Technical Report 49…
Cited by 6 (2 self) – Add To MetaCart

A Formal HDL and its Use in the FM9001 Verification
by Warren A. Hunt, Jr., Bishop C. Brock, Its Proof Internal Note — 1992
…, 5(4):429 460, December 1989. [15] Warren A. Hunt Jr. and Bishop C. Brock. The verification of a bit-slice…
Cited by 27 (6 self) – Add To MetaCart

Showing 1 through 2.

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