The auto-restart limitations.
- No infinite auto-restart: A finite number of restarts must be specified.
- No support for direct I/O variables.
- Input mutability during a single auto-restart session:
- Pointer inputs: Test Bench cannot change pointed data between iterations.
- Array inputs: DUT-originated updates are supported; test bench-originated updates are not.
- Control protocol: Only ap_ctrl_hs is supported; ap_ctrl_chain and ap_ctrl_none are not supported.
- Interfaces: Arrays to Stream FIFO are not supported.
- No support for mailbox.