|
Loop Timing Witness
Native controller and runtime interfaces; hardware qualification pending
|
#include <amp_contract.h>
Public Attributes | |
| uint32_t | cycles |
| uint32_t | period_ticks |
| uint32_t | lqr |
| uint32_t | overload_iterations |
| witness_coefficients | coefficients |
Immutable coefficients and run bounds compiled into the hash-bound firmware image.
Definition at line 29 of file amp_contract.h.
| witness_coefficients witness_amp_run_contract::coefficients |
Immutable signed raw Q8.24 gains and saturation bounds.
Definition at line 31 of file amp_contract.h.
| uint32_t witness_amp_run_contract::cycles |
Exclusive upper bound on accepted input cycle identifiers.
Definition at line 30 of file amp_contract.h.
| uint32_t witness_amp_run_contract::lqr |
Nonzero selects LQR; zero selects PID.
Definition at line 30 of file amp_contract.h.
| uint32_t witness_amp_run_contract::overload_iterations |
Number of checksum iterations performed during an overload request.
Definition at line 30 of file amp_contract.h.
| uint32_t witness_amp_run_contract::period_ticks |
Requested controller period in fabric timebase ticks.
Definition at line 30 of file amp_contract.h.