SEARCH Articles Figures Tables Multi-level logic optimization Safety integrity level logic solver Signal logic-level