Transactron

• Getting started
  • Installing Transactron
  • Controlling LEDs and switches
  • Method readiness
  • Transaction conflicts
  • Connecting transactions as submodules
  • Data structures
  • RPN calculator
• Documentation for Transactron
  • Introduction
  • Basic usage
    • Implementing transactions
    • Implementing methods
    • Method or transaction?
    • Method argument passing conventions
    • Method definition conventions
    • Method return value conventions
    • Readiness signals
  • The library
  • Advanced concepts
    • Special combinational domains
    • Scheduling order
    • Conflicts
    • Transaction and method nesting
• Pipeline Builder
  • Overview
  • Basic Concepts
    • Node Types
    • Live Signals
  • Happens-Before Semantics
  • no_dependency Semantics
  • Quick Start
  • API Notes
    • Constructor
    • Stage API
    • FIFO Decoupling
  • Example: Pipelined Multiplier
  • Debugging Tips
  • See Also
• API
  • transactron
    • transactron package
• Development environment
  • Setting up
  • Running tests
  • Using scripts
    • lint.sh
    • build_docs.sh
    • transactron-prof