https://ones.com/ja/blog/knowledge/functional-verification-pitfalls-countermeasures/