COMPUTATIONAL INTELLIGENCE ON AUTOMATION (C.I.A.) LAB

Publication

Google Scholar  <> Research Gate <> dblp

Book Chapters

  1. Po-Han Huang and Charles H.-P. Wen. Flow Management and Orchestration for Virtualized Network Functions in Software-Defined Networks. Network as a Service for Next Generation Internet (ISBN: 9781785611766), Jun. 2017.
  2. Charles H.-P. Wen, Li-Chung Wang and Kwang-Ting Cheng. Chapter 9: Functional Verification, in Electronic Design Automation: Synthesis, Verification, and Testing. Elsevier/Morgan Kaufmann, 2009

 

Journal Articles

  1. Aaron C.-W. Liang, Ryan H.-M. Huang and Charles H.-P. Wen. (2022, May) A General and Automatic Cell Layout Generation Framework with Implicit Learning on Design Rules. IEEE Transactions on Very Large Scale Integration Systems (TVLSI) (Accepted).
  2. Michael I.-C. Wang; Charles H.-P. Wen; H. Jonathan Chao (2022, Jan). Roadrunner+: An Autonomous Intersection Management Cooperating with Connected Autonomous Vehicles and Pedestrians with Spillback Considered. ACM Transactions on Cyber-Physical Systems, 6(1) #5, pp.1-29. https://doi.org/10.1145/3488246.
  3. Yu-Jie Lin; Chi-Hsing Hung; Charles H.-P. Wen (2021, Dec). Real-time In-network Microburst Mitigation on Programmable Switch. IEEE Access (Accepted).
  4. Dave Y.-W. Lin, Charles H.-P. Wen (2021, Nov). A Delay-Adjustable, Self- Testable Flip-Flop for Soft-Error Tolerability and Delay-Fault Testability. ACM Transactions on Design Automation of Electronic Systems, Volume 26, Issue 6, Article No.: 50, pp 1–12. https://doi.org/10.1145/3462171.
  5. Dave Y.-W. Lin; Charles H.-P. Wen (2021, Mar). Rad-Hard Designs by Automated Latching-Delay Assignment and Time-Borrowable D-Flip-Flop. IEEE Transactions on Computers, Early Access. MOST 109-2224-E-007-006.
  6. Denny C.-Y. Wu, Aaron C.-W. Liang and Charles H.-P. Wen (2020, Mar.), Speeding up Functional Timing Analysis by Concise Formulation of Timed Characteristic Functions. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 39(12), 5281-5294.
  7. Dave Y.-W. Lin and Charles H.-P. Wen. DAD-FF: Hardening Designs by Delay-Adjustable D-Flip-Flop for Soft-Error-Rate Reduction. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), vol. 28, no. 4, pp. 1030 – 1042. DOI: 10.1109/TVLSI.2019.2962080, Apr. 2020.
  8. Yang Xu, Marco Cello, I-Chih Wang, Anwar Walid, Gordon Wilfong, Charles H.-P. Wen, Mario Marchese and H. Jonathan Chao (2019, Mar.). Dynamic Switch Migration in Distributed Software Defined Networks to Achieve Controller Load Balance. IEEE Journal on Selected Areas in Communications (JSAC), vol. 37, no. 3, pp. 515 – 529(15), Mar. 2019.
  9. Louis Y.-Z. Lin, Charles Chia-Hao Hsu and Charles H.-P. Wen. P4-TPG: Accelerating Deterministic Parallel Test Pattern Generation By Preemptive, Proactive and Preventive Schedulings. IEEE Access, vol. 7, no. , pp. 6816 – 6830(15), Dec. 2018.
  10. Louis Y.-Z. Lin and Charles H.-P. Wen. Unleashing Parallelism with Minimal Test Inflation in Multi-Threaded Test Pattern Generation. IEEE Access, vol. 6, no. , pp. 49269 – 49281(13), Sep. 2018.
  11. Chia-Ling (Lynn) Chang and Charles H.-P. Wen. Accurate Performance Evaluation of VLSI Designs with Selected CMOS Process Parameters. IET Circuits Devices & Systems, vol. 12, no. 1, pp. 116 – 123(8), Jan. 2018.
  12. Chien-Hui Liao and Charles H.-P. Wen. An Online Thermal-Pattern-Aware Task Scheduler in 3D Multi-Core Processors. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, vol. A, no. 12, pp. 2901 – 2910(10), Dec. 2017.
  13. Chien-Hui Liao and Charles H.-P. Wen. SVM-based Dynamic Voltage Prediction for Online Thermally Constrained Task Scheduling in 3D Multi-Core Processors. IEEE Embedded Systems Letters, vol. 10, no. 2, pp. 49 – 52(4), Nov. 2017.
  14. Chien-Hui Liao and Charles H.-P. Wen. An Online Task Scheduler in 3D Multi-Core Processors with Thermal-Aware Dynamic Voltage Assignment. IET Computers and Digital Techniques, vol. 12, no. 2, pp. 44 – 52(9), Oct. 2017.
  15. Hsuan-Ming Huang and Charles H.-P. Wen. Layout-Based Soft Error Rate Estimation Framework considering Multiple Transient Faults – from Device to Circuit Level. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), vol. 35, no. 4, pp. 586 – 597(12), Aug. 2015.
  16. Hsuan-Ming Huang, Dennis K.-H. Hsu and Charles H.-P. Wen. A Determinate Radiation Hardened Technique for Safety-Critical CMOS Designs. Journal of Electronic Testing-Theory and Applications (JETTA), vol. 31, no. 2, pp. 181 – 192(12), Mar. 2015.
  17. Chien-Hui Liao and Charles H.-P. Wen. Thermal-Constrained Task Scheduling on 3-D Multicore Processors for Throughput-and-Energy Optimization. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), vol. 23, no. 11, pp. 2719 – 2722(4), Oct. 2014.
  18. Chia-Ling Chia and Charles H.-P. Wen. Demystifying Iddq Data With Process Variation for Automatic Chip Classification. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), vol. 23, no. 6, pp. 1175 – 1179(5), Jun. 2014.
  19. Chia-Ching Chang, Hsuan-Ming Huang and Charles H.-P. Wen. CASSER: A Closed-form Analysis Framework for Statistical Soft Error Rate. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), vol. 21, no. 10, pp. 1837 – 1848(12), Oct. 2013.
  20. Christina C.-H. Liao, Allen W.-T. Chen, Louis Y.-Z. Lin and Charles H.-P. Wen. Fast Scan-Chain Ordering for 3D-IC Designs under Through-Silicon-Via (TSV) Constraints. IEEE Transactions on Very Large Scale Integration Systems (TVLSI), vol. 21, no. 6, pp. 1170 – 1174(5), Jun. 2013.
  21. Hsuan-Ming Huang and Charles H.-P. Wen. Fast-yet-accurate Statistical Soft Error Rate Analysis considering Full-Spectrum Charge Collection. IEEE Design & Test of Computers (D&T), vol. 30, no. 2, pp. 77 – 86(10), Apr. 2013.
  22. Chia-Yu Lin, Yuan-Ming Pai, Kun-Hung Tsai, Charles H.-P. Wen and Li-Chun Wang. Parallelizing Modified Cuckoo Search on MapReduce Architecture. Journal of Electronic Science and Technology, vol. 11, no. 2, pp. 115 – 123(9), Feb. 2013.
  23. Yen-Hao Chen, Chia-Ching Chang and Charles H.-P. Wen. Diagnostic test-pattern generation (DTPG) targeting open-segment defects and its diagnosis flow. IET Computers and Digital Techniques, vol. 6, no. 3, pp. 186 – 193(8), May 2012.
  24. Huan-Kai Peng, Charles H.-P. Wen and Jayanta Bhadra. Statistical Soft Error Rate (SSER) Analysis for Scaled CMOS Designs. ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 17, no. 1, pp.  – (1), Jan. 2012.
  25. Chen-Yuan Kao, Chien-Hui Liao and Charles H.-P. Wen. Diagnosing Multiple Byzantine Open-Segment Defects using Integer Linear Programming. Journal of Electronic Testing-Theory and Applications (JETTA), vol. 27, no. 6, pp. 723 – 740(18), Dec. 2011.
  26. Charles H.-P. Wen, Li-Chung Wang and Kwang-Ting Cheng. Simulation-based Functional Test Generation for Embedded Processors. IEEE Transactions on Computers (TC), vol. 55, no. 11, pp. 1335 – 1343, Nov. 2006.

 

