Buchumschlag

TIUP: Effective Processor Verification with Tautology-Induced Universal Properties

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Yufeng, Ci, Yiwei, Yang, Qiusong
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Hardware Architecture Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction
von: Tian, Enyuan, et al.
Veröffentlicht: (2025)

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
von: Li, Yufeng, et al.
Veröffentlicht: (2024)

NL2GDS: LLM-aided interface for Open Source Chip Design
von: Eland, Max, et al.
Veröffentlicht: (2026)

Certificate-Aware Property-Directed Reachability
von: Ferdowsi, Arman, et al.
Veröffentlicht: (2026)

Towards Automated Verification of Logarithmic Arithmetic
von: Arnold, Mark G., et al.
Veröffentlicht: (2024)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
von: Mohanty, Hansa, et al.
Veröffentlicht: (2025)

Efficiently Synthesizing Lowest Cost Rewrite Rules for Instruction Selection
von: Daly, Ross, et al.
Veröffentlicht: (2024)

täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
von: Srinivasan, Pranav, et al.
Veröffentlicht: (2026)

Adaptive Prognostic Malfunction Based Processor for Autonomous Landing Guidance Assistance System Using FPGA
von: Ahmed, Hossam O., et al.
Veröffentlicht: (2024)

Transaction Level Hierarchy Guided and Functional Coverage Driven Deductive Formal Verification
von: Strauch, Tobias
Veröffentlicht: (2025)

Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
von: Litterick, Mark, et al.
Veröffentlicht: (2024)

Four Formal Models of IEEE 1394 Link Layer
von: Garavel, Hubert, et al.
Veröffentlicht: (2024)

AxOSyn: An Open-source Framework for Synthesizing Novel Approximate Arithmetic Operators
von: Sahoo, Siva Satyendra, et al.
Veröffentlicht: (2025)

Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation
von: Sergeev, Nikolai
Veröffentlicht: (2025)

Design for Trust utilizing Rareness Reduction
von: Jayasena, Aruna, et al.
Veröffentlicht: (2023)

Linear Decomposition of the Majority Boolean Function using the Ones on Smaller Variables
von: Chattopadhyay, Anupam, et al.
Veröffentlicht: (2025)

From Language to Logic: Bridging LLMs & Formal Representations for RTL Assertion Generation
von: Mashnoor, Nowfel, et al.
Veröffentlicht: (2026)

Flexible and Cost-Effective Spherical to Cartesian Coordinate Conversion Using 3-D CORDIC Algorithm on FPGA
von: Salem, Nadia, et al.
Veröffentlicht: (2024)

Timing Fragility Aware Selective Hardening of RISCV Soft Processors on SRAM Based FPGAs
von: Darvishi, Mostafa
Veröffentlicht: (2026)

FPGA-Based Material Testing Machine Controller
von: Hambardzumyan, Arev, et al.
Veröffentlicht: (2025)

Ternary Memristive Logic: Hardware for Reasoning Realized via Domain Algebra
von: Li, Chao
Veröffentlicht: (2026)

Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
von: Li, Nanbing, et al.
Veröffentlicht: (2026)

FAV-NSS: An HIL Framework for Accelerating Validation of Automotive Network Security Strategies
von: Li, Changhong, et al.
Veröffentlicht: (2025)

CLONE: Customizing LLMs for Efficient Latency-Aware Inference at the Edge
von: Tian, Chunlin, et al.
Veröffentlicht: (2025)

Considerations on the Design of Transceivers for Ambient Internet of Things
von: Zhao, Yuxiao, et al.
Veröffentlicht: (2025)

OpenGCRAM: An Open-Source Gain Cell Compiler Enabling Design-Space Exploration for AI Workloads
von: Wang, Xinxin, et al.
Veröffentlicht: (2025)

Heterogeneous Memory Design Exploration for AI Accelerators with a Gain Cell Memory Compiler
von: Wang, Xinxin, et al.
Veröffentlicht: (2026)

OpenConvoy: Universal Platform for Real-World Testing of Cooperative Driving Systems
von: Burns, Owen, et al.
Veröffentlicht: (2024)

MERIT: Multimodal Wearable Vital Sign Waveform Monitoring
von: Tang, Yongyang, et al.
Veröffentlicht: (2024)

Sums: Sniffing Unknown Multiband Signals under Low Sampling Rates
von: Peng, Jinbo, et al.
Veröffentlicht: (2024)

Gate--Level Statistical Timing Analysis: Exact Solutions, Approximations and Algorithms
von: Mishagli, Dmytro, et al.
Veröffentlicht: (2024)

Faithful Dynamic Timing Analysis of Digital Circuits Using Continuous Thresholded Mode-Switched ODEs
von: Ferdowsi, Arman, et al.
Veröffentlicht: (2024)

Low-Power Encoding for PAM-3 DRAM Bus
von: Nam, Jonghyeon, et al.
Veröffentlicht: (2024)

A Comprehensive System Architecture using Field Programmable Gate Arrays Technology, Dijkstra's Algorithm, and Edge Computing for Emergency Response in Smart Cities
von: Assoul, Mahamat Abdel Aziz, et al.
Veröffentlicht: (2024)

Switching Frequency as FPGA Monitor: Studying Degradation and Ageing Prognosis at Large Scale
von: Lanzieri, Leandro, et al.
Veröffentlicht: (2024)

Functional Type Expressions of Sequential Circuits with the Notion of Referring Forms
von: Nishimura, Shunji
Veröffentlicht: (2024)

HomeLabGym: A real-world testbed for home energy management systems
von: Van Puyvelde, Toon, et al.
Veröffentlicht: (2024)

Photolithography Control System : A Case Study For Cyber-Physical System
von: Zhang, Youbao, et al.
Veröffentlicht: (2024)

Embedded System for Recording and Controlling Hand Hygiene in Healthcare Environments
von: Castro, Rafael, et al.
Veröffentlicht: (2025)

Shooting Neutrons at Neurons: Radiation Testing of a Spiking Neural Network on Flash-Based FPGAs
von: Nijsink, Wim, et al.
Veröffentlicht: (2026)