software_fault_0,legacy_QDAMP=1,new_QDAMP=0,new_ALIVE=0
software_fault_1,legacy_QDAMP=1,new_QDAMP=0,new_ALIVE=0
PASS 12 scenarios; 158255 assertions; real firmware latch adapter plus ideal selected hardware truth table; analogue and physical NOT_RUN
PASS 9 recovery scenarios; ASan/UBSan; ideal monitor/contact/capture only; physical NOT_RUN
loss_ms,valid_reset_ms,restart_ms,result,policy
20,430020,626000,LATCHED,MANUAL_RESET_AND_NEW_REQUEST_REQUIRED
100,430100,627000,LATCHED,MANUAL_RESET_AND_NEW_REQUEST_REQUIRED
1000,431000,627000,LATCHED,MANUAL_RESET_AND_NEW_REQUEST_REQUIRED
119980,549980,746000,LATCHED,MANUAL_RESET_AND_NEW_REQUEST_REQUIRED
120000,550000,746000,LATCHED,MANUAL_RESET_AND_NEW_REQUEST_REQUIRED
180000,610000,806000,LATCHED,MANUAL_RESET_AND_NEW_REQUEST_REQUIRED
360000,790000,986000,LATCHED,MANUAL_RESET_AND_NEW_REQUEST_REQUIRED
PASS 598320 interlock checks; disturbed exploration enable edges=12; software reference only
PASS 147511 integrated main0.15/interlock assertions; command-level simulation only
scenario,time_ms,main_request,damper_power,hs_enable,fault_bits
normal-75s,198000,1,1,1,0
normal-75s,421000,0,0,0,0
normal-75s,618000,1,1,1,0
opening-boundary-120s,241000,1,1,1,0
opening-boundary-120s,421000,0,0,0,0
opening-boundary-120s,661000,1,1,1,0
limit-loss,198000,1,1,1,0
limit-loss,250000,1,0,0,2
captured-permit,0,500,FAULT,HS_OFF
captured-permit,1,500,FAULT,HS_OFF
captured-permit,2,500,FAULT,HS_OFF
captured-permit,3,500,FAULT,HS_OFF
captured-permit,4,500,FAULT,HS_OFF
captured-permit,5,500,FAULT,HS_OFF
captured-permit,0,1000,FAULT,HS_OFF
captured-permit,1,1000,FAULT,HS_OFF
captured-permit,2,1000,FAULT,HS_OFF
captured-permit,3,1000,FAULT,HS_OFF
captured-permit,4,1000,FAULT,HS_OFF
captured-permit,5,1000,FAULT,HS_OFF
captured-permit,0,5000,FAULT,HS_OFF
captured-permit,1,5000,FAULT,HS_OFF
captured-permit,2,5000,FAULT,HS_OFF
captured-permit,3,5000,FAULT,HS_OFF
captured-permit,4,5000,FAULT,HS_OFF
captured-permit,5,5000,FAULT,HS_OFF
captured-permit,0,19000,FAULT,HS_OFF
captured-permit,1,19000,FAULT,HS_OFF
captured-permit,2,19000,FAULT,HS_OFF
captured-permit,3,19000,FAULT,HS_OFF
captured-permit,4,19000,FAULT,HS_OFF
captured-permit,5,19000,FAULT,HS_OFF
PASS 361648 hardware-capture/adapter checks; ideal logic only, physical NOT_RUN
