Extending VLSI design with higher-order logic. - Anand Chavan; Shiu-Kai Chin; Shahid Ikram; Jang Dae Kim; Juin-Yeu Zu (ICCD, 1995)