Example of SVA Debug: This example will demonstrate the text-based debug mode of Zazz; similar debug features exist within Zazz when creating SVAs via the Visual interface. To get started, one simply ...