Artifact 02a5fc9d801c9e1c2c7d4da87922b20cf4abc2650b06b37440a8b6525587dac1:
- File cores/dmac/rtl/verilog/dmac.sby — part of check-in [0f3c9ade6a] at 2018-08-28 05:55:46 on branch trunk — Remove spurious Or operator (user: kc5tja size: 156)
[options] mode bmc depth 100 [engines] smtbmc [script] read -incdir ../../../../../include/verilog read -formal -sv dmac.v prep -top dmac [files] dmac.v