Implementation of switching circuit models as transfer functions. - David Kebo Houngninou; Mitchell A. Thornton (ISCAS, 2016)

Simulation of switching circuits using transfer functions. - David Kebo Houngninou; Mitchell A. Thornton (MWSCAS, 2017)

FLIP: A RISC-V Visual Computer Architecture Simulator for K-12. - David Kebo Houngninou (SIGCSE (2), 2023)

Early Introduction to Computer Architecture in K-12. - David Kebo Houngninou; Maristela Holanda; Dilma Da Silva (SIGCSE (2), 2023)

Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization. - Fenghua Wu; Evan Pan; Rahul Kande; Michael Quinn; Aakash Tyagi; David Kebo Houngninou; Jeyavijayan Rajendran; Jiang Hu (CoRR, 2025)

BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis. - Surya Jasper; Minh Luu; Evan Pan; Aakash Tyagi; Michael Quinn; Jiang Hu; David Kebo Houngninou (CoRR, 2025)