TIUP: Effective Processor Verification with Tautology-Induced Universal Properties
PaperNo evidence was provided for this paper, so no technical claims, authorship details, methods, results, venues, or related entities can be documented.
First seen 5/24/2026
Last seen 5/26/2026
Evidence 4 chunks
Wiki v1
WIKI
Overview
No evidence chunks or public context were provided for TIUP: Effective Processor Verification with Tautology-Induced Universal Properties. As a result, this article cannot substantiate technical details about the paper's objectives, methodology, evaluation, results, or relationship to other work.
Evidence Status
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
4 connectionsThe paper presents TIUP as a novel technique for processor verification using tautologies as universal properties.
Yufeng Li is listed as an author of the paper.
Yiwei Ci is listed as an author of the paper.
Qiusong Yang is listed as an author of the paper.