非同期リセット付きフリップフロップで、リセットの解除がクロックのエッジに近すぎないかをSTAで調べるチェックはどれか。

正解：B. リカバリーチェックとリムーバルチェック

非同期リセットの解除は、データ入力と同じように、クロックのエッジから一定の時間だけ離れていなければなりません。解除がエッジの直前すぎないかを見るのがリカバリーチェック(セットアップに相当)、エッジの直後すぎないかを見るのがリムーバルチェック(ホールドに相当)です。違反すると、そのサイクルでリセットが解除されるかどうかが定まらず、フリップフロップごとに動き出すサイクルがずれます。遷移時間のチェックは信号の波形のなまりを見るもので、目的が違います。