Behavioral synthesis of property specification language (PSL) assertions. - Harald Obereder; Markus Pfaff (IEEE International Workshop on Rapid System Prototyping, 2007)