( en | de | ru )

 

Disambiguation of "Srivas, Mandayam K."

Author of the publication

copydeleteadd this publication to your clipboard
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer.

, , and . CHARME, volume 1703 of Lecture Notes in Computer Science, page 8-22. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Aman K K Bhasin

K Kusterer

K Schweizerhof

K Böhm

K Schaber

 

Other publications of authors with the same name

Computability and Implementability Issues in Abstract Data Types., and . Sci. Comput. Program., 10 (1): 33-63 (1988)Verifying Advanced Microarchitectures that Support Speculation and Exceptions., , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 521-537. Springer, (2000)Automated Property Directed Self Composition., , , , and . ATVA, volume 14216 of Lecture Notes in Computer Science, page 139-158. Springer, (2023)Industrial Strength Formal Verification Techniques for Hardware Designs., , and . VLSI Design, page 208-212. IEEE Computer Society, (1997)Effective Theorem Proving for Hardware Verification., , , and . TPCD, volume 901 of Lecture Notes in Computer Science, page 203-222. Springer, (1994)Reasoning in Systems of Equations and Inequations., , and . FSTTCS, volume 287 of Lecture Notes in Computer Science, page 305-325. Springer, (1987)Formal verification of the AAMP5 microprocessor: a case study in the industrial use of formal methods., and . WIFT, page 2-16. IEEE Computer Society, (1995)Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification., and . TPCD, volume A-10 of IFIP Transactions, page 225-251. North-Holland, (1992)Conditional Specification with Inequational Assumptions., and . CTRS, volume 308 of Lecture Notes in Computer Science, page 161-178. Springer, (1987)Decomposing the Proof of Correctness of pipelined Microprocessors., , and . CAV, volume 1427 of Lecture Notes in Computer Science, page 122-134. Springer, (1998)