aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/sem_psl.ads
Commit message (Expand)AuthorAgeFilesLines
* PSL: add clocked SERE, make endpoints visible from VHDL.Tristan Gingold2016-03-221-0/+1
* psl: cover directive works on a sequence, not on a property.Tristan Gingold2016-02-141-0/+4
* Convert psl assertion to normal assertion if simple expression.Tristan Gingold2015-07-101-1/+1
* Create src/vhdl subdirectory.Tristan Gingold2014-11-041-0/+26