UPF-Aware CDC Structural Verification on RTL

Kalel, D; Brignone, JC; Serre, I; Massicot, J; Avezou, J

Kalel, D (通讯作者),STMicroelectronics, CPU Div, Grenoble, France.

2023 21ST IEEE INTERREGIONAL NEWCAS CONFERENCE, NEWCAS, 2023; ():

Abstract

Current ICs (Integrated Circuits) include millions-of-gates IPs (Intellectual Properties) that interface to each other through multiple asynchronous c......

Full Text Link