Hierarchical simulation-based verification of Anton, a special-purpose parallel machine.
Autor: | Grossman, J.P., Salmon, J.K., Ho, C.R., Ierardi, D.J., Towles, B., Batson, B., Spengler, J., Wang, S.C., Mueller, R., Theobald, M., Young, C., Gagliardo, J., Deneroff, M.M., Dror, R.O., Shaw, D.E. |
---|---|
Zdroj: | 2008 IEEE International Conference on Computer Design; 2008, p340-347, 8p |
Databáze: | Complementary Index |
Externí odkaz: |