Srinivas Devadas

	2012
193		Pengju Ren, Mieszko Lis, Myong Hyon Cho, Keun Sup Shim, Christopher W. Fletcher, Omer Khan, Nanning Zheng, Srinivas Devadas: HORNET: A Cycle-Level Multicore Simulator. IEEE Trans. on CAD of Integrated Circuits and Systems 31(6): 890-903 (2012)
	2011
192		Mehrdad Majzoobi, Farinaz Koushanfar, Srinivas Devadas: FPGA-Based True Random Number Generation Using Circuit Metastability with Adaptive Feedback Control. CHES 2011: 17-32
191		Meng-Day (Mandel) Yu, David M'Raïhi, Richard Sowell, Srinivas Devadas: Lightweight and Secure PUF Key Storage Using Limits of Machine Learning. CHES 2011: 358-373
190		Michel A. Kinsy, Michael Pellauer, Srinivas Devadas: Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System. FPL 2011: 356-362
189		Victor Costan, Srinivas Devadas: Security challenges and opportunities in adaptive and reconfigurable hardware. HOST 2011: 1-5
188		Zdenek Sid Paral, Srinivas Devadas: Reliable and efficient PUF-based key generation using pattern matching. HOST 2011: 128-133
187		Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Srinivas Devadas: Memory coherence in the age of multicores. ICCD 2011: 1-8
186		Omer Khan, Henry Hoffmann, Mieszko Lis, Farrukh Hijaz, Anant Agarwal, Srinivas Devadas: ARCc: A case for an architecturally redundant cache-coherence architecture for large multicores. ICCD 2011: 411-418
185		Mieszko Lis, Pengju Ren, Myong Hyon Cho, Keun Sup Shim, Christopher W. Fletcher, Omer Khan, Srinivas Devadas: Scalable, accurate multicore simulation in the 1000-core era. ISPASS 2011: 175-185
184		Myong Hyon Cho, Keun Sup Shim, Mieszko Lis, Omer Khan, Srinivas Devadas: Deadlock-free fine-grained thread migration. NOCS 2011: 33-40
183		Solomon Shenker, Charles W. O'Donnell, Srinivas Devadas, Bonnie Berger, Jérôme Waldispühl: Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models. RECOMB 2011: 408-423
182		Michel A. Kinsy, Omer Khan, Ivan Celanovic, Dusan Majstorovic, Nikola Celanovic, Srinivas Devadas: Time-Predictable Computer Architecture for Cyber-Physical Systems: Digital Emulation of Power Electronics Systems. RTSS 2011: 305-316
181		Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Christopher W. Fletcher, Michel A. Kinsy, Ilia A. Lebedev, Omer Khan, Srinivas Devadas: Brief announcement: distributed shared memory based on computation migration. SPAA 2011: 253-256
180		Charles W. O'Donnell, Jérôme Waldispühl, Mieszko Lis, Randal Halfmann, Srinivas Devadas, Susan Lindquist, Bonnie Berger: A method for probing the mutational landscape of amyloid structure. Bioinformatics [ISMB/ECCB] 27(13): 34-42 (2011)
179		Omer Khan, Mieszko Lis, Yildiz Sinangil, Srinivas Devadas: DCC: A Dependable Cache Coherence Multicore Architecture. Computer Architecture Letters 10(1): 12-15 (2011)
	2010
178		Ulrich Rührmair, Frank Sehnke, Jan Sölter, Gideon Dror, Srinivas Devadas, Jürgen Schmidhuber: Modeling attacks on physical unclonable functions. ACM Conference on Computer and Communications Security 2010: 237-249
177		Ulrich Rührmair, Frank Sehnke, Jan Sölter, Gideon Dror, Srinivas Devadas, Jürgen Schmidhuber: Modeling Attacks on Physical Unclonable Functions. IACR Cryptology ePrint Archive 2010: 251 (2010)
176		Meng-Day (Mandel) Yu, Srinivas Devadas: Secure and Robust Error Correction for Physical Unclonable Functions. IEEE Design & Test of Computers 27(1): 48-65 (2010)
	2009
175		Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edward Suh, Marten van Dijk, Srinivas Devadas: Application-aware deadlock-free oblivious routing. ISCA 2009: 208-219
174		Keun Sup Shim, Myong Hyon Cho, Michel A. Kinsy, Tina Wen, Mieszko Lis, G. Edward Suh, Srinivas Devadas: Static virtual channel allocation in oblivious routing. NOCS 2009: 38-43
173		Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Tina Wen, Srinivas Devadas: Oblivious Routing in On-Chip Bandwidth-Adaptive Networks. PACT 2009: 181-190
172		Jérôme Waldispühl, Charles W. O'Donnell, Sebastian Will, Srinivas Devadas, Rolf Backofen, Bonnie Berger: Simultaneous Alignment and Folding of Protein Sequences. RECOMB 2009: 339-355
171		Mieszko Lis, Maxim N. Artyomov, Srinivas Devadas, Arup K. Chakraborty: Efficient stochastic simulation of reaction-diffusion processes via direct compilation. Bioinformatics 25(17): 2289-2291 (2009)
170		Jérôme Waldispühl, Srinivas Devadas, Bonnie Berger, Peter Clote: RNAmutants: a web server to explore the mutational landscape of RNA secondary structures. Nucleic Acids Research 37(Web-Server-Issue): 281-286 (2009)
	2008
169		Victor Costan, Luis F. G. Sarmenta, Marten van Dijk, Srinivas Devadas: The Trusted Execution Module: Commodity General-Purpose Trusted Computing. CARDIS 2008: 133-148
168		Myong Hyon Cho, Chih-Chi Cheng, Michel A. Kinsy, G. Edward Suh, Srinivas Devadas: Diastolic arrays: throughput-driven reconfigurable computing. ICCAD 2008: 457-464
167		Luis F. G. Sarmenta, Marten van Dijk, Jonathan Rhodes, Srinivas Devadas: Offline count-limited certificates. SAC 2008: 2145-2152
166		Blaise Gassend, Marten van Dijk, Dwaine E. Clarke, Emina Torlak, Srinivas Devadas, Pim Tuyls: Controlled physical random functions and applications. ACM Trans. Inf. Syst. Secur. 10(4): (2008)
165		Jérôme Waldispühl, Srinivas Devadas, Bonnie Berger, Peter Clote: Efficient Algorithms for Probing the RNA Mutation Landscape. PLoS Computational Biology 4(8): (2008)
	2007
164		G. Edward Suh, Srinivas Devadas: Physical Unclonable Functions for Device Authentication and Secret Key Generation. DAC 2007: 9-14
163		Marten van Dijk, Jonathan Rhodes, Luis F. G. Sarmenta, Srinivas Devadas: Offline untrusted storage with immediate detection of forking and replay attacks. STC 2007: 41-48
162		Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, Srinivas Devadas: Learning biophysically-motivated parameters for alpha helix prediction. BMC Bioinformatics 8(S-5): (2007)
161		G. Edward Suh, Charles W. O'Donnell, Srinivas Devadas: Aegis: A Single-Chip Secure Processor. IEEE Design & Test of Computers 24(6): 570-580 (2007)
	2006
160		Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, Srinivas Devadas: Predicting Secondary Structure of All-Helical Proteins Using Hidden Markov Support Vector Machines. PRIB 2006: 93-104
159		Luis F. G. Sarmenta, Marten van Dijk, Charles W. O'Donnell, Jonathan Rhodes, Srinivas Devadas: Virtual monotonic counters and count-limited objects using a TPM without a trusted OS. STC 2006: 27-42
158		Marten van Dijk, Emina Torlak, Blaise Gassend, Srinivas Devadas: A Generalized Two-Phase Analysis of Knowledge Flows in Security Protocols CoRR abs/cs/0605097: (2006)
157		Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas: Knowledge Flow Analysis for Security Protocols CoRR abs/cs/0605109: (2006)
156		Marten van Dijk, Dwaine E. Clarke, Blaise Gassend, G. Edward Suh, Srinivas Devadas: Speeding up Exponentiation using an Untrusted Computational Resource. Des. Codes Cryptography 39(2): 253-273 (2006)
	2005
155		Dwaine E. Clarke, G. Edward Suh, Blaise Gassend, Ajay Sudan, Marten van Dijk, Srinivas Devadas: Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data. IEEE Symposium on Security and Privacy 2005: 139-153
154		G. Edward Suh, Charles W. O'Donnell, Ishan Sachdev, Srinivas Devadas: Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions. ISCA 2005: 25-36
153		Daihyun Lim, Jae W. Lee, Blaise Gassend, G. Edward Suh, Marten van Dijk, Srinivas Devadas: Extracting secret keys from integrated circuits. IEEE Trans. VLSI Syst. 13(10): 1200-1205 (2005)
	2004
152		G. Edward Suh, Jae W. Lee, David Zhang, Srinivas Devadas: Secure program execution via dynamic information flow tracking. ASPLOS 2004: 85-96
151		Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind: Rate Guarantees and Overload Protection in Input-Queued Switches. INFOCOM 2004
150		Blaise Gassend, Daihyun Lim, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas: Identification and authentication of integrated circuits. Concurrency - Practice and Experience 16(11): 1077-1098 (2004)
149		Sanjay Raman, Dwaine E. Clarke, Matt Burnside, Srinivas Devadas, Ronald L. Rivest: Access-controlled resource discovery in pervasive networks. Concurrency - Practice and Experience 16(11): 1099-1120 (2004)
148		José C. Costa, Luis Miguel Silveira, Srinivas Devadas, José Monteiro: Power Estimation Using Probability Polynomials. Design Autom. for Emb. Sys. 9(1): 19-52 (2004)
147		G. Edward Suh, Larry Rudolph, Srinivas Devadas: Dynamic Partitioning of Shared Cache Memory. The Journal of Supercomputing 28(1): 7-26 (2004)
	2003
146		Dwaine E. Clarke, Srinivas Devadas, Marten van Dijk, Blaise Gassend, G. Edward Suh: Incremental Multiset Hash Functions and Their Application to Memory Integrity Checking. ASIACRYPT 2003: 188-207
145		Prabhat Jain, G. Edward Suh, Srinivas Devadas: Embedded intelligent SRAM. DAC 2003: 869-874
144		Blaise Gassend, G. Edward Suh, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas: Caches and Hash Trees for Efficient Memory Integrity Verification. HPCA 2003: 295-306
143		G. Edward Suh, Dwaine E. Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas: AEGIS: architecture for tamper-evident and tamper-resistant processing. ICS 2003: 160-171
142		G. Edward Suh, Dwaine E. Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas: Efficient Memory Integrity Verification and Encryption for Secure Processors. MICRO 2003: 339-350
141		Blaise Gassend, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas: Delay-Based Circuit Authentication and Applications. SAC 2003: 294-301
140		Sanjay Raman, Dwaine E. Clarke, Matt Burnside, Srinivas Devadas, Ronald L. Rivest: Access-Controlled Resource Discovery for Pervasive Networks. SAC 2003: 338-345
139		George Hadjiyiannis, Srinivas Devadas: Techniques for accurate performance evaluation in architecture exploration. IEEE Trans. VLSI Syst. 11(4): 601-615 (2003)
	2002
