A psl file extension is related to the Accellera property specification language source code format.
PSL file extension - Accellera property specification language source code
What is psl file? How to open psl files?
File type specification:
The psl file extension is also related to Accellera. 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).
This psl file type entry was marked as obsolete and no longer supported file format.
This type of file is no longer actively used and is most likely obsolete. This is typically the case for system files in old operating systems, file types from long discontinued software, or previous versions of certain file types (like documents, projects etc.) that were replaced in higher versions of their original programs.