S. Abdi, D. Gajski, “UBC: A Universal Bus Channel for Transaction level Modeling,” TR 06-07, April 2006. Complete TR is available upon request.
M. Ghodrat, and T. Givargis, "Equivalence Checking of Arithmetic Expressions Using Fast Evaluation," TR 05-07, July 2005. download pdf
M. Ghodrat, and T. Givargis, "Expression Equivalence Checking using Interval Analysis," TR 05-06, May 2005. download pdf
G Schirner and R. Doemer, "Using Result Oriented Modeling for Fast yet Accurate TLMs," TR 05-05, May 2005. download pdf
P. Chandriaiah, and R. Doemer, "Specification and Design of an MP3 Audio Decoder," TR 05-04, May 2005. download pdf