aboutsummaryrefslogtreecommitdiffstats
path: root/CodingReadme
diff options
context:
space:
mode:
authorDiego H <diego@yosyshq.com>2021-02-04 15:35:35 -0600
committerDiego H <diego@yosyshq.com>2021-02-04 15:35:35 -0600
commitc96eb2fbd7cb2f4838350c02baf3e4b23c4b2ad2 (patch)
tree6cce1e5de9997704b69df19db94d422761a4cfb0 /CodingReadme
parentbaf1875307f1608762169d3037ba005da88b201e (diff)
downloadyosys-c96eb2fbd7cb2f4838350c02baf3e4b23c4b2ad2.tar.gz
yosys-c96eb2fbd7cb2f4838350c02baf3e4b23c4b2ad2.tar.bz2
yosys-c96eb2fbd7cb2f4838350c02baf3e4b23c4b2ad2.zip
Accept disable case for SVA liveness properties.
Diffstat (limited to 'CodingReadme')
0 files changed, 0 insertions, 0 deletions