FA

FNU Aditi

—

Unclaimed · AI-structured profileOpenAlex

Early-career researcher applying formal verification and metamorphic testing to LLM-generated hardware assertions

2

papers here

2

reviewed by Evolve

2

first-author

2

corresponding

—

works · OpenAlex

2

h-index · OpenAlex

Bibliometric figures come from OpenAlex (2026-10-16) and cover the author's entire public record, not just the papers listed here. Reproducibility signal comes from Evolve's own reviews.

Research profile

Output: insufficient dataOutputImpact: insufficient dataImpactFocus: 0/100FocusCollaboration: 0/100CollaborationActivity: 32/100ActivityReproducibility: 78/100Reproducibility

Output—

No output score is available: the snapshot lacks sufficient work-level volume data for this axis. It would measure publication count, output velocity, and first-author share across the record; only five indexed works (2022–2026) appear so far.

Impact—

No impact score is available: citation data are too sparse to evaluate. The axis would measure citations, uptake of released artifacts, and influence on LLM-for-EDA practice; h-index 2 and i10-index 1 are the only recorded signals.

Focus0/100

The focus axis scores 0 because the field distribution splits evenly — 0.5 for 'LLM robustness evaluation for hardware verification (EDA / code generation)' and 0.5 for 'digital hardware verification / LLM for EDA' — with no single dominant field. Topic counts show the substance is nonetheless concentrated: formal methods in verification, software testing and debugging, and embedded systems design each register 4 topic hits, framing a narrow LLM-plus-verification agenda straddling two adjacent labels.

Collaboration0/100

The collaboration axis scores 0 because the OpenAlex snapshot records 0 distinct co-authors and no frequent co-authors could be identified, while both Evolve-reviewed 2026 papers list this researcher as first and corresponding author. Given the unresolved 'FNU Aditi' name form and the absence of ORCID or affiliation, the empty co-author set most plausibly reflects incomplete author disambiguation rather than verified solo work, so treat this score as unknown rather than evidence of isolation.

Activity32/100

The activity axis scores 32 on a thin counts-by-year record: 2 indexed works in 2022, 1 in 2023, and 2 in 2026, with recent3yWorks at 2. The snapshot shows no indexed output across 2024–2025, followed by a 2026 return with two arXiv preprints in the LLM-for-verification space. With five works in total the trajectory is early-stage, though the 2026 pair — both first and corresponding authorship — signals a renewed, focused push.

Reproducibility78/100

The reproducibility axis scores 78, a reproMean of 78 computed over 2 reviewed papers. Evolve rates the EquivSVA dataset paper 'high' for reproReadiness, citing rigorous validation and reproducible released artifacts, and the metamorphic robustness study 'medium', constrained by its 40-program scale. The habit of backing datasets with formal verification and mutation testing, and stress tests with explicit transformation sets, anchors an above-average artifact-releasing profile for an early-stage researcher.

Research summary

FNU Aditi is an early-stage researcher working at the intersection of digital hardware verification and large language models for EDA, profiled here from public OpenAlex bibliographic records and two Evolve-reviewed 2026 arXiv preprints on which the researcher is first and corresponding author. The research program applies rigorous formal methods to the emerging problem of trusting LLM-generated hardware code: generating and validating SystemVerilog Assertions (SVA), and stress-testing how those assertions behave when RTL is refactored. The first strand, EquivSVA (2026), contributes a formally verified dataset of behavioral assertions across equivalent RTL implementations — a 120-family corpus validated through formal techniques and mutation testing and rated high for reproducibility, though its synthetic origins and single-model demonstration limit validity claims. The second strand asks a metamorphic question: under semantics-preserving RTL transformations, 9.7–27% of behaviors correctly captured by LLM-generated assertions break, exposing invariance failures at a small scale of 40 programs. Bibliometric signals are thin — h-index 2, i10-index 1, and five indexed works between 2022 and 2026 — marking this as an early-stage profile. Yet the methodological signature is distinctive: formally verified datasets, metamorphic testing, and reproducible artifacts aimed squarely at the reliability of AI in the hardware design loop.

Collaboration pattern

The OpenAlex snapshot records 0 distinct co-authors and no frequent co-authors, and both 2026 Evolve-reviewed preprints carry first and corresponding authorship, so the collaboration axis is scored 0. Because the name form 'FNU Aditi' is not fully disambiguated and no ORCID or affiliation is available, this should be read as 'co-author data not captured' rather than confirmed solo research; collaboration patterns cannot yet be characterized.

Research keywords

SystemVerilog AssertionsFormal verificationRTL equivalence checkingMutation testingLLM benchmarkAssertion generationLLM robustnessMetamorphic testingHardware verificationLLM for EDAFormal methodsInvariance failure

Highlights

Timeline

  1. 2022Earliest indexed activity in the OpenAlex snapshot: 2 works appear in 2022, predating the current LLM-for-verification focus.
  2. 20231 indexed work appears in 2023; the snapshot shows no indexed output in 2024–2025.
  3. 2026Output resumes with 2 works: both Evolve-reviewed arXiv preprints (EquivSVA and the LLM assertion robustness study), each with first and corresponding authorship.

Papers in the Evolve catalog

Is this you? Claim this profile

Enter the email you published with. We'll send a one-time claim link; after claiming you can edit the introduction or hide this page. Requests from a mismatched address go to manual review.

About this profile

This profile is AI-structured by Evolve.Pub from public bibliographic data (OpenAlex) and Evolve's own paper reviews. It is not written or endorsed by the researcher unless the profile is claimed. Radar dimensions are computed from real bibliometrics with fixed formulas — raw figures are shown alongside; missing dimensions mean insufficient data, never zero. Errors? Claim the profile to correct or hide it.

  • Identity is name-resolved from public OpenAlex bibliographic records under the form 'FNU Aditi'; no ORCID, institution, or country is available, so person-level attribution carries disambiguation risk.
  • Bibliometric signals (h-index 2, i10-index 1, counts by year 2022:2 / 2023:1 / 2026:2) come from a small OpenAlex-derived snapshot and may undercount very recent arXiv preprints.
  • Output and impact dimensions are not scored because the snapshot lacks sufficient volume and citation data; five indexed works and two scholar-level indices are the only available signals.
  • Both reviewed papers are 2026 arXiv preprints; peer-review status, venue, and any work outside these two Evolve-reviewed papers are not reflected in this profile.
FNU Aditi — Researcher Profile | Evolve.Pub