M
M.K. Srivas
Publications - 1
Citations - 36
M.K. Srivas is an academic researcher. The author has contributed to research in topics: Formal verification & Verification. The author has an hindex of 1, co-authored 1 publications receiving 36 citations.
Papers
More filters
Proceedings ArticleDOI
Applying formal verification to a commercial microprocessor
M.K. Srivas,S.P. Miller +1 more
TL;DR: The project formally specified in SRI's PVS language a Rockwell proprietary pipelined microprocessor and used the PVS theorem prover to show the microcode correctly implemented the instruction-level specification for a representative subset of instructions.