Title: Analyse und formale Spezifikation einer operationalen Schnittstelle zwischen datenhaltung und Entwurfswerkzeugen im VLSI-Bereich