M.S. Thesis submitted to SRC:

T98062 Validation of Embedded Reactive Real-Time Systems Using VHDL (Thesis-MS); B. Tabbara; Univ. of California/Berkeley, 04/27/98, Task ID 324.028, 104 pp.

Advisors: Alberto Sangiovanni-Vincentelli, A. Richard Newton

A gzipped postscript file is available here.