PSL(Property Specification Language)
PSLで最低限覚えておかなければならない文法は少なそう。ただ自由に自分が思った風にまだかけない。
- always
- never
- ->
- ->next
- eventually!
- { }
- ;
- rose(),fell()
- prev(sig,n)
- |=>
- |->
- [*]
- [+]
- [*count],[*min:max]
- [=count],[=min:max]
- onhot, onehot0
- !
- abort
PSLで最低限覚えておかなければならない文法は少なそう。ただ自由に自分が思った風にまだかけない。