Notes about the PSL file extension:
Incorrect file associations could be the result of underlying issues within your PC system. As such it is highly recommended to scan your PC for invalid registry entries
, unused processes and other unfavourable system settings to identify slowdown issues.
The PSL file type is primarily associated with 'Accellera Property Specification Language' by Accellera. Describes the behaviour of a digital electronics design. Used as input to a property checker tool. Property checker tools that accept PSL specifications are available from most major EDA tool vendors. PSL is based on IBM's "Sugar" language that is used to drive its formal property checker tool "FoCs". PSL is designed to be used by both formal (mathematical proof) and dynamic (simulation based) methods of checking. TransEDA Ltd. offer advanced dynamic property checking tools that accept PSL input.