The SiLVer (SimuLation-based Verification) tool supports verification and falsification of system models against requirements. Falsification is conducted by Monte-Carlo simulation runs, while verification is essentially symbolic simulation of the system model using Affine arithmetic. System model and requirement monitors are expected to be provided as C++ code. This enables analysis throughout the design cycle (even when moving to implementation). There is support for automatic generation of C++ code from specific requirement and system templates (however, new templates - to address different types of systems and requirements - have to be created manually). The tool is implemented as a C++ library driven by a high-level Python script based on a set of YAML configuration / input files. The Python code parses the YAML files and generates C++ code based on a few predefined templates making use of the C++ library for analysis. For basic usage, only YAML knowledge is required. For more advanced usage (e.g. creating custom C++ code templates or modifying the generation procedure), the user is expected to be familiar with C++ and Python as well.