Fast Search-Based RTL Test Generation Using Control-Flow Path Guidance. - Sonal Pinto; Michael S. Hsiao (ICCD, 2017)

RTL functional test generation using factored concolic execution. - Sonal Pinto; Michael S. Hsiao (ITC, 2017)

A 1024-Channel Simultaneous Recording Neural SoC with Stimulation and Real-Time Spike Detection. - Do-Yeon Yoon; Sonal Pinto; SungWon Chung; Paul Merolla; Thong-Wei Koh; Dongjin Seo (VLSI Circuits, 2021)