5,058 followers
@kentindell See for example this paper from 2013: https://t.co/QUzuEgEuiC They used PSL insted of SVA for their properties, but for the most part that's just another syntax. (PSL used to be popular with VHDL. Now SVA pretty much won and people just write t