Conference Proceedings

  1. Ming-Hsien Hsiao, Pin-Tang Wang, Chia-Wei Liang, Hung-Pin Wen. (2022 Jun.) Existence of Single-Event Double-Node Upsets (SEDU) in Radiation-Hardened Latches for Sub-65 nm CMOS Technologies, IEEE International Test Conference (ITC).
  2. John (Zhung-Li) Tang, Aaron C.-W. Liang, Ming-Hsien Hsiao and Charles H.-P. Wen. (2022 Jun.) SEM-Latch: A Lost-Cost and High-Performance Latch Design for Mitigating Soft Errors in Nanoscale CMOS Process. ACM/IEEE Design Automation Conference (DAC).
  3. Hsin-Fu Chang, Michael I-Chih Wang, Chi-Hsiang Hung and Hung-Pin (Charles) Wen. (2022 Apr.) Enabling Malware Detection with Machine Learning on Programmable Switch, IEEE/IFIP Network Operations and Management Symposium (NOMS).
  4. Linyih Teng, Chi-Hsiang Hung and Hung-Pin (Charles) Wen. (2022 Apr.) P4SF: A High-Performance Stateful Firewall on Commodity P4-Programmable Switch, IEEE/IFIP Network Operations and Management Symposium (NOMS).
  5. Tsung-Hua Tsai, Aaron C.-W. Liang and Charles H.-P. Wen. (2022, Apr.) SlewFTA: Functional Timing Analysis Considering Slew Propagation. IEEE International Symposium on VLSI Design Automation & Test (VLSI-DAT).
  6. John (Zhung-Li) Tung; Dave (Yu-Wen) Lin; Charles H.-P. Wen. (2021, Aug) AMSER-FF: Area-Minimized Soft-Error-Recoverable Flip-Flop for Radiation Hardening. IEEE International Test Conference in Asia (ITC-Asia).
  7. Aaron C.-W. Liang, Ryan H.-M. Huang and Charles H.-P. Wen. (2021, Jan) Generating Layouts of Standard Cells by Implicit Learning on Design Rules for Advanced Processes. 2021 Design, Automation, and Test in Europe Conference and Exhibition (DATE).
  8. Willy (Yu-Wei) and Charles H.-P. Wen. (2020 Nov.) Profit-Driven Service-Chain Deployment For
    EDA Requests On Private Cloud. IEEE International Conference on Cloud Networking (CloudNet).
  9. Gary K.C. Huang, Dave Y.W. Lin, John Z.L. Tang, Charles H.P. Wen (2020 Nov.) SDPTA: Soft-Delay-aware Pattern-based Timing Analysis and Its Path-Fixing Mechanism. IEEE 29th Asian Test Symposium (ATS).
  10. Wang, M. I. C., Wang, J., Wen, C. H. P. & Chao, H. J. (2020 Sep.) Roadrunner: Autonomous Intersection Management with Dynamic Lane Assignment. IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC).
  11. Chiueh, H-M., Yang, C. H., Wen, C. H. P., Yang, C. G., Chien, P. H., Hung, C. Y., Chen, Y. J., Wang, Y. P., Chiu, C. F. & Lin (2020 Aug.) Radiation-Harden RISC Processor for Micro-Satellites in Standard CMOS. IEEE International Symposium on VLSI Design Automation & Test (VLSI-DAT).
  12. Hsueh-Hong Kang, Chi-Hsiang Hung and Charles H.-P. Wen. (2020, Jul.) SAFCast: Smart Inter-Datacenter Multicast Transfer with Deadline Guarantee by Store-And-Forwarding. IEEE International Conference on Computer Communications (INFOCOM).
  13. Cheng-Hsien Shen, Aaron C.-W. Liang, Charles C.-H. Hsu and Charles H.-P. Wen (2019, Nov). FAE: Autoencoder-Based Failure Binning of RTL Designs for Verification and Debugging. IEEE International Test Conference (ITC).
  14. Hsueh-Hong Kang, Michael I.-C. Wang, Li-Ping Tung and Charles H.-P. Wen (2019, Aug). Parcel-Fit: Low Network-Overhead Service-Chain Deployment for Better Datacenter Performance. IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN).
  15. Ashkan Aghdai, Michael I.-C. Wang, Yang Xu, Charles H.-P. Wen and H. Jonathan Chao (2019, Feb). In-network Congestion-aware Load Balancing at Transport Layer. IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDV).
  16. I-Chih Wang, Charles H.-P. Wen and H. Jonathan Chao (2018, Jun). Improving Quality of Experience of Service-Chain Deployment for Multiple Users. 2018 IEEE/ACM 26th International Symposium on Quality of Service (IWQoS), Banff, AB, Canada, Canada.
  17. Pin-Ru Chao, Denny C.-Y. Wu and Charles H.-P. Wen. (2018 Aug.) Skew-Aware Functional Timing Analysis Against Setup Violation for Post-Layout Validation. IEEE International Test Conference in Asia (ITC-Asia).
  18. Tsung-Han Lei, Yao-Tsung Hsu, I-Chih Wang and Charles H.-P. Wen. Deploying QoS-assured Service Function Chains with Stochastic Prediction Models on VNF Latency. 2017 IEEE Conference on Network Function Virtualization and Software Defined Network (NFV-SDN), Jul 2017.
  19. Yu-Lun Su, I-Chih Wang, Yao-Tsung Hsu and Charles H.-P. Wen. FASIC: A Fast-recovery, Adaptively Spanning In-band Control Plane in Software-Defined Network. 2017 International Global Communications Conference (GLOBECOM), Jul 2017.
  20. Denny C.-Y. Wu, Pin-Ru Jhao and Charles H.-P. Wen. Accelerating Functional Timing Analysis with Encoding Duplication Removal and Redundant State Propagation. 2017 International Conference On Computer Aided Design (ICCAD), Jun. 2017.
  21. Jack S.-Y. Lin, Louis Y.-Z. Lin, Ryan H.-M. Huang and Charles H.-P. Wen. Coupling-Aware Functional Timing Analysis for Tighter Bounds: How Much Margin Can We Relax?. 2017 ACM Great Lakes Symposium on VLSI (GLSVLSI), Feb 2017.
  22. Yuwen Lin, Charles H.-P. Wen and Herming Chiueh. Radiation-Hardened Designs for Soft-Error-Rate Reduction by Delay-Adjustable D-Flip-Flops. 2017 ACM Great Lakes Symposium on VLSI (GLSVLSI), Feb 2017.
  23. Ying-Feng Wu, Yu-Lun Su and Charles H.-P. Wen. TVM: Tabular VM Migration for Reducing Hop Violations of Service Chains in Cloud Datacenters. IEEE International Conference on Communication (ICC), Jan 2017.
  24. Yuan-Ming Pai, Charles H.-P. Wen and Li-Ping Tung. SLA-driven Ordered Variable-width Windowing for Service-chain Deployment in Cloud Datacenters. The 31th International Conference on International conference on Information Networking (ICOIN), Jan 2017.
  25. Louis Y.-Z. Lin and Charles H.-P. Wen. Effective Speed Binning of Chip Designs by Mining Data From IDDQ Tests. Workshop on Microprocessor Test and Verification (MTV), Dec 2016.
  26. Kuan Wei Li, Po-Han Huang and Charles H.-P. Wen. Reducing Network Cost of Minimal-Migration Based VM Management in Cloud Datacenters. The 7th International Conference on Network of the Future (NOF), Nov 2016.
  27. Cheng Suo, I-Chen Tsai and Charles H.-P. Wen. ERIC: Economical & Reconfigurable HybrId-band Control for Software-Defined Datacenter Network. KIISE/IEEE The 30th International Conference on International conference on Information Networking (ICOIN), Jan 2016.
  28. Louis Y.-Z. Lin and Charles H.-P. Wen. Speed binning with high-quality structural patterns from functional timing analysis (FTA). 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), Jan 2016.
  29. Che-Cheng Chang, Ryan H.-M. Huang, Louis Y-.Z. Lin and Charles H.-P. Wen. TA-FTA: Transition-Aware Functional Timing Analysis with A Four-Valued Encoding. 2015 ACM/IEEE Design Automation Conference (DAC), Jun. 2015.
  30. Hsuan-Ming (Ryan) Huang, Yuwen Lin and Charles H.-P. Wen. Fast-yet-accurate Variation-Aware Current and Voltage Modelling of Radiation-Induced Transient Fault. IEEE Design Automation and Test Conference in Europe (DATE), Nov 2015.
  31. Po-Han Huang, Kuan-Wei Li and Charles H.-P. Wen. NACHOS: Network-Aware CHains Orchestration Selection for NFV in SDN Datacenter. 2015 4th IEEE International Conference on Cloud Networking (CLOUDNET), Aug 2015.
  32. Kuan-Tsen Kuo, Charles H.-P. Wen, Cheng Suo and I-Chen Tsai. SWF: Segmented Wildcard Forwarding for Flow Migration in OpenFlow Datacenter Networks. IEEE International Conference on Communication (ICC) 2015 SAC – Data Storage and Cloud Computing, Jun 2015.
  33. Chien-Hui Liao, Hung-Pin Wen and Krishnendu Chakrabarty. Dynamic Voltage Assignment for Thermal-Constrained Task Scheduler on 3D Multi-Core Processors. IEEE International Symposium on VLSI Design Automation & Test (VLSI-DAT), Apr 2015.
  34. Hsuan-Ming Huang, Yi-Wu Liu and Charles H.-P. Wen. Layout-Based Soft Error Rate Estimation Framework considering Multiple Transient Faults – from Device to Circuit Level. The 19th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI), Apr 2015.
  35. Chien-Hui Liao, Hung-Pin Wen and Krishnendu Chakrabarty. An Online Thermal-Constrained Task Scheduler for 3D Multi-Core Processors. IEEE Design Automation and Test Conference in Europe (DATE), Mar 2015.
  36. Kuan-Tsen Kuo, Charles H.-P. Wen and Cheng Suo. APWR:Address-Partitioned Wildcard Routing for Flow Management in SDN-based Datacenter Networks. International Conference on Software Intelligence Technologies and Applications (SIT), Dec 2014.
  37. Hunta H.-W. Wang, Louis Y-.Z. Lin, Hsuan-Ming Huang and Charles H.-P. Wen. CASTA: CUDA-Accelerated Static Timing Analysis for VLSI Designs. Parallel Processing (ICPP). 2014 43rd International Conference on, Sep 2014.
  38. Kevin P.Y. Huang, Charles H.-P. Wen and Herming Chiueh. Flexible Parallelized Empirical Mode Decomposition in CUDA for Hilbert Huang Transform. 2014 2014 IEEE Intl Conf on High Performance Computing and Communications (HPCC), Aug 2014.
  39. Ryan H.-M. Huang and Charles H.-P. Wen. Advanced Soft-Error-Rate (SER) Estimation with Striking-Time and Multi-Cycle Effects. 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC), Jun 2014.
  40. Sung S.-Y. Hsueh, Ryan H.-M. Huang and Charles H.-P. Wen. TASSER: A Temperature-Aware Statistical Soft-Error-Rate Analysis Framework for Combinational Circuits. 2014 15th International Symposium on Quality Electronic Design (ISQED), May 2014.
  41. Shao-Heng Wang, Patrick P.-W. Huang, Charles H.-P. Wen and Li-Chun Wang. EQVMP: Energy-efficient and QoS-aware virtual machine placement for software defined datacenter networks. Information Networking (ICOIN), 2014 International Conference on, Feb 2014.
  42. Jerry C.-Y. Ku, Ryan H.-M. Huang, Louis Y-.Z. Lin and Charles H.-P. Wen. Suppressing Test Inflation in Shared-Memory Parallel Automatic Test Pattern Generation. Design Automation Conference (ASP-DAC), 2014 19th Asia and South Pacific, Jan 2014.
  43. Wei-Chu Lin, Chien-Hui Liao, Kuan-Tsen Kuo and Charles H.-P. Wen. D2ENDIST-FM: Flow Migration in Routing of OpenFlow-based Cloud Networks. Cloud Networking (CLOUDNET), 2013 IEEE 2nd International Conference on, Nov 2013.
  44. Chia-Ling Chang, Charles H.-P. Wen and Jayanta Bhadra. Process-Variation-Aware Iddq Diagnosis for Nano-Scale CMOS Designs. The First Step. IEEE Design Automation and Test Conference in Europe (DATE), May 2013.
  45. Cosette Y.H. Lin, Ryan H.-M. Huang, Charles H.-P. Wen and Austin C.-C. Chang. Aging-aware Statistical Soft-Error-Rate Analysis for Nano-Scaled CMOS Designs. IEEE International Symposium on VLSI Design Automation & Test (VLSI-DAT), Apr. 2013.
  46. Wei-Ping Yang, Li-Chun Wang and Hung-Pin Wen. A Queueing Analytical Model for Service Mashup in Mobile Cloud Computing. IEEE Wireless Communications and Networking Conference (WCNC), Apr. 2013.
  47. Chia-Ling Chang, Chia-Ching Chang, Hui-Ling Chan., Charles H.-P. Wen and Jayanta Bhadra. An Intelligent Analysis of Iddq Data for Chip Classification in very deep-submicron (VDSM) CMOS technology. 17th Asia and South Pacific Design Automation Conference (ASP-DAC), Feb. 2012.
  48. Chien-Hui Liao and Charles H.-P. Wen. Performance Validation of Dynamic-Remapping-Based Task Scheduling on 3D Multi-Core Processors. VLSI Design Automation & Test (VLSI-DAT), 2012.
  49. Xin-Tian Lena Wu, Kai-Hua Dennis Hsu, Lynn C.-L. Chang and Charles H.-P. Wen. Spatial-Correlation-Aware Soft Error Rate Analysis Using Quasi-Importance Sampling. VLSI Design Automation & Test (VLSI-DAT), 2012.
  50. Yen-Hou Chen, Lynn C.-L. Chang and Charles H.-P. Wen. Diagnosing Interconnect Open Defects With Test-Pattern Generation. International Test Conference (ITC), 2011.
  51. 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. International Symposium on Quality Electronic Designs (ISQED), 2010.
  52. Yu-Hsin Kuo, Huan-Kai Peng and Charles H.-P. Wen. Statistical Soft Error Rate (SSER) Analysis Using a Fast Monte-Carlo Based Framework. International Symposium on Circuits and Systems (ISCAS), 2010.
  53. Wei-Ting Chen, Chia-Chin Chang and H.-P Wen. Through-Silicon-Via(TSV)-constrained Scan Chain Reordering for Three-dimensional(3D) Integrated Circuits. Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI), 2010.
  54. Chen-Yuan Kao, Chien-Hui Liao and Hung-Pin Wen. Integer-Linear-Programming (ILP) Based Diagnosis of Multiple Byzantine Open-Segment Defects. Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI), 2010.
  55. Francisco Torres, Rohit Srivastava, Javier Ruiz, Charles H.-P. Wen, Mrinal Bose and Jayanta Bhadra. Portable simulation/emulation stimulus on an industrial-strength SoC. International Test Conference (ITC), Nov. 2009.
  56. Pumbaa H.-K. Peng, Charles H.-P. Wen and Jayanta Bhadra. On Soft Error Rate Analysis Beyond Deep Submicron – A Statistical Perspective. International Conference on Computer Aided Design, (ICCAD), Nov. 2009.
  57. Lynn C.-L. Chang, Charles H.-P. Wen and Jayanta Bhadra. Speeding up Bounded Sequential Equivalence Checking with Cross-Timeframe State-Pair Constraints from Data Learning. International Test Conference (ITC), 2009.
  58. Chen-Yuan (Ben) Gao, Chien-Hui (Christina) Liao and Charles H.-P. Wen. An ILP-based Diagnosis Framework for Multiple Open-Segment Defects. IEEE Workshop on Microprocessor Test and Verification (MTV), 2009.
  59. Lynn C.-L. Chang and Charles H.-P. Wen. Mining Unreachable Cross-timeframe State Pairs and Its Application on Bounded Sequential Equivalence Checking. IEEE Workshop on Microprocessor Test and Verification (MTV), 2008.
  60. Charles H.-P. Wen, Li-Chung Wang and Jayanta Bhadra. An Incremental Learning Framework for Estimating Signal Controllability in Unit-Level Verification. International Conference on Computer Aided Design (ICCAD), 2007.
  61. Charles H.-P. Wen, Onur Guzey, Li-Chung Wang and Jin Yang. Simulation-based Functional Test Justification Using a Boolean Data Miner. IEEE International Conference on Computer Design (ICCD), 2006.
  62. Charles H.-P. Wen, Li-Chung Wang, Kwang-Ting Cheng, Wei-Ting Liu and Chi-Chen Chen. Simulation-based Target Test Generation Techniques for Improving the Robustness of a Software-Based-Self-Test Methodology. IEEE International Test Conference (ITC), Nov. 2005.
  63. Charles H.-P. Wen, Li-Chung Wang, Kwang-Ting Cheng, Kai Yang, Wei-Ting Liu and Chi-Chen Chen. On A Software-Based Self-Test Methodology and Its Application. IEEE VLSI Test Symposium (VTS), May 2005.
  64. Charles H.-P. Wen, Chien-Yu Lin and Youn-Long Lin. Concurrent-Simulation-based Remote IP Evaluation over the Internet for System-on-a-Chip Design. IEEE International Symposium on System Synthesis (ISSS), Feb 2001.