Analyse und formale Spezifikation einer operationalen Schnittstelle zwischen datenhaltung und Entwurfswerkzeugen im VLSI-Bereich | lit.salon