%0 Conference Paper %1 conf/iccd/GrossmanSHITBSWMTYGDDS08 %A Grossman, J. P. %A Salmon, John K. %A Ho, C. Richard %A Ierardi, Doug %A Towles, Brian %A Batson, Brannon %A Spengler, Jochen %A Wang, Stanley C. %A Mueller, Rolf %A Theobald, Michael %A Young, Cliff %A Gagliardo, Joseph %A Deneroff, Martin M. %A Dror, Ron O. %A Shaw, David E. %B ICCD %D 2008 %I IEEE Computer Society %K dblp %P 340-347 %T Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. %U http://dblp.uni-trier.de/db/conf/iccd/iccd2008.html#GrossmanSHITBSWMTYGDDS08 %@ 978-1-4244-2657-7

@inproceedings{conf/iccd/GrossmanSHITBSWMTYGDDS08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Grossman, J. P. and Salmon, John K. and Ho, C. Richard and Ierardi, Doug and Towles, Brian and Batson, Brannon and Spengler, Jochen and Wang, Stanley C. and Mueller, Rolf and Theobald, Michael and Young, Cliff and Gagliardo, Joseph and Deneroff, Martin M. and Dror, Ron O. and Shaw, David E.}, biburl = {https://www.bibsonomy.org/bibtex/24a151d19af4e6b20d98bcc4e4d4581f6/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.2008.4751883}, interhash = {dff3e79ac6d85cf93c6b57d575454753}, intrahash = {4a151d19af4e6b20d98bcc4e4d4581f6}, isbn = {978-1-4244-2657-7}, keywords = {dblp}, pages = {340-347}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:22:27.000+0200}, title = {Hierarchical simulation-based verification of Anton, a special-purpose parallel machine.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2008.html#GrossmanSHITBSWMTYGDDS08}, year = 2008 }