sby-sv This container provides the necessary tools to run riscv-formal for ibex. The container creation is tested with Podman. Docker is used in the Makefile and a local link to Podman is set. Run make image to create the image with the tag sby-sv.