SystemVerilog, SVA含めて、なんとなく廻ってきた仕事をこなすために、核心に迫らずいい加減にいなす程度に使ったことはあるんだけど、まじめに設計・検証する立場から系等だって勉強したことはなかったなーと。例によって、「関連書籍をドカ買いパラ読み。…