1 Introduction The past decades have seen the emergence of hardware agile design methodology(HADM)[1]that prompts design productivity with novel hardware construction languages(HCLs).In contrast to its agility for des...1 Introduction The past decades have seen the emergence of hardware agile design methodology(HADM)[1]that prompts design productivity with novel hardware construction languages(HCLs).In contrast to its agility for design ability,HCLs are weak in verification capabilities such as assertion-based verification(ABV).展开更多
基金supported in part by the National Natural Science Foundation of China(Grant Nos.U19A2062 and 92473115).
文摘1 Introduction The past decades have seen the emergence of hardware agile design methodology(HADM)[1]that prompts design productivity with novel hardware construction languages(HCLs).In contrast to its agility for design ability,HCLs are weak in verification capabilities such as assertion-based verification(ABV).
