組込み機器の「JTAGロック」機能において、セキュリティを保ちつつデバッグを可能にするための一般的な認証方式はどれか。

ハードウェア記述言語SystemVerilogの「アサーション (Assertion)」の役割はどれか。