Exploiting retiming in a guided simulation based validation methodology

被引：0

作者：

Gupta, A ^{[1
]}

Ashar, P

Malik, S

机构：

[1] NEC USA, CCRL, Princeton, NJ 08540 USA

[2] Princeton Univ, Princeton, NJ 08544 USA

来源：

CORRECT HARDWARE DESIGN AND VERIFICATION METHODS | 1999年 / 1703卷

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：350 / 353

页数：4

共 8 条

[1]

BALAKRISHNAN A, 1995, 4 AS TEST S

[2]

CHARLES E, 1991, ALGORITHMICA, V6, P5

[3]

FRANZON P, 1996, COMMUNICATION

[4]

Gupta A, 1997, DES AUT CON, P740, DOI 10.1145/266021.266359

[5]

GUPTA R, 1989, P INT S FAULT TOL CO, P118

[6]

Hennessy JL., 1990, COMPUTER ARCHITECTUR

[7]

HO RC, 1995, P 22 ANN INT S COMP

MALIK, S ;

SENTOVICH, EM ;

BRAYTON, RK ;

SANGIOVANNIVINCENTELLI, A .