On PSL properties re-use in SoC design flow based on Transaction Level Modeling (2005)

by N Bombieri, A Fedeli, F Fummi
Venue:In Proc. IEEE MTV