 | 2009 |
|---|
| 7 |       | Vinod Viswanath,
Shobha Vasudevan,
Jacob A. Abraham:
Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL.
VLSI Design 2009: 77-82 |
| 2007 |
|---|
| 6 | | Shobha Vasudevan,
Vinod Viswanath,
Jacob A. Abraham:
Efficient Microprocessor Verification using Antecedent Conditioned Slicing.
VLSI Design 2007: 43-49 |
| 5 | | 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 | | 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 | | 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 | | Vinod Viswanath:
Multi-log Processor - Towards Scalable Event-Driven Multiprocessors.
DSD 2004: 279-286 |
| 1999 |
|---|
| 1 | | Dana S. Henry,
Bradley C. Kuszmaul,
Vinod Viswanath:
The Ultrascalar Processor-An Asymptotically Scalable Superscalar Microarchitecture.
ARVLSI 1999: 256-275 |
