Schaltungspartitionierung für die Logikemulation unter Berücksichtigung der SystemarchitekturPohlídat