Behavioral synthesis with SystemC and PSL assertions for interface specification.

George Economakos

Browse the full ISCAS paper archive.