hal_py
v4.5.0-3-gd0e0e8ec7
  • HAL Core Documentation
  • HAL Plugins Documentation
    • Bit-Order Propagation
    • Boolean Influence
    • Dataflow Analysis (DANA)
    • Graph Algorithms
    • GUI API
    • HAWKEYE
    • Module Identification
    • Netlist Preprocessing
    • Resynthesis
    • Netlist Simulator
    • Netlist Simulator Controller
    • Verilator Simulator
    • Solve FSM
    • Xilinx Toolbox
hal_py
  • »
  • HAL Plugins Documentation
  • View page source

HAL Plugins Documentation

  • Bit-Order Propagation
  • Boolean Influence
  • Dataflow Analysis (DANA)
  • Graph Algorithms
  • GUI API
  • HAWKEYE
  • Module Identification
  • Netlist Preprocessing
  • Resynthesis
  • Netlist Simulator
  • Netlist Simulator Controller
  • Verilator Simulator
  • Solve FSM
  • Xilinx Toolbox
Previous Next

© Copyright 2025, Marc Fyrbiak, Sebastian Wallat, Max Hoffmann.

Built with Sphinx using a theme provided by Read the Docs.