@收款{zbMATH05297034，作者＝{Alizadeh，Bijan和Fujita，Masahiro}，标题={系统级和{RTL}描述的顺序等价性检查的自动合并点检测}，BookTitle={用于验证和分析的自动化技术。第五届国际研讨会，ATVA 2007，日本东京，2007年10月22-25日。诉讼}，ISBN＝{978-3-540-75595-1}，页码={129--144}，年份={2007}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-540-75596-8_11}，关键词={68Q60}，zbMATH={5297034}，Zbl={1141.68448}}