Parametrisierte Spezifikation von Schaltkreisen