Transaction-Level Modeling Framework for Space Applications
References ataregs::ctrl, ataregs::data, ataregs::devhead, i, and ataregs::status.