Hi Thom,
bigIP.tcl should get generated when sbt compiles the chisel -> verilog (sbt "runMain spatialIP.Instantiator --verilog --testArgs zedboard"), which should run right before "mv bigIP.tcl verilog-zedboard." As the chisel is compiled, it spits out any relevant tcl commands to bigIP.tcl for things like generating multiplier and divider IPs.
Are there any hints in the warnings or errors that appear before this line? I would guess that chisel compilation failed somehow. If the chisel did compile (verilog-zedboard/ has a file called SpatialIP.v and it looks like proper verilog), then it must be something with how we are using scala to write this file while chisel compiles. Let me know if this helps or if things are still breaking.