On verifying the correctness of retimed circuits

被引：6

作者：

Huang, SY ^{[1
]}

Cheng, KT ^{[1
]}

Chen, KC ^{[1
]}

机构：

[1] UNIV CALIF SANTA BARBARA,DEPT ELECT & COMP ENGN,SANTA BARBARA,CA 93106

来源：

SIXTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS | 1996年

关键词：

D O I：

10.1109/GLSV.1996.497633

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：277 / 280

页数：4