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
Journal ArticleDOI
A new viewpoint on code generation for directed acyclic graphs
TL;DR: An important contribution of this work is a set of necessary and sufficient conditions for a valid schedule to be derived, based on the notion of worms and worm-partitions, that can be compactly expressed with clauses that relate scheduling to code selection.
Controlling Cache Pollution in Prefetching With Software-assisted Cache Replacement
TL;DR: Empirical evidence is provided that shows that cache performance can be significantly improved, and minimum performance guarantees provided, using a combination of simple, aggressive hardware prefetching and softwarecontrolled replacement.
Proceedings ArticleDOI
Memory coherence in the age of multicores
TL;DR: Two new schemes that guarantee coherent shared memory without the complexity and overheads of a cache coherence protocol are described, namely execution migration and library caches coherence.
Proceedings ArticleDOI
Optimum and heuristic algorithms for finite state machine decomposition and partitioning
TL;DR: The authors give a novel iterative optimization strategy of symbolic-implicant expansion and reduction, modified from two-level Boolean minimizers, that represents a heuristic algorithm based on their exact procedure.
Proceedings ArticleDOI
Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams
Bill Lin,Srinivas Devadas +1 more
TL;DR: A new method for directly synthesizing a hazard-free multilevel logic implementation from a given logic specification based on free/ordered Binary Decision Diagrams, and is naturally applicable to multiple-output logic functions.