Observable Time Windows: Verifying High-Level Synthesis Results

Reinaldo A. Bergamaschi, Salil Raje. Observable Time Windows: Verifying High-Level Synthesis Results. IEEE Design & Test of Computers, 14(2):40-50, 1997. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: