Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | PSL: add clocked SERE, make endpoints visible from VHDL. | Tristan Gingold | 2016-03-22 | 1 | -0/+1 |
* | psl: cover directive works on a sequence, not on a property. | Tristan Gingold | 2016-02-14 | 1 | -0/+4 |
* | Convert psl assertion to normal assertion if simple expression. | Tristan Gingold | 2015-07-10 | 1 | -1/+1 |
* | Create src/vhdl subdirectory. | Tristan Gingold | 2014-11-04 | 1 | -0/+26 |