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