| 4 | -- | 0 | Jörg Henkel. Verification and Test |
| 5 | -- | 6 | Magdy S. Abadir, Jayanta Bhadra, Wen Chen, Li-C. Wang. Guest Editors' Introduction: Emerging Challenges and Solutions in SoC Verification |
| 7 | -- | 22 | Wen Chen, Sandip Ray, Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang. Challenges and Trends in Modern SoC Design Verification |
| 23 | -- | 29 | Wen Chen, Kuo-Kai Hsieh, Li-Chung Wang, Jayanta Bhadra. Data-Driven Test Plan Augmentation for Platform Verification |
| 30 | -- | 37 | Syeda Hira Taqdees, Osman Hasan. Formally Verifying Transfer Functions of Linear Analog Circuits |
| 38 | -- | 46 | Gianpiero Cabodi, Paolo Camurati, Sebastiano F. Finocchiaro, Francesco Savarese, Danilo Vendraminetto. Embedded Systems Secure Path Verification at the Hardware/Software Interface |
| 47 | -- | 53 | John Adler, Andreas G. Veneris. Leveraging Software Configuration Management in Automated RTL Design Debug |
| 54 | -- | 62 | Maroua Ben Slimane, Imene Ben Hafaiedh, Riadh Robbana. Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin |
| 63 | -- | 71 | Huanyu Wang, Domenic Forte, Mark M. Tehranipoor, Qihang Shi. Probing Attacks on Integrated Circuits: Challenges and Research Opportunities |
| 72 | -- | 79 | Ran Wang, Krishnendu Chakrabarty. Tackling Test Challenges for Interposer-Based 2.5-D Integrated Circuits |
| 80 | -- | 87 | Francky Catthoor, Guido Groeseneken. Will Chips of the Future Learn How to Feel Pain and Cure Themselves? |
| 90 | -- | 96 | Yao-Wen Chang. An Interview With Professor Chenming Hu, Father of 3D Transistors |
| 97 | -- | 98 | Scott Davidson. Engineering Secure Internet of Things Systems |
| 99 | -- | 100 | José Luis Ayala. IEEE Rebooting Computing Week |
| 101 | -- | 102 | Theo Charides. Test Technology TC Newsletter |
| 103 | -- | 0 | Alvaro Cardenas. Corrections |
| 104 | -- | 0 | Scott Davidson. To Verification Infinity and Beyond |