From: Clifford Wolf Date: Sat, 3 Mar 2018 18:28:26 +0000 (+0100) Subject: Add wolf_goat_cabbage.sby X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=35a5fb94f14241dce3929b26e846a37a5493c839;p=SymbiYosys.git Add wolf_goat_cabbage.sby Signed-off-by: Clifford Wolf --- diff --git a/docs/examples/puzzles/.gitignore b/docs/examples/puzzles/.gitignore new file mode 100644 index 0000000..ba84fb6 --- /dev/null +++ b/docs/examples/puzzles/.gitignore @@ -0,0 +1 @@ +/wolf_goat_cabbage diff --git a/docs/examples/puzzles/wolf_goat_cabbage.sby b/docs/examples/puzzles/wolf_goat_cabbage.sby new file mode 100644 index 0000000..a980a3f --- /dev/null +++ b/docs/examples/puzzles/wolf_goat_cabbage.sby @@ -0,0 +1,13 @@ +[options] +mode cover +depth 100 + +[engines] +smtbmc + +[script] +read_verilog -formal wolf_goat_cabbage.v +prep -top wolf_goat_cabbage + +[files] +wolf_goat_cabbage.v