Eduard CernyBooksSVAHierarchical annotated action diagramsVerification methodology manual for SystemVerilogBerifike shon mesodoroji manyuaruThe power of assertions in SystemVerilogAuthor data: Open Library