To provide an assertion description converter and conversion method, capable of generating automatically an assertion description over the superordinate level of assertion description to a subordinate level of assertion description. 上位レベルのアサーション記述から下位レベルのアサーション記述を自動的に生成することのできるアサーション記述変換装置および変換方法を提供する。 - 特許庁