We propose an XML based assertion library generator that generates checkers similar to the Open Verification Library (OVL) [1]. OVL checkers can be generated using our generator in a very regular way ...

Really Simple Syndication (RSS) is an XML-based format for content distribution. CNET offers RSS feeds with headlines, descriptions, and links back to CNET for the full story. In the meantime ...

This paper describes an innovative methodology that makes use of XML-based IP descriptions, including constraints information, to produce automatically synthesis, STA and formal verification tool ...