Entwurfsmethodik mit Technologieanpassung in einem symbolischen VLSI-Entwurfssystem | lit.salon