| Publication List |
- Yu-Hsin Kuo, Huan-Kai Peng and Charles H.-P. Wen,” Accurate statistical
soft error rate (SSER) analysis using a
quasi-Monte Carlo framework with quality cell models,” Proc. Int’l
Sympo. Quality Electornic Designs (ISQED’10),
pp.831-838, 2010. Link
- Lynn C.-L. Chang, Charles H.-P. Wen and Jayanta Bhadra, "Paper 16.1:
Speeding up Bounded Sequential Equivalence Checking
with Cross-Timeframe State-Pair Constraints from Data Learning, " Proc.
Int'l Test Conference, (ITC'09), November 2009. Link
- Francisco Torres, Rohit Srivastava, Javier Ruiz, Charles H.-P. Wen,
Mrinal Bose and Jayanta Bhadra, "Poster #16:
Portable simulation/emulation stimulus on an industrial-strength SoC,"
Proc. Int'l Test Conference, (ITC'09), November
2009. Link
- Pumbaa H.-K. Peng, Charles H.-P. Wen and Jayanta Bhadra, "2D.1: On Soft
Error Rate Analysis Beyond Deep Submicron - A
Statistical Perspective, " Proc. Int'l Conf. Computer Aided Design,
(ICCAD'09), November 2009.
- Lynn C.-L. Chang and Charles H.-P. Wen, "Mining Unreachable
Cross-timeframe State Pairs and Its Application on Bounded
Sequential Equivalence Checking ," to appear in IEEE Workshop on
Microprocessor Test and Verification (MTV'08), Dec.
2008 Link
|
