Harry D. Foster · 3 obras en el catálogoObrasPrinciples of verifiable RTL design2000Assertion-based design2003Assertion-based design2003