Behavioral synthesis of property specification language (PSL) assertions

Outline:

H. Obereder, M. Pfaff, C. Saminger - Behavioral synthesis of property specification language (PSL) assertions - Proceedings of the International Symposium on Rapid System Prototyping 2007, Porto Alegre, Brasilien, 2007