En este libro se estudian los métodos de síntesis de los Circuitos Digitales a partir de dos hipótesis iniciales: la especialización inicial es un algoritmo y la materialización se basa en bibliotecas de células (puertas y biestables) y de macrocélulas (principalmente memorias). Otro principio que se aplica a lo largo del libro es la verificación, a través de simulaciones, de los resultados obtenidos al final de cada etapa del proceso de síntesis, empezando desde la especificación inicial. El libro incluye numerosos ejemplos tratados de forma detallada.