Verification Engineerの戯言 SCDSourceにJapserのエンジニアによるFormal verification checks IC power reduction featuresがアップされました。 シミュレーションによる検証ではありませんが、Low Powerは避けられない道。 SVA(SystemVerilog Assertion)…