Verification之PSL之use

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