verilog/rtl/softshell/third_party/wb2axip/bench/formal/xlnxdemo.sby - third_party/shuttle/sky130/mpw-001/slot-003 - Git at Google

 [tasks]
 cvr
 prf

 [options]
 cvr: mode cover
 cvr: depth 60
 prf: mode prove
 prf: depth 40

 [engines]
 smtbmc

 [script]
 read -formal xlnxdemo.v
 read -formal faxil_slave.v
 prep -top xlnxdemo

 [files]
 xlnxdemo.v
 faxil_slave.v
	[tasks]
	cvr
	prf

	[options]
	cvr: mode cover
	cvr: depth 60
	prf: mode prove
	prf: depth 40

	[engines]
	smtbmc

	[script]
	read -formal xlnxdemo.v
	read -formal faxil_slave.v
	prep -top xlnxdemo

	[files]
	xlnxdemo.v
	faxil_slave.v