<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
        xmlns:news="http://www.google.com/schemas/sitemap-news/0.9">
    <url>
      <loc>https://www.verifword.com/</loc>
      <lastmod>2026-07-19</lastmod>
    </url>
      <url>
        <loc>https://www.verifword.com/authors</loc>
        <lastmod>2026-07-19</lastmod>
      </url>
      <url>
        <loc>https://www.verifword.com/authors/amit-chaurasiya</loc>
        <lastmod>2026-07-19</lastmod>
      </url>
    <url>
      <loc>https://www.verifword.com/p/gls</loc>
      <lastmod>2026-07-19</lastmod>
      <news:news>
        <news:publication>
          <news:name>verifword</news:name>
          <news:language>en</news:language>
        </news:publication>
        <news:publication_date>2026-07-19T15:27:26Z</news:publication_date>
        <news:title>Gate-Level Simulation: The Cheapest Silicon Respin You&#39;ll Ever Buy</news:title>
      </news:news>
    </url>
    <url>
      <loc>https://www.verifword.com/p/dc-balance</loc>
      <lastmod>2026-07-19</lastmod>
      <news:news>
        <news:publication>
          <news:name>verifword</news:name>
          <news:language>en</news:language>
        </news:publication>
        <news:publication_date>2026-07-19T14:41:51Z</news:publication_date>
        <news:title>DC Balance in High-Speed Design Verification</news:title>
      </news:news>
    </url>
    <url>
      <loc>https://www.verifword.com/p/taalas</loc>
      <lastmod>2026-07-19</lastmod>
      <news:news>
        <news:publication>
          <news:name>verifword</news:name>
          <news:language>en</news:language>
        </news:publication>
        <news:publication_date>2026-07-19T14:41:07Z</news:publication_date>
        <news:title>A Chip Built by 25 People Just Made Nvidia&#39;s H200 Look Like a Pocket Calculator</news:title>
      </news:news>
    </url>
    <url>
      <loc>https://www.verifword.com/p/acc</loc>
      <lastmod>2026-07-19</lastmod>
      <news:news>
        <news:publication>
          <news:name>verifword</news:name>
          <news:language>en</news:language>
        </news:publication>
        <news:publication_date>2026-07-19T14:39:49Z</news:publication_date>
        <news:title>The Adaptive Cruise Control Problem in AI-Assisted Verification</news:title>
      </news:news>
    </url>
    <url>
      <loc>https://www.verifword.com/p/next-senior</loc>
      <lastmod>2026-07-19</lastmod>
      <news:news>
        <news:publication>
          <news:name>verifword</news:name>
          <news:language>en</news:language>
        </news:publication>
        <news:publication_date>2026-07-19T14:38:08Z</news:publication_date>
        <news:title>Who&#39;s Training the Next Senior Verification Engineer?</news:title>
      </news:news>
    </url>
</urlset>
