Schaltungspartitionierung für die Logikemulation unter Berücksichtigung der SystemarchitekturBewachen