Harald Obereder, Markus Pfaff. Behavioral synthesis of property specification language (PSL) assertions. In 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil. pages 157-160, IEEE Computer Society, 2007. [doi]
Abstract is missing.