Design and verification driven by assertions

Other

Abstract: In this paper we propose an improvement of the design cycle of synchronous circuits. The use of semi

Palabras claves:

Autores:

Silvia Vaca-Gallegos

Fuentes:

google