1 Where can PSL be used?
• Documentation
– Requirements
– RTL Designs
• Controllers
– Memories, FIFOs, DMAs, bus controllers
• Finite State Machines (FSMs)
– Illegal states, sequence, correct encoding scheme
• Application Algorithms
– Data transformations (in simulation, not for FV)
– Testbench designs
• Black-Box Interfaces
– Protocols and interfaces (e.g., PCI bus, AHBA ARM bus)
• Verification (white-box, black-box, functional coverage)
– Simulation
– Formal verification tools
2 PSL in Formal Verification Environment