138		Peter Marwedel, Srinivas Devadas: Proceedings of the 2002 Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June 2002 ACM 2002
137		Blaise Gassend, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas: Silicon physical random functions. ACM Conference on Computer and Communications Security 2002: 148-160
136		Blaise Gassend, Dwaine E. Clarke, Marten van Dijk, Srinivas Devadas: Controlled Physical Random Functions. ACSAC 2002: 149-160
135		G. Edward Suh, Srinivas Devadas, Larry Rudolph: A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning. HPCA 2002: 117-128
134		Dwaine E. Clarke, Blaise Gassend, Thomas Kotwal, Matt Burnside, Marten van Dijk, Srinivas Devadas, Ronald L. Rivest: The Untrusted Computer Problem and Camera-Based Authentication. Pervasive 2002: 114-124
133		Matt Burnside, Dwaine E. Clarke, Todd Mills, Andrew Maywah, Srinivas Devadas, Ronald L. Rivest: Proxy-based security protocols in networked mobile devices. SAC 2002: 265-272
132		Farzan Fallah, Pranav Ashar, Srinivas Devadas: Functional vector generation for sequential HDL models under an observability-based code coverage metric. IEEE Trans. VLSI Syst. 10(6): 919-923 (2002)
	2001
131		Prabhat Jain, Srinivas Devadas, Daniel W. Engels, Larry Rudolph: Software-Assisted Cache Replacement Mechanisms for Embedded Systems. ICCAD 2001: 119-126
130		G. Edward Suh, Srinivas Devadas, Larry Rudolph: Analytical cache models with applications to cache partitioning. ICS 2001: 1-12
129		G. Edward Suh, Larry Rudolph, Srinivas Devadas: Effects of Memory Performance on Parallel Job Scheduling. JSSPP 2001: 116-132
128		Farzan Fallah, Srinivas Devadas, Kurt Keutzer: OCCOM-efficient computation of observability-based code coveragemetrics for functional verification. IEEE Trans. on CAD of Integrated Circuits and Systems 20(8): 1003-1015 (2001)
127		Farzan Fallah, Srinivas Devadas, Kurt Keutzer: Functional vector generation for HDL models using linearprogramming and Boolean satisfiability. IEEE Trans. on CAD of Integrated Circuits and Systems 20(8): 994-1002 (2001)
	2000
126		L. Miguel Silveira, Srinivas Devadas, Ricardo Augusto da Luz Reis: VLSI: Systems on a Chip, IFIP TC10/WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI '99), December 1-4, 1999, Lisbon, Portugal Kluwer 2000
125		Derek Chiou, Prabhat Jain, Larry Rudolph, Srinivas Devadas: Application-specific memory management for embedded systems using software-controlled caches. DAC 2000: 416-419
124		José C. Costa, Srinivas Devadas, José Monteiro: Observability Analysis of Embedded Software for Coverage-Directed Validation. ICCAD 2000: 27-32
123		George Hadjiyiannis, Silvina Hanono, Srinivas Devadas: ISDL: An Instruction Set Description Language for Retargetability and Architecture Exploration. Design Autom. for Emb. Sys. 6(1): 39-69 (2000)
122		Farzan Fallah, Stan Y. Liao, Srinivas Devadas: Solving covering problems using LPR-based lower bounds. IEEE Trans. VLSI Syst. 8(1): 9-17 (2000)
	1999
121		Farzan Fallah, Pranav Ashar, Srinivas Devadas: Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage. DAC 1999: 666-671
120		George Hadjiyiannis, Pietro Russo, Srinivas Devadas: A Methodology for Accurate Performance Evaluation in Architecture Exploration. DAC 1999: 927-932
119		Srinivas Devadas, Sharad Malik, José C. Monteiro, Luciano Lavagno: CAD Techniques for Embedded System Design. VLSI Design 1999: 608
118		Stan Y. Liao, Srinivas Devadas, Kurt Keutzer: A text-compression-based method for code size minimization in embedded systems. ACM Trans. Design Autom. Electr. Syst. 4(1): 12-38 (1999)
117		Ashok Sudarsanam, Stan Y. Liao, Srinivas Devadas: Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures. Design Autom. for Emb. Sys. 4(1): 5-22 (1999)
	1998
116		Farzan Fallah, Srinivas Devadas, Kurt Keutzer: OCCOM: Efficient Computation of Observability-Based Code Coverage Metrics for Functional Verification. DAC 1998: 152-157
115		Silvina Hanono, Srinivas Devadas: Instruction Selection, Resource Allocation, and Scheduling in the AVIV Retargetable Code Generator. DAC 1998: 510-515
114		Farzan Fallah, Srinivas Devadas, Kurt Keutzer: Functional Vector Generation for HDL Models Using Linear Programming and 3-Satisfiability. DAC 1998: 528-533
113		Srinivas Devadas, Kurt Keutzer: An algorithmic approach to optimizing fault coverage for BIST logic synthesis. ITC 1998: 164-173
112		Stan Y. Liao, Kurt Keutzer, Steven W. K. Tjiang, Srinivas Devadas: A new viewpoint on code generation for directed acyclic graphs. ACM Trans. Design Autom. Electr. Syst. 3(1): 51-75 (1998)
111		Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert Wang: Code Optimization Techniques in Embedded DSP Microprocessors. Design Autom. for Emb. Sys. 3(1): 59-73 (1998)
110		José C. Monteiro, Srinivas Devadas, Abhijit Ghosh: Sequential logic optimization for low power using input-disabling precomputation architectures. IEEE Trans. on CAD of Integrated Circuits and Systems 17(3): 279-284 (1998)
109		Stan Y. Liao, Srinivas Devadas, Kurt Keutzer: Code density optimization for embedded DSP processors using data compression techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 17(7): 601-608 (1998)
108		Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas Devadas: BDD-based synthesis of extended burst-mode controllers. IEEE Trans. on CAD of Integrated Circuits and Systems 17(9): 782-792 (1998)
107		George Hadjiyiannis, Anantha Chandrakasan, Srinivas Devadas: A low power, low bandwidth protocol for remote wireless terminals. Wireless Networks 4(1): 3-15 (1998)
	1997
106		Stan Y. Liao, Srinivas Devadas: Solving Covering Problems Using LPR-Based Lower Bounds. DAC 1997: 117-120
105		Ashok Sudarsanam, Stan Y. Liao, Srinivas Devadas: Analysis and Evaluation of Address Arithmetic Capabilities in Custom DSP Architectures. DAC 1997: 287-292
104		George Hadjiyiannis, Silvina Hanono, Srinivas Devadas: ISDL: An Instruction Set Description Language for Retargetability. DAC 1997: 299-302
103		José C. Costa, José C. Monteiro, Srinivas Devadas: Switching activity estimation using limited depth reconvergent path analysis. ISLPED 1997: 184-189
102		José C. Monteiro, Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer, Jacob K. White: Estimation of average switching activity in combinational logic circuits using symbolic simulation. IEEE Trans. on CAD of Integrated Circuits and Systems 16(1): 121-127 (1997)
	1996
101		José Monteiro, Srinivas Devadas, Pranav Ashar, Ashutosh Mauskar: Scheduling Techniques to Enable Power Management. DAC 1996: 349-352
100		Srinivas Devadas, Abhijit Ghosh, Kurt Keutzer: An observability-based code coverage metric for functional simulation. ICCAD 1996: 418-425
99		Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert Wang: Storage Assignment to Decrease Code Size. ACM Trans. Program. Lang. Syst. 18(3): 235-253 (1996)
98		Chi-Ying Tsui, José C. Monteiro, Massoud Pedram, Srinivas Devadas, Alvin M. Despain, Bill Lin: Correction to "Power Estimation Methods for Sequential Logic Circuits" [Correspondence]. IEEE Trans. VLSI Syst. 4(4): 495 (1996)
97		Srinivas Devadas, Kurt Keutzer: Addendum to "Synthesis of robust delay-fault testable circuits: Theory". IEEE Trans. on CAD of Integrated Circuits and Systems 15(4): 445-446 (1996)
96		José Monteiro, Srinivas Devadas: Techniques for power estimation and optimization at the logic level: A survey. VLSI Signal Processing 13(2-3): 259-276 (1996)
	1995
95		Stan Y. Liao, Srinivas Devadas, Kurt Keutzer: Code density optimization for embedded DSP processors using data compression techniques. ARVLSI 1995: 272-285
94		José Monteiro, John Rinderknecht, Srinivas Devadas, Abhijit Ghosh: Optimization of combinational and sequential logic circuits for low power using precomputation. ARVLSI 1995: 430-444
93		Srinivas Devadas, Sharad Malik: A Survey of Optimization Techniques Targeting Low Power VLSI Circuits. DAC 1995: 242-247
92		Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert Wang: Code Optimization Techniques for Embedded DSP Microprocessors. DAC 1995: 599-604
91		Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang: Instruction selection using binate covering for code size optimization. ICCAD 1995: 393-399
90		José Monteiro, Srinivas Devadas: Techniques for the power estimation of sequential logic circuits under user-specified input sequences and programs. ISLPD 1995: 33-38
89		Stan Y. Liao, Srinivas Devadas, Kurt Keutzer, Steven W. K. Tjiang, Albert Wang: Storage Assignment to Decrease Code Size. PLDI 1995: 186-195
88		Chi-Ying Tsui, José C. Monteiro, Massoud Pedram, Srinivas Devadas, Alvin M. Despain, Bill Lin: Power estimation methods for sequential logic circuits. IEEE Trans. VLSI Syst. 3(3): 404-416 (1995)
87		Amelia Shen, Srinivas Devadas, Abhijit Ghosh: Probabilistic manipulation of Boolean functions using free Boolean diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems 14(1): 87-95 (1995)
86		Bill Lin, Srinivas Devadas: Synthesis of hazard-free multilevel logic under multiple-input changes from binary decision diagrams. IEEE Trans. on CAD of Integrated Circuits and Systems 14(8): 974-985 (1995)
	1994
85		Guido Araujo, Srinivas Devadas, Kurt Keutzer, Stan Y. Liao, Sharad Malik, Ashok Sudarsanam, Steven W. K. Tjiang, Albert Wang: Challenges in code generation for embedded processors. Code Generation for Embedded Processors 1994: 48-64
84		José C. Monteiro, Srinivas Devadas, Bill Lin: A Methodology for Efficient Estimation of Switching Activity in Sequential Logic Circuits. DAC 1994: 12-17
83		Vishal Bhagwati, Srinivas Devadas: Automatic Verification of Pipelined Microprocessors. DAC 1994: 603-608
82		Bill Lin, Srinivas Devadas: Synthesis of hazard-free multi-level logic under multiple-input changes from binary decision diagrams. ICCAD 1994: 542-549
81		Kenneth Y. Yun, Bill Lin, David L. Dill, Srinivas Devadas: Performance-driven synthesis of asynchronous controllers. ICCAD 1994: 550-557
80		Mazhar Alidina, José C. Monteiro, Srinivas Devadas, Abhijit Ghosh, Marios C. Papaefthymiou: Precomputation-based sequential logic optimization for low power. ICCAD 1994: 74-81
79		José C. Monteiro, James H. Kukula, Srinivas Devadas, Horácio C. Neto: Bitwise Encoding of Finite State Machines. VLSI Design 1994: 379-382
78		Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Certified timing verification and the transition delay of a logic circuit. IEEE Trans. VLSI Syst. 2(3): 333-342 (1994)
77		Mazhar Alidina, José C. Monteiro, Srinivas Devadas, Abhijit Ghosh, Marios C. Papaefthymiou: Precomputation-based sequential logic optimization for low power. IEEE Trans. VLSI Syst. 2(4): 426-436 (1994)
76		Filip Van Aelten, Jonathan Allen, Srinivas Devadas: Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs. IEEE Trans. on CAD of Integrated Circuits and Systems 13(1): 122-134 (1994)
75		Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Event suppression: improving the efficiency of timing simulation for synchronous digital circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 13(6): 814-822 (1994)
74		Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Verification of asynchronous interface circuits with bounded wire delays. VLSI Signal Processing 7(1-2): 161-182 (1994)
	1993
73		José C. Monteiro, Srinivas Devadas, Abhijit Ghosh: Retiming sequential circuits for low power. ICCAD 1993: 398-402
72		Amelia Shen, Srinivas Devadas, Abhijit Ghosh: Probabilistic construction and manipulation of free Boolean diagrams. ICCAD 1993: 544-583
71		Stan Y. Liao, Srinivas Devadas, Abhijit Ghosh: Boolean factorization using multiple-valued minimization. ICCAD 1993: 606-611
70		Pranav Ashar, Srinivas Devadas, Kurt Keutzer: Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks. Formal Methods in System Design 2(1): 93-112 (1993)
69		Horng-Fei Jyu, Sharad Malik, Srinivas Devadas, Kurt Keutzer: Statistical timing analysis of combinational logic circuits. IEEE Trans. VLSI Syst. 1(2): 126-137 (1993)
68		Srinivas Devadas, Kurt Keutzer, Sharad Malik: Computation of floating mode delay in combinational circuits: theory and algorithms. IEEE Trans. on CAD of Integrated Circuits and Systems 12(12): 1913-1923 (1993)
67		Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Computation of floating mode delay in combinational circuits: practice and implementation. IEEE Trans. on CAD of Integrated Circuits and Systems 12(12): 1924-1936 (1993)
66		Filip Van Aelten, Jonathan Allen, Srinivas Devadas: Verification of relations between synchronous machines. IEEE Trans. on CAD of Integrated Circuits and Systems 12(12): 1947-1959 (1993)
65		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Sequential test generation and synthesis for testability at the register-transfer and logic levels. IEEE Trans. on CAD of Integrated Circuits and Systems 12(5): 579-598 (1993)
64		Srinivas Devadas: Comparing two-level and ordered binary decision diagram representations of logic functions. IEEE Trans. on CAD of Integrated Circuits and Systems 12(5): 722-723 (1993)
63		Kwang-Ting Cheng, Srinivas Devadas, Kurt Keutzer: Delay-fault test generation and synthesis for testability under a standard scan design methodology. IEEE Trans. on CAD of Integrated Circuits and Systems 12(8): 1217-1231 (1993)
62		Srinivas Devadas, Petra Michel: Guest editorial. J. Electronic Testing 4(1): 7 (1993)
61		Srinivas Devadas, Kurt Keutzer, Sharad Malik: A synthesis-based test generation and compaction algorithm for multifaults. J. Electronic Testing 4(1): 91-104 (1993)
	1992
60		Abhijit Ghosh, Srinivas Devadas, Kurt Keutzer, Jacob White: Estimation of Average Switching Activity in Combinational and Sequential Circuits. DAC 1992: 253-259
59		Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Certified Timing Verification and the Transition Delay of a Logic Circuit. DAC 1992: 549-555
58		Filip Van Aelten, Stan Y. Liao, Jonathan Allen, Srinivas Devadas: Automatic generation and verification of sufficient correctness properties for synchronous processors. ICCAD 1992: 183-187
57		Srinivas Devadas, Kurt Keutzer, Sharad Malik, Albert Wang: Verification of asynchronous interface circuits with bounded wire delays. ICCAD 1992: 188-195
56		Amelia Shen, Abhijit Ghosh, Srinivas Devadas, Kurt Keutzer: On average power dissipation and random pattern testability of CMOS combinational logic networks. ICCAD 1992: 402-407
55		Srinivas Devadas, Horng-Fei Jyu, Kurt Keutzer, Sharad Malik: Statistical Timing Analysis of Combinational Circuits. ICCD 1992: 38-43
54		Srinivas Devadas, Kurt Keutzer: Synthesis of robust delay-fault-testable circuits: theory. IEEE Trans. on CAD of Integrated Circuits and Systems 11(1): 87-101 (1992)
53		Srinivas Devadas, Kurt Keutzer: Validatable nonrobust delay-fault testable circuits via logic synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 11(12): 1559-1573 (1992)
52		Srinivas Devadas, Kurt Keutzer: Synthesis of robust delay-fault-testable circuits: practice. IEEE Trans. on CAD of Integrated Circuits and Systems 11(3): 277-300 (1992)
51		Srinivas Devadas, Kurt Keutzer, Jacob K. White: Estimation of power dissipation in CMOS combinational circuits using Boolean function manipulation. IEEE Trans. on CAD of Integrated Circuits and Systems 11(3): 373-383 (1992)
50		Michael J. Bryan, Srinivas Devadas, Kurt Keutzer: Necessary and sufficient conditions for hazard-free robust transistor stuck-open-fault testability in multilevel networks. IEEE Trans. on CAD of Integrated Circuits and Systems 11(6): 800-803 (1992)
49		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Heuristic minimization of Boolean relations using testing techniques. IEEE Trans. on CAD of Integrated Circuits and Systems 11(9): 1166-1172 (1992)
	1991
48		Srinivas Devadas, Kurt Keutzer, Sharad Malik: A Synthesis-Based Test Generation and Compaction Algorithm for Multifaults. DAC 1991: 359-365
47		Kwang-Ting Cheng, Srinivas Devadas, Kurt Keutzer: Robust Delay-Fault Test Generation and Synthesis for Testability Under A Standard Scan Design Methodology. DAC 1991: 80-86
46		Srinivas Devadas, Kurt Keutzer, Sharad Malik: Delay Computation in Combinational Logic Circuits: Theory and Algorithms. ICCAD 1991: 176-179
45		Filip Van Aelten, Jonathan Allen, Srinivas Devadas: Verification of Relations Between Synchronous Machines. ICCAD 1991: 380-383
44		James H. Kukula, Srinivas Devadas: Finite State Machine Decomposition by Transition Pairing. ICCAD 1991: 414-417
43		Srinivas Devadas, Kurt Keutzer, A. S. Krishnakumar: Design Verfication and Reachability Analysis Using Algebraic Manipulation. ICCD 1991: 250-258
42		Pranav Ashar, Abhijit Ghosh, Srinivas Devadas: Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams. ICCD 1991: 259-264
41		Kwang-Ting Cheng, Srinivas Devadas, Kurt Keutzer: A Partial Enhanced-Scan Approach to Robust Delay-Fault Test Generation for Sequential Circuits. ITC 1991: 403-410
40		Pranav Ashar, Srinivas Devadas, Kurt Keutzer: Gate-Delay-Fault Testability Properties of Multiplexor-Based Networks. ITC 1991: 887-896
39		Srinivas Devadas, A. Richard Newton: Exact algorithms for output encoding, state assignment, and four-level Boolean minimization. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 13-27 (1991)
38		Srinivas Devadas, Kurt Keutzer: A unified approach to the synthesis of fully testable sequential machines. IEEE Trans. on CAD of Integrated Circuits and Systems 10(1): 39-50 (1991)
37		Srinivas Devadas: Optimizing interacting finite state machines using sequential don't cares. IEEE Trans. on CAD of Integrated Circuits and Systems 10(12): 1473-1484 (1991)
36		Pranav Ashar, Srinivas Devadas, A. Richard Newton: Optimum and heuristic algorithms for an approach to finite state machine decomposition. IEEE Trans. on CAD of Integrated Circuits and Systems 10(3): 296-310 (1991)
35		Pranav Ashar, Srinivas Devadas, A. Richard Newton: Irredundant interacting sequential machines via optimal logic synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 10(3): 311-325 (1991)
34		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Test generation and verification for highly sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 10(5): 652-667 (1991)
	1990
33		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Verification of Interacting Sequential Circuits. DAC 1990: 213-219
32		Srinivas Devadas, Kurt Keutzer: Synthesis and Optimization Procedures for Robustly Delay-Fault Testable Combinational Logic Circuits. DAC 1990: 221-227
31		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Sequential Test Generation at the Register-Transfer and Logic Levels. DAC 1990: 580-586
30		Pranav Ashar, Srinivas Devadas, A. Richard Newton: A Unified Approach to the Decomposition and Re-Decomposition of Sequential Machines. DAC 1990: 601-606
29		Srinivas Devadas, Kurt Keutzer: An Automata-Theoretic Approach to Behavioral Equivalence. ICCAD 1990: 30-33
28		Michael J. Bryan, Srinivas Devadas, Kurt Keutzer: Testability-Preserving Circuit Transformations. ICCAD 1990: 456-459
27		Pranav Ashar, Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Implicit State Transition Graphs: Applications to Sequential Logic Synthesis and Test. ICCAD 1990: 84-87
26		Srinivas Devadas: Minimization of Functions with Multiple-Valued Outputs: Theory and Applications. ISMVL 1990: 308-315
25		Abhijit Ghosh, Srinivas Devadas, A. Richard Newton: Sequential logic synthesis for testability using register-transfer level descriptions. ITC 1990: 274-283
24		Srinivas Devadas, Kurt Keutzer: Design of integrated circuits fully testable for delay-faults and multifaults. ITC 1990: 284-293
23		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Irredundant sequential machines via optimal logic synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 9(1): 8-18 (1990)
22		Srinivas Devadas, Hi-Keung Tony Ma: Easily testable PLA-based finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 9(6): 604-611 (1990)
21		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Redundancies and don't cares in sequential logic synthesis. J. Electronic Testing 1(1): 15-30 (1990)
	1989
20		Srinivas Devadas: Approaches to Multi-level Sequential Logic Synthesis. DAC 1989: 270-276
19		Srinivas Devadas: General Decomposition of Sequential Machines: Relationships to State Assignment. DAC 1989: 314-320
18		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Easily testable PLA-based finite state machines. FTCS 1989: 102-109
17		Srinivas Devadas: Delay Test Generation for Synchronous Sequential Circuits. ITC 1989: 144-152
16		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: Redundancies and Don't Cares in Sequential Logic Synthesis. ITC 1989: 491-500
15		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: A synthesis and optimization procedure for fully and easily testable sequential machines. IEEE Trans. on CAD of Integrated Circuits and Systems 8(10): 1100-1107 (1989)
14		Srinivas Devadas, A. Richard Newton: Decomposition and factorization of sequential finite state machines. IEEE Trans. on CAD of Integrated Circuits and Systems 8(11): 1206-1217 (1989)
13		Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli: Logic verification algorithms and their parallel implementation. IEEE Trans. on CAD of Integrated Circuits and Systems 8(2): 181-189 (1989)
12		Srinivas Devadas, A. Richard Newton: Algorithms for hardware allocation in data path synthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 8(7): 768-781 (1989)
	1988
11		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines. ITC 1988: 621-630
10		Hi-Keung Tony Ma, A. Richard Newton, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli: An Incomplete Scan Design Approach to Test Generation for Sequential Machines. ITC 1988: 730-734
9		Hi-Keung Tony Ma, Srinivas Devadas, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: Test generation for sequential circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 7(10): 1081-1093 (1988)
8		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli: MUSTANG: state assignment of finite state machines targeting multilevel logic implementations. IEEE Trans. on CAD of Integrated Circuits and Systems 7(12): 1290-1300 (1988)
7		Douglas Braun, Jeffrey L. Burns, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli, Kartikeya Mayaram, Srinivas Devadas, Hi-Keung Tony Ma: Techniques for multilayer channel routing. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 698-712 (1988)
6		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: On the verification of sequential machines at differing levels of abstraction. IEEE Trans. on CAD of Integrated Circuits and Systems 7(6): 713-722 (1988)
	1987
5		Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton: On the Verification of Sequential Machines at Differing Levels of Abstraction. DAC 1987: 271-276
4		Hi-Keung Tony Ma, Srinivas Devadas, Alberto L. Sangiovanni-Vincentelli, R. Wei: Logic Verification Algorithms and Their Parallel Implementation. DAC 1987: 283-290
3		Srinivas Devadas, A. Richard Newton: Topological Optimization of Multiple-Level Array Logic. IEEE Trans. on CAD of Integrated Circuits and Systems 6(6): 915-941 (1987)
	1986
2		Douglas Braun, Jeffrey L. Burns, Srinivas Devadas, Hi-Keung Tony Ma, Kartikeya Mayaram, Fabio Romeo, Alberto L. Sangiovanni-Vincentelli: Chameleon: a new multi-layer channel router. DAC 1986: 495-502
1		Srinivas Devadas, A. Richard Newton: GENIE: a generalized array optimizer for VLSI synthesis. DAC 1986: 631-637

Coauthor Index

1	Filip Van Aelten	[45] [58] [66] [76]
2	Anant Agarwal	[186]
3	Mazhar Alidina	[77] [80]
4	Jonathan Allen	[45] [58] [66] [76]
5	Guido Araujo	[85]
6	Maxim N. Artyomov	[171]
7	Arvind	[151]
8	Pranav Ashar	[27] [30] [35] [36] [40] [42] [70] [101] [121] [132]
9	Rolf Backofen	[172]
10	Hari Balakrishnan	[151]
11	Bonnie Berger	[165] [170] [172] [180] [183]
12	Vishal Bhagwati	[83]
13	Douglas Braun	[2] [7]
14	Michael J. Bryan	[28] [50]
15	Jeffrey L. Burns	[2] [7]
16	Matthew Burnside (Matt Burnside)	[133] [134] [140] [149]
17	Ivan Celanovic	[182]
18	Nikola Celanovic	[182]
19	Arup K. Chakraborty	[171]
20	Anantha Chandrakasan (Anantha P. Chandrakasan)	[107]
21	Chih-Chi Cheng	[168]
22	Kwang-Ting Cheng (Kwang-Ting (Tim) Cheng)	[41] [47] [63]
23	Derek Chiou	[125]
24	Myong Hyon Cho	[168] [173] [174] [175] [181] [184] [185] [187] [193]
25	Dwaine E. Clarke	[133] [134] [136] [137] [140] [141] [142] [143] [144] [146] [149] [150] [155] [156] [166]
26	Peter Clote	[165] [170]
27	José C. Costa	[103] [124] [148]
28	Victor Costan	[169] [189]
29	Alvin M. Despain	[88] [98]
30	Marten van Dijk	[134] [136] [137] [141] [142] [143] [144] [146] [150] [153] [155] [156] [157] [158] [159] [160] [162] [163] [166] [167] [169] [175]
31	David L. Dill	[81] [108]
32	Gideon Dror	[177] [178]
33	Douglas Ehlert	[151]
34	Daniel W. Engels	[131]
35	Farzan Fallah	[114] [116] [121] [122] [127] [128] [132]
36	Christopher W. Fletcher	[181] [185] [193]
37	Blaise Gassend	[134] [136] [137] [141] [142] [143] [144] [146] [150] [153] [155] [156] [157] [158] [160] [162] [166]
38	Abhijit Ghosh	[25] [27] [31] [33] [34] [42] [49] [56] [60] [65] [71] [72] [73] [77] [80] [87] [94] [100] [102] [110]
39	George Hadjiyiannis	[104] [107] [120] [123] [139]
40	Randal Halfmann	[180]
41	Silvina Hanono	[104] [115] [123]
42	Farrukh Hijaz	[186]
43	Henry Hoffmann (Hank Hoffmann)	[186]
44	Daniel Jackson	[157]
45	Prabhat Jain	[125] [131] [145]
46	Horng-Fei Jyu	[55] [69]
47	Kurt Keutzer	[24] [28] [29] [32] [38] [40] [41] [43] [46] [47] [48] [50] [51] [52] [53] [54] [55] [56] [57] [59] [60] [61] [63] [67] [68] [69] [70] [74] [75] [78] [85] [89] [91] [92] [95] [97] [99] [100] [102] [109] [111] [112] [113] [114] [116] [118] [127] [128]
48	Omer Khan	[179] [181] [182] [184] [185] [186] [193]
49	Michel A. Kinsy	[168] [173] [174] [175] [181] [182] [190]
50	Thomas Kotwal	[134]
51	Farinaz Koushanfar	[192]
52	A. S. Krishnakumar	[43]
53	James H. Kukula	[44] [79]
54	Luciano Lavagno	[119]
55	Ilia A. Lebedev	[181]
56	Andrew Lee	[160] [162]
57	Jae W. Lee	[152] [153]
58	Stan Y. Liao	[58] [71] [85] [89] [91] [92] [95] [99] [105] [106] [109] [111] [112] [117] [118] [122]
59	Daihyun Lim	[150] [153]
60	Bill Lin	[81] [82] [84] [86] [88] [98] [108]
61	Susan Lindquist	[180]
62	Mieszko Lis	[171] [173] [174] [179] [180] [181] [184] [185] [186] [187] [193]
63	David M'Raïhi	[191]
64	Hi-Keung Tony Ma	[2] [4] [5] [6] [7] [8] [9] [10] [11] [13] [15] [16] [18] [21] [22] [23]
65	Dusan Majstorovic	[182]
66	Mehrdad Majzoobi	[192]
67	Sharad Malik	[46] [48] [55] [57] [59] [61] [67] [68] [69] [74] [75] [78] [85] [93] [119]
68	Peter Marwedel	[138]
69	Ashutosh Mauskar	[101]
70	Kartikeya Mayaram	[2] [7]
71	Andrew Maywah	[133]
72	Petra Michel	[62]
73	Todd Mills	[133]
74	José C. Monteiro (José Monteiro)	[73] [77] [79] [80] [84] [88] [90] [94] [96] [98] [101] [102] [103] [110] [119] [124] [148]
75	Horácio C. Neto	[79]
76	A. Richard Newton	[1] [3] [5] [6] [8] [9] [10] [11] [12] [14] [15] [16] [18] [21] [23] [25] [27] [30] [31] [33] [34] [35] [36] [39] [49] [65]
77	Charles W. O'Donnell	[154] [159] [160] [161] [162] [172] [180] [183]
78	Marios C. Papaefthymiou	[77] [80]
79	Zdenek Sid Paral	[188]
80	Massoud Pedram	[88] [98]
81	Michael Pellauer	[190]
82	Sanjay Raman	[140] [149]
83	Ricardo Augusto da Luz Reis (Ricardo A. L. Reis, Ricardo Reis)	[126]
84	Pengju Ren	[185] [193]
85	Jonathan Rhodes	[159] [163] [167]
86	John Rinderknecht	[94]
87	Ronald L. Rivest	[133] [134] [140] [149]
88	Fabio Romeo	[2] [7]
89	Larry Rudolph	[125] [129] [130] [131] [135] [147]
90	Ulrich Rührmair	[177] [178]
91	Pietro Russo	[120]
92	Ishan Sachdev	[154]
93	Alberto L. Sangiovanni-Vincentelli	[2] [4] [7] [8] [9] [10] [11] [13] [15] [23]
94	Luis F. G. Sarmenta	[159] [163] [167] [169]
95	Jürgen Schmidhuber	[177] [178]
96	Frank Sehnke	[177] [178]
97	Amelia Shen	[56] [72] [87]
98	Solomon Shenker	[183]
99	Keun Sup Shim	[173] [174] [181] [184] [185] [187] [193]
100	Luis Miguel Silveira (L. Miguel Silveira)	[126] [148]
101	Yildiz Sinangil	[179]
102	Jan Sölter	[177] [178]
103	Richard Sowell	[191]
104	Ajay Sudan	[155]
105	Ashok Sudarsanam	[85] [105] [117]
106	G. Edward Suh	[129] [130] [135] [142] [143] [144] [145] [146] [147] [152] [153] [154] [155] [156] [161] [164] [168] [174] [175]
107	William Thies	[160] [162]
108	Steven W. K. Tjiang	[85] [89] [91] [92] [99] [111] [112]
109	Emina Torlak	[157] [158] [166]
110	Chi-Ying Tsui	[88] [98]
111	Pim Tuyls	[166]
112	Jérôme Waldispühl	[165] [170] [172] [180] [183]
113	Albert Wang	[57] [59] [67] [74] [75] [78] [85] [89] [92] [99] [111]
114	R. Wei	[4]
115	Ruey-Sing Wei	[13]
116	Tina Wen	[173] [174] [175]
117	Jacob K. White (Jacob White)	[51] [60] [102]
118	Sebastian Will	[172]
119	Meng-Day (Mandel) Yu	[176] [191]
120	Kenneth Y. Yun	[81] [108]
121	David Zhang (David Dapeng Zhang)	[152]
122	Nanning Zheng	[193]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page