Ilya Wagner

17 papers A* 5A 5C 1Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2024 A conf
Functional State Extraction using Scan DFT.
ITC
Ilya Wagner, Pankaj Pant, Arani Sinha
2015 J jnl
Post-Silicon Validation of Multiprocessor Memory Consistency.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Biruk W. Mammo, Valeria Bertacco, Andrew DeOrio, Ilya Wagner
2011 A conf
Distributed hardware matcher framework for SoC survivability.
DATE
Ilya Wagner, Shih-Lien Lu
2011 A* conf
Energy-efficient cache design using variable-strength error-correcting codes.
ISCA
Alaa R. Alameldeen, Ilya Wagner, Zeshan Chishti, Wei Wu, Chris Wilkerson, Shih-Lien Lu
2009 A conf
Caspar: Hardware patching for multicore processors.
DATE
Ilya Wagner, Valeria Bertacco
2009 A* conf
Dacota: Post-silicon validation of the memory subsystem in multi-core designs.
HPCA
Andrew DeOrio, Ilya Wagner, Valeria Bertacco
2008 — —
An Effective Verification Solution for Modern Microprocessors.
Ilya Wagner
2008 A conf
MCjammer: Adaptive Verification for Multi-core Designs.
DATE
Ilya Wagner, Valeria Bertacco
2008 C conf
Reversi: Post-silicon validation system for modern microprocessors.
ICCD
Ilya Wagner, Valeria Bertacco
2008 A* conf
Testudo: Heavyweight security analysis via statistical sampling.
MICRO
Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie
2008 J jnl
Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ilya Wagner, Valeria Bertacco, Todd M. Austin
2007 — conf
Automatic error diagnosis and correction for RTL designs.
HLDVT
Kai-Hui Chang, Ilya Wagner, Valeria Bertacco, Igor L. Markov
2007 A conf
Engineering trust with semantic guardians.
DATE
Ilya Wagner, Valeria Bertacco
2007 J jnl
Microprocessor Verification via Feedback-Adjusted Markov Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Ilya Wagner, Valeria Bertacco, Todd M. Austin
2006 — conf
Depth-driven verification of simultaneous interfaces.
ASP-DAC
Ilya Wagner, Valeria Bertacco, Todd M. Austin
2006 A* conf
Shielding against design flaws with field repairable control logic.
DAC
Ilya Wagner, Valeria Bertacco, Todd M. Austin
2005 A* conf
StressTest: an automatic approach to test generation via activity monitors.
DAC
Ilya Wagner, Valeria Bertacco, Todd M. Austin