Anand Chavan, Shiu-Kai Chin, Shahid Ikram, Jang Dae Kim, Juin-Yeu Zu. Extending VLSI design with higher-order logic. In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 85, IEEE Computer Society, 1995. [doi]
@inproceedings{ChavanCIKZ95,
title = {Extending VLSI design with higher-order logic},
author = {Anand Chavan and Shiu-Kai Chin and Shahid Ikram and Jang Dae Kim and Juin-Yeu Zu},
year = {1995},
url = {http://computer.org/proceedings/iccd/7165/71650085abs.htm},
tags = {logic, design},
researchr = {https://researchr.org/publication/ChavanCIKZ95},
cites = {0},
citedby = {0},
pages = {85},
booktitle = {1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-8186-7165-3},
}