Search the dblp DataBase

Publications of Author

1. Richard C. Ho, Mark Horowitz
   Validation coverage analysis for complex digital designs. [Citation Graph (0, 0)][DBLP]
   ICCAD, 1996, pp:146-151 [Conf]
   
2. Richard C. Ho, C. Han Yang, Mark Horowitz, David L. Dill
   Architecture Validation for Processors. [Citation Graph (0, 0)][DBLP]
   ISCA, 1995, pp:404-413 [Conf]
   
3. David E. Shaw, Martin M. Deneroff, Ron O. Dror, Jeffrey Kuskin, Richard H. Larson, John K. Salmon, Cliff Young, Brannon Batson, Kevin J. Bowers, Jack C. Chao, Michael P. Eastwood, Joseph Gagliardo, J. P. Grossman, Richard C. Ho, Doug Ierardi, István Kolossváry, John L. Klepeis, Timothy Layman, Christine McLeavey, Mark A. Moraes, Rolf Mueller, Edward C. Priest, Yibing Shan, Jochen Spengler, Michael Theobald, Brian Towles, Stanley C. Wang
   Anton, a special-purpose machine for molecular dynamics simulation. [Citation Graph (0, 0)][DBLP]
   ISCA, 2007, pp:1-12 [Conf]
   
4. 
   Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic. [Citation Graph (, )][DBLP]
   
   
5. 
   Hierarchical simulation-based verification of Anton, a special-purpose parallel machine. [Citation Graph (, )][DBLP]
   
   
6. 
   Anton, a special-purpose machine for molecular dynamics simulation. [Citation Graph (, )][DBLP]