{"evidence_level":"手算","formulae":{"setup":"Tclk >= tCQmax+tLogicMax+tSetup","hold":"tCQmin+tLogicMin >= tHold"},"cases":[{"name":"setup_fail","setup_slack_ns":-0.08,"hold_slack_ns":0.87},{"name":"setup_fixed","setup_slack_ns":0.12,"hold_slack_ns":0.87},{"name":"hold_fail","setup_slack_ns":0.77,"hold_slack_ns":-0.03},{"name":"hold_fixed","setup_slack_ns":0.71,"hold_slack_ns":0.03}],"liberty":false,"netlist":false,"real_sta":false}