Procedimiento de diseño e implementación de circuitos digitales utilizando herrramientas EDA de código abierto - Castro Jiménez, Gerardo ([San José, Costa Rica], 2008)