Ein einheitlicher Ansatz zur Unterstützung von Abstraktionsmechanismen der Hardware-VerifikationKlaus SchneiderEsaurito4,3Avvisami