Dynamic Verifying The Properties of The Simple Subset of PSL. - Naiyong Jin; Chengjie Shen (TASE, 2007)

Engineering of An Assertion-based PSLSimple-Verilog Dynamic Verifier by Alternating Automata. - Naiyong Jin; Chengjie Shen; Jun Chen; Taoyong Ni (TTSS, 2007)