… a binding of PSL to the C programming language. A programmer can write PSL statements
… is feasible; we have defined a simple subset of PSL (sPSL) and realized a few tools with …

… and PSL have been used for formal, dynamic, and runtime verification of software. In this
paper I will introduce PSL and briefly touch on theoretical and practical issues in the use of PSL …

… Finally, [9] gives a C-language binding for PSL that enables the simulation-based verification
of PSL properties. It uses a hardware/software simulator to perform analysis of the events …

… , for the simple reason that the C language itself was not a standard. Instead, a host of de
facto GKS/C bindings9 appeared. This paper will give the flavour of the ISO C bind- …

… For assertion verification in simulation, the simplest method has been to simply embed $display
calls in the Verilog, "assert" statements in the VHDL, or printf's in a C language testbench…

… approach for binding C language with PSL. They define a subset of PSL and use a …
Another extension of PSL is proposed in [14], where the authors unify assertion definition for …

… of PSL is only used to specify the validity of a sequence of method calls, while in our system
PSL is … that are expressed in a C binding for PSL, an IEEE standard property specification …

… the assert() macro defined in C language [4]) has proved to be a … Verification IP units need
to be bind to some design for … , basing on the OVA/PSL binding specification, but unfortunately …

… PSL properties and instruments the program with these verification components, together …
Section II gives a brief overview of PSL and describes the features of our verification …

… Using the PSL, we can make assertions that are validated every time swap() is invoked. In …
in a C binding for sPSL, a subset of the IEEE standard property specification language PSL. In …