Extending VLSI design with higher-order logic.

Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu

Browse the full ICCD paper archive.