More scripting

• Loading a design
• Selections
  • The selection framework
  • How to make a selection
    • Selection by object name
    • Module and design context
    • Selecting by object property or type
  • Operations on selections
    • Combining selections
    • Expanding selections
    • Selecting logic cones
    • Advanced logic cone selection
    • Incremental selection
  • Storing and recalling selections
• Interactive design investigation
  • A look at the show command
    • A simple circuit
    • Break-out boxes for signal vectors
    • Gate level netlists
    • Miscellaneous notes
  • Navigating the design
    • Interactive navigation
  • Interactive Design Investigation
    • Changing design hierarchy
    • Behavioral changes
  • Advanced investigation techniques
    • Evaluation of combinatorial circuits
    • Solving combinatorial SAT problems
    • Solving sequential SAT problems
• Symbolic model checking
  • Checking techmap
  • AXI4 Stream Master