---

Contents:

1 - Introduction
        1.1 - X-Amin Overview
        1.2 - Quick Start Guide

2 - Basic Concepts
        2.1 - GUI Mode
                2.1.1 - Preferences
        2.2 - Command-line Mode
        2.3 - Designs and Libraries
        2.4 - Linking Overview

3 - Guided Tour
        3.1 - Starting X-Amin
        3.2 - Reading Files
        3.3 - Reading Libraries
        3.4 - Exploring
        3.5 - HDL Editor
                3.5.1 - Basic Editing
                3.5.2 - Macros
        3.6 - Linking
        3.7 - Diagrams
                3.7.1 - Flow Diagram
                3.7.2 - Flowchart Diagram
                3.7.3 - BDD Plot Diagram
                3.7.4 - Hierarchy Diagram
        3.8 - Structural Analysis
                3.8.1 - Levels
                3.8.2 - Gates
        3.9 - Logic Analysis
                3.9.1 - Support
                3.9.2 - Eval
                3.9.3 - Compare
                3.9.4 - Reachability/Deadlock
                3.9.5 - Temporal Proofs
                3.9.6 - Initializing and Restricting
			
4 - Advanced Topics
        4.1 - TCL and Scripts
        4.2 - User-defined BDD's
        4.3 - Database Sizing
        4.4 - GUI Customization

5 - Limitations
			
6 - Command Reference