アサーション・ベース検証（assertion-based verification）は機能検証手法の一つである。アサーションとは，検証対象の設計が満たすべき性質を指す。アサーション・ベース検証は，RTL（register transfer level）設計を対象にした論理シミュレーションで使われること ...

Abstract: Assertion-based verification is a promising method that uses predefined rules, known as assertions, to check the functionality of hardware designs. The manual assertion definition is ...