• Genomics

  Verif Tools Review Top Jun 2026

  Xcelium (formerly Incisive) focuses on massively parallel simulation. Cadence has integrated machine learning to predict testbench failures and optimize regression suites.

  October 26, 2023 Subject: Comparative Analysis of Leading Formal Verification Tools

• Drugs
  DrugAge

  A curated database of compounds that modulate longevity in model organisms.

  Search
• Animal Longevity
  AnAge

  A curated database of ageing and life history information in animals, including extensive longevity records.

  Search AnAge

  Naked Mole-Rat Genome Resource

  The benchmark genome assembly and annotation of the long-lived, cancer-resistant naked mole-rat (Heterocephalus glaber).

  Bowhead Whale Genome Resource

  A high-coverage genome of the bowhead whale (Balaena mysticetus), the longest-lived mammal.

  Evolution

  Analyses using the AnAge database to study the evolution of longevity and ageing in vertebrate lineages.

• Ageing Changes
  Digital Ageing Atlas

  A portal of ageing changes covering different biological levels, integrating molecular, physiological and pathological age-related data.

  Search
• Ageing Information
  senescence.info

  An educational and information resource on the science of ageing.

  Follow @AgingBiology

  LibAge (beta)

  The bibliographic library for ageing research. verif tools review top

  Search literature

  Who's Who in Gerontology

  The WhosAge database contains people and biotech companies that are contributing to increase our understanding of ageing and life-extension. verif tools review top

  Search companies

  Search people

  Genomics of Ageing and Rejuvenation Lab

  Our lab leads the upkeep and development of HAGR. verif tools review top

Comments, suggestions, ideas, and bug reports are welcome. Please contact us.

HAGR may be freely used for all purposes under some conditions.