TY  - THES
AU  - Mendías Cuadros, José Manuel
A3  - Hermida Correa, Román
PY  - 2003
DO  - b2106698x
SN  - 978-84-669-1586-1
UR  - https://hdl.handle.net/20.500.14352/63153
AB  - El objetivo de esta investigación es, por un lado, desarrollar las bases teóricas de un cálculo formal para la derivación de circuitos correctos; por otro lado, proponer una metodología para su uso en entornos automáticos de diseño microelectrónico y,...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Hardware
TI  - Síntesis formal de alto nivel por derivación automática : aspectos teóricos, metodológicos y prácticos
M3  - doctoral thesis
ER  -