diff --git a/examples/verilog/fulladder/fulladder-batch-coverage.do b/examples/verilog/fulladder/fulladder-batch-coverage.do
new file mode 100644
index 000000000..324ac9142
--- /dev/null
+++ b/examples/verilog/fulladder/fulladder-batch-coverage.do
@@ -0,0 +1,8 @@
+# fulladder-batch-coverage.do 
+# David_Harris@hmc.edu 22 May 2023
+vlog fulladder.sv 
+vopt +acc work.testbench -o workopt +cover=sbecf
+vsim workopt -coverage
+run -all
+coverage save -instance /testbench/dut fulladder.ucdb
+quit
\ No newline at end of file