Experimental Results For RTL Abstraction And Property Checking

Experimental results accompany the NeuroAbs research manuscript on accelerating hardware property checking. The Excel file contains detailed data visualized in Figure 7 and Table 4 of the paper. The NeuroAbs group created the dataset, which was last updated in April 2026.

Use Cases

• Benchmarking abstraction performance metrics against baseline methods using the detailed experimental results.
• Analyzing the correlation between specific RTL design features and property checking acceleration times reported in the data.
• Validating LLM-guided neuro-symbolic techniques by comparing result columns from the proposed method against traditional verification data.

Strengths

• Data is directly tied to a peer-reviewed academic manuscript for verification.
• Structured in an Excel file format suitable for direct analysis.

Limitations

• Dataset is very small at 13.8 KB, indicating extremely limited scope and sample size.
• Specific column names, row counts, and data schema are unknown, hindering immediate analysis.

Provenance

Source

NeuroAbs group

Collection Method

Generated as part of experimental evaluation for the NeuroAbs research project.

Time Range

null

Freshness

null

Geography

null