Getting Started

• What is a Workspace
• What is a Project
  • Create a New Project
  • Import an Existing Project
  • Automatic Create or Import
• Project Natures
• Workspace and Workbench
  • Work
  • Workspace
  • Workbench
  • Workspace Again
• Refresh
• Linked Resources
• Backup and Local History
• Basic Tutorial
  • Switch to the DVT Perspective
  • Open a Project
    • Create a New Project
  • Configure the Build
  • Build the Project
  • Inspect the Compilation Errors
  • See Comments in Tooltips
  • Use Hyperlinks to Move Around in the Code
  • Quickly Open a Type (Struct, Unit)
  • Quickly Open a File
  • Quickly Move Inside the Editor
  • Browse Through All the Available Types (Structs, Units, Enumerations)
  • Browse the AOP Extensions
  • Inspect the Struct Hierarchy and Struct Members
  • Inspect the Verification Hierarchy
  • Search for Entities
  • Use Content Assist (Autocomplete)
  • Use Code Templates
  • Track Tasks using TODO Markers
  • Format the Source Code
  • Quickly See the Current Scope in the Status Bar
  • Locate the Matching Bracket
  • Fold Code Regions in Order to Improve Readability
  • Load in Specman
    • Quick Launch
    • Explore Output