El diseño digital moderno emplea herramientas de síntesis de sistemas digitales, los cuales para su descripción teórica es importante la matemática discreta para luego ser implementados en FPGA. Para su verificación se requiere comparar el modelo implementado con su modelo de referencia. Empleando Maple y ALTIUM Designer se tiene integrado las herramientas necesarias para realizar el diseño y verificación de estos sistemas digitales que con el conocimiento adecuado de su uso es posible realizar una verificación completa del diseño bajo prueba. Lo anterior garantiza que los diseños realizados con ALTIUM Designer bajo esta metodología tengan un grado mayor de calidad en su implementación.