Found 6 records for the .PSL file extension name
There are 5 other file types using the PSL file extension:
.psl - PSCAD Power System Simulation software library file
.psl - MicroSim PCBoard padstack library file
.psl - PATROL Script language script
.psl - PowerTerm script language
.psl - Mastercook layout file
file extension PSL - Accellera property specification language source code file
File extension PSL description:
he Accellera Formal Property Language Technical Committee is chartered with the responsibility of defining a property specification language standard compatible with both the Verilog (IEEE-1364) and VHDL (IEEE-1076) language. This formal language is targeted for both dynamic verification (e.g., simulation) as well as static verification (e.g., model checking).