Pachiana Caba, Gabriel H. (2015)
El objetivo de este trabajo es el estudio y el desarrollo de tecnolog´ıas de verificaci´on funcional
de sistemas digitales especificados a nivel de transferencia entre registros (RTL por sus siglas en
ingl´es, Register ...