[an error occurred while processing this directive]
Да, конечно. Есть 2 диалекта psl - с vhdl- и verilog-синтаксисом. Что очень приятно - psl может быть записан в отдельный файл, или оформлен как коментарии в уже существующем .v или .vhd (т.е. не надо изменять готовый дизайн!). Ну а синтезаторы комментарии игнорируют, так что совместимость 100%.
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)