PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Viswanath, Vinod"

Author of the publication

copydeleteadd this publication to your clipboard
Dedicated Rewriting: Automatic Verification of Low Power Transformations in Register Transfer Level.

, , and . J. Low Power Electronics, 5 (3): 339-353 (2009)

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.

Tarun Kumar Mitruka Vinod Kumar Mitruka University of Stuttgart

 

Other publications of authors with the same name

Efficient Microprocessor Verification using Antecedent Conditioned Slicing., , and . VLSI Design, page 43-49. IEEE Computer Society, (2007)Automatic insertion of low power annotations in RTL for pipelined microprocessors., , and . DATE, page 496-501. European Design and Automation Association, Leuven, Belgium, (2006)Dedicated Rewriting: Automatic Verification of Low Power Transformations in Register Transfer Level., , and . J. Low Power Electronics, 5 (3): 339-353 (2009)Multi-log Processor - Towards Scalable Event-Driven Multiprocessors.. DSD, page 279-286. IEEE Computer Society, (2004)Welcome., , , , , , , and . ISQED, IEEE, (2016)Dedicated Rewriting: Automatic Verification of Low Power Transformations in RTL., , and . VLSI Design, page 77-82. IEEE Computer Society, (2009)The Ultrascalar Processor-An Asymptotically Scalable Superscalar Microarchitecture., , and . ARVLSI, page 256-275. IEEE Computer Society, (1999)Power Management Methods: From Specification and Modeling, to Techniques and Verification., , , and . J. Low Power Electronics, 8 (4): 353-377 (2012)Sequential equivalence checking between system level and RTL descriptions., , , and . Design Autom. for Emb. Sys., 12 (4): 377-396 (2008)Closing the Verification Gap with Static Sign-off., and . ISQED, page 343-347. IEEE, (2019)