Verification of VHDL Designs Using VAL. - Larry M. Augustin; Benoit A. Gennart; Youm Huh; David C. Luckham; Alec G. Stanculescu (DAC, 1988)

Hardware design and simulation in VAL/VHDL. - Larry M. Augustin; David C. Luckham; Benoit A. Gennart; Youm Huh; Alec G. Stanculescu (Kluwer, 1991)

Future direction of power management in mobile devices. - Youm Huh (A-SSCC, 2011)