confirmation, a static TRUE [...] Error 1 Static Reset [...] Error 2 Static Reset
static Reset signal [...] Error 2 Static reset [...] Error 3 Static reset
detects a static TRUE [...] Error Static reset
during the static verification
input has statically
Static Control FALSE A