KEYMGR: lc disable
KEYMGR: lc disable: a task in TitanBench: A Benchmark for Agentic RTL Design and Verification (Harbor dataset). Life cycle can disable keymgr and let keymgr wipe secret immediately. Test life cycle disables keymgr in any state. If keymgr is not initialized, check it can't be initialized until life…
The task
> Life cycle can disable keymgr and let keymgr wipe secret immediately. Test life cycle disables keymgr in any state. If keymgr is not initialized, check it can't be initialized until life cycle enables keymgr. If keymgr is in a valid state after StReset, key output to KMAC is wiped immediately and SW output will be…
Part of billshockley/titanbench.