Procedimiento de diseño e implementación de circuitos digitales utilizando herrramientas EDA de código abierto - Castro Jiménez, Gerardo 1985- (2008)