Practical Assertion-based Formal Verification for SoC Designs. - Ping Yeung; Kenneth Larsen (SoC, 2005)

Emulation and its connection to test. - Kenneth Larsen (ITC, 2014)

3DIC System-Technology Co-Optimization with a Focus on the Interplay of Thermal, Power, Timing, and Stress Effects. - Victor Moroz; Xiaopeng Xu; Alexei Svizhenko; Xi-Wei Lin; Sergey Popov; Henry Sheng; Kenneth Larsen (VLSI Technology and Circuits, 2024)