Author of the publication

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.

 

Other publications of authors with the same name

Dedicated Rewriting: Automatic Verification of Low Power Transformations in Register Transfer Level., , and . J. Low Power Electronics, 5 (3): 339-353 (2009)The Testability of Generalized Counters Under Multiple Faulty Cells., and . IEEE Trans. Computers, 39 (11): 1378-1385 (1990)CEDA: Control-Flow Error Detection Using Assertions., and . IEEE Trans. Computers, 60 (9): 1233-1245 (2011)Test Generation for Microprocessors., and . IEEE Trans. Computers, 29 (6): 429-441 (1980)Real-Number Codes for Bault-Tolerant Matrix Operations On Processor Arrays., and . IEEE Trans. Computers, 39 (4): 426-435 (1990)Abstraction Techniques for Validation Coverage Analysis and Test Generation., , and . IEEE Trans. Computers, 47 (1): 2-14 (1998)Efficient Algorithms for Testing Semiconductor Random-Access Memories., , and . IEEE Trans. Computers, 27 (6): 572-576 (1978)Power-aware multi-voltage custom memory models for enhancing RTL and low power verification., , and . ICCD, page 24-31. IEEE Computer Society, (2015)Automatic insertion of low power annotations in RTL for pipelined microprocessors., , and . DATE, page 496-501. European Design and Automation Association, Leuven, Belgium, (2006)Non-speculative double-sampling technique to increase energy-efficiency in a high-performance processor., , and . DATE, page 254-257. EDA Consortium San Jose, CA, USA / ACM DL, (2013)