We propose an XML based assertion library generator that generates checkers similar to ... with our XML meta language, the following example will be used which is written in an SVA like notation: In ...