( en | de | ru )

 

Disambiguation of "Devadas, Srinivas"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Verification of Pipelined Microprocessors.

, and . DAC, page 603-608. ACM Press, (1994)

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.

Vinay Devadas

Deepika Devadas

Srinivas Jagarlamudi

Srinivas Yarlanki

Girish Srinivas

 

Other publications of authors with the same name

Algorithms for scheduling task-based applications onto heterogeneous many-core architectures., and . HPEC, page 1-6. IEEE, (2014)Solving Covering Problems Using LPR-Based Lower Bounds., and . DAC, page 117-120. ACM Press, (1997)Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures., , and . DAC, page 287-292. ACM Press, (1997)GENIE: a generalized array optimizer for VLSI synthesis., and . DAC, page 631-637. IEEE Computer Society Press, (1986)Tardis 2.0: An Optimized Time Traveling Coherence Protocol., and . CoRR, (2015)Access-Controlled Resource Discovery for Pervasive Networks., , , , and . SAC, page 338-345. ACM, (2003)Irredundant interacting sequential machines via optimal logic synthesis., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 10 (3): 311-325 (1991)MUSTANG: state assignment of finite state machines targeting multilevel logic implementations., , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (12): 1290-1300 (1988)Secure and Robust Error Correction for Physical Unclonable Functions., and . IEEE Des. Test Comput., 27 (1): 48-65 (2010)Computation of floating mode delay in combinational circuits: theory and algorithms., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (12): 1913-1923 (1993)