S
Srinivas Devadas
Researcher at Massachusetts Institute of Technology
Publications - 498
Citations - 35003
Srinivas Devadas is an academic researcher from Massachusetts Institute of Technology. The author has contributed to research in topics: Sequential logic & Combinational logic. The author has an hindex of 88, co-authored 480 publications receiving 31897 citations. Previous affiliations of Srinivas Devadas include University of California, Berkeley & Cornell University.
Papers
More filters
Book ChapterDOI
Round-Efficient Byzantine Broadcast Under Strongly Adaptive and Majority Corruptions
TL;DR: This paper is the first to construct a BB protocol with sublinear round complexity in the corrupt majority setting, and shows how to achieve BB in ( n n−f ) 2 · poly log λ rounds with 1 − negl(λ) probability.
Patent
Index-based coding with a pseudo-random source
TL;DR: In this article, the hidden value is encoded using index based quantities, for example, based on numerically ordering a sequence of outputs from pseudo-random source(s) without requiring additional error correction mechanisms.
Journal ArticleDOI
Functional vector generation for sequential HDL models under an observability-based code coverage metric
TL;DR: Direct search methods and observability-based code coverage metric (OCCOM) computation is integrated into an algorithm for generating test vectors under OCCOM for sequential HDL models for design validation and verification.
Proceedings ArticleDOI
Bitwise encoding of finite state machines
TL;DR: Experimental results indicate that the method of iteratively defining one bit at a time can generally achieve superior results to existing sequential state assignment methods which try to solve large problems heuristically.
Journal ArticleDOI
Techniques for accurate performance evaluation in architecture exploration
TL;DR: A system that automatically generates a cycle-accurate and bit-true instruction level simulator (ILS) and a hardware implementation model given a description of a target processor and the Instruction Set Description language is presented.