2009 |
7 | EE | Vinod Viswanath,
Shobha Vasudevan,
Jacob A. Abraham:
Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL.
VLSI Design 2009: 77-82 |
2007 |
6 | EE | Shobha Vasudevan,
Vinod Viswanath,
Jacob A. Abraham:
Efficient Microprocessor Verification using Antecedent Conditioned Slicing.
VLSI Design 2007: 43-49 |
5 | EE | Shobha 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) |
2006 |
4 | EE | Vinod Viswanath,
Jacob A. Abraham,
Warren A. Hunt Jr.:
Automatic insertion of low power annotations in RTL for pipelined microprocessors.
DATE 2006: 496-501 |
3 | EE | Shobha Vasudevan,
Jacob A. Abraham,
Vinod Viswanath,
Jiajin Tu:
Automatic decomposition for sequential equivalence checking of system level and RTL descriptions.
MEMOCODE 2006: 71-80 |
2004 |
2 | EE | Vinod Viswanath:
Multi-log Processor - Towards Scalable Event-Driven Multiprocessors.
DSD 2004: 279-286 |
1999 |
1 | EE | Dana S. Henry,
Bradley C. Kuszmaul,
Vinod Viswanath:
The Ultrascalar Processor-An Asymptotically Scalable Superscalar Microarchitecture.
ARVLSI 1999: 256-275 |