---

Introduction

This manual uses some writing conventions:

• menus, buttons etc. are written in bold
  (e.g. File menu, OK button, Definition list, Launch Adequation option),
• SynDEx directories and files, examples etc. are written in Computer Modern
  (e.g. libs directory, examples/tutorial/example7/example7_sdc.sdx file, ! int o port definition),
• notions, windows, etc. are written in italic:
  (e.g. AAA methodology, reference, definition mode, algorithm window).

---