Algorithmische Entwurfsverfahren für kombinierte PLA-ROM-Steuerwerke unter Verwendung von ZählernPrévenez-moi