Vinod Viswanath

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

7EEVinod Viswanath, Shobha Vasudevan, Jacob A. Abraham: Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL. VLSI Design 2009: 77-82
6EEShobha Vasudevan, Vinod Viswanath, Jacob A. Abraham: Efficient Microprocessor Verification using Antecedent Conditioned Slicing. VLSI Design 2007: 43-49
5EEShobha Vasudevan, Vinod Viswanath, Robert W. Sumners, Jacob A. Abraham: Automatic Verification of Arithmetic Circuits in RTL Using Stepwise Refinement of Term Rewriting Systems. IEEE Trans. Computers 56(10): 1401-1414 (2007)
4EEVinod Viswanath, Jacob A. Abraham, Warren A. Hunt Jr.: Automatic insertion of low power annotations in RTL for pipelined microprocessors. DATE 2006: 496-501
3EEShobha Vasudevan, Jacob A. Abraham, Vinod Viswanath, Jiajin Tu: Automatic decomposition for sequential equivalence checking of system level and RTL descriptions. MEMOCODE 2006: 71-80
2EEVinod Viswanath: Multi-log Processor - Towards Scalable Event-Driven Multiprocessors. DSD 2004: 279-286
1EEDana S. Henry, Bradley C. Kuszmaul, Vinod Viswanath: The Ultrascalar Processor-An Asymptotically Scalable Superscalar Microarchitecture. ARVLSI 1999: 256-275

Coauthor Index

1Jacob A. Abraham [3] [4] [5] [6] [7]
2Dana S. Henry [1]
3Warren A. Hunt Jr. [4]
4Bradley C. Kuszmaul [1]
5Robert W. Sumners [5]
6Jiajin Tu [3]
7Shobha Vasudevan [3] [5] [6] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)