diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-07-21 14:37:28 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-07-21 14:37:28 +0200 |
| commit | 7fef5ff10436a51a91f57157f687345795f60e40 (patch) | |
| tree | b31f52fc325639ad520715696a13563dc0ef8f8c /passes | |
| parent | 5c166e76e52cdaf6ea97952c17d3d79185a59f96 (diff) | |
| download | yosys-7fef5ff10436a51a91f57157f687345795f60e40.tar.gz yosys-7fef5ff10436a51a91f57157f687345795f60e40.tar.bz2 yosys-7fef5ff10436a51a91f57157f687345795f60e40.zip | |
Using $initstate in "initial assume" and "initial assert"
Diffstat (limited to 'passes')
0 files changed, 0 insertions, 0 deletions