Searching for "Decomposing the Proof of Correctness of pipelined Microprocessors." – sorted by Relevance.

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

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

5 documents found, showing 1 through 5.

Decomposing the Proof of Correctness of Pipelined Microprocessors
by Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan
…Decomposing the Proof of Correctness of Pipelined Microprocessors ? Ravi Hosabettu 1 , Mandayam…
Cited by 17 (2 self) – Add To MetaCart

Decomposing the Proof of Correctness of Pipelined Microprocessors
by Ravi Hosabettu Mandayam, Ayam Srivas, Ganesh Gopalakrishnan — 1998 — Computer-Aided Verification (CAV`98), A.J. Hu and M.Y. Vardi, eds., LNCS 1427
…Decomposing the Proof of Correctness of Pipelined Microprocessors Ravi Hosabettu 1 ,Mandayam…
Add To MetaCart

Proof of Correctness of a Processor with Reorder Buffer using the Completion Functions Approach
by Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan — 1999
… Approach was proposed in [HSG98] as a systematic way to decompose the proof of correctness of pipelined…
Cited by 30 (1 self) – Add To MetaCart

A proof of correctness of a processor implementing Tomasulo's algorithm without a reorder buffer
by Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas — 1999 — Correct Hardware Design and Veri Methods, 10th IFIP WG10.5 Advanced Research Working Conference, (CHARME '99), volume 1703 of LNCS
… Approach was proposed in [HSG98] as a systematic way to decompose the proof of correctness of pipelined…
Cited by 3 (0 self) – Add To MetaCart

Systematic Verification Of Pipelined Microprocessors
by Ravi Mohan Hosabettu, Chair Ganesh, Erik L. Brunvand, Alan L. Davis, Chris J. Myers, Mandayam K. Srivas, Date Ganesh, C. Gopalakrishnan, C. Gopalakrishnan, David S. Chapman — 2000
… papers: 1. Decomposing the Proof of Correctness of Pipelined Microprocessors [29] 2. Proof…
Cited by 10 (0 self) – Add To MetaCart

Showing 1 through 5.

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