Modeling and evaluation of hardware/software designs. - Neal K. Tibrewala; JoAnn M. Paul; Donald E. Thomas (CODES, 2001)