Satnam Singh, "A Demonstration of Co-Design and Co-Verification in a Synchronous Language," Design, Automation and Test in Europe Conference and Exhibition, vol. 2, pp. 21394, Design, Automation and Test in Europe Conference and Exhibition Volume II (DATE'04), 2004.

@article{ 10.1109/DATE.2004.1269104,
author = {Satnam Singh},
title = {A Demonstration of Co-Design and Co-Verification in a Synchronous Language},
journal ={Design, Automation and Test in Europe Conference and Exhibition},
volume = {2},
year = {2004},
issn = {1530-1591},
pages = {21394},
doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2004.1269104},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Design, Automation and Test in Europe Conference and Exhibition
TI - A Demonstration of Co-Design and Co-Verification in a Synchronous Language
SN - 1530-1591
SP
EP
A1 - Satnam Singh,
PY - 2004
KW - null
VL - 2
JA - Design, Automation and Test in Europe Conference and Exhibition
ER -