Verum-Dezyne Manual

Table of Contents

Verum-Dezyne

This document describes Verum-Dezyne version 2.18.3.


• Introduction		What is Verum-Dezyne about?
• Installation		Installing the Verum-Dezyne IDE.
• Getting Started		How to get started with Verum-Dezyne.
• Using Verum-Dezyne		The Perfect Setup.
• Dezyne Views		What’s Graphical?
• Working with Legacy Code		Is is never too late to choose Dezyne!
• Index		The Index.
• GNU Free Documentation License		The license of this manual.
— The Detailed Node Listing — Installation
• Binary Installation		Getting Verum-Dezyne running in no time!
Getting Started
• Getting started Set-up
• Getting started System View
• Getting started State View
• Getting started Sequence view
Using Verum-Dezyne
• Example IDEs
• Verum-Dezyne View Commands
• Component Simulator
Example IDEs
• An Electron-based Verum-Dezyne IDE
• A GNU Emacs-based Verum-Dezyne IDE
Verum-Dezyne View Commands
• Invoking ide
• Invoking ide daemon
• Invoking ide browse
• Invoking ide bye
• Invoking ide hello
• Invoking ide info
• Invoking ide lsp
• Invoking ide simulate
• Invoking ide state
• Invoking ide system
• Invoking ide verify
Dezyne Views
• System View
• Trace View
• State View
Working with Legacy Code
• ASD Converter