Behavioral synthesis with SystemC and PSL assertions for interface specification

George Economakos. Behavioral synthesis with SystemC and PSL assertions for interface specification. In International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece. IEEE, 2006. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: