Cover Image

Efficient Verification of a RADAR SoC Using Formal and Simulation-Based Methods

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kumar, Aman, Litterick, Mark, Candido, Samuele
Format:	Preprint
Published:	2024
Subjects:	Signal Processing Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Hardware-Accelerated Event-Graph Neural Networks for Low-Latency Time-Series Classification on SoC FPGA
by: Nakano, Hiroshi, et al.
Published: (2025)

BenchLink: An SoC-Based Benchmark for Resilient Communication Links in GPS-Denied Environments
by: Nivas, Sidharth Santhi, et al.
Published: (2025)

Synesthesia of Machines (SoM)-Based Task-Driven MIMO System for Image Transmission
by: Li, Sijiang, et al.
Published: (2025)

Synesthesia of Machines (SoM)-Enhanced ISAC Precoding for Vehicular Networks with Double Dynamics
by: Yang, Zonghui, et al.
Published: (2024)

Synesthesia of Machines (SoM)-Enhanced Sub-THz ISAC Transmission for Air-Ground Network
by: Yang, Zonghui, et al.
Published: (2025)

Augmenting Channel Simulator and Semi- Supervised Learning for Efficient Indoor Positioning
by: Li, Yupeng, et al.
Published: (2024)

Bridging Simulation and Reality: A 3D Clustering-Based Deep Learning Model for UAV-Based RF Source Localization
by: Masrur, Saad, et al.
Published: (2025)

Diffusion-Based Generative Priors for Efficient Beam Alignment in Directional Networks
by: Othman, Esraa Fahmy, et al.
Published: (2026)

Power-Efficient Indoor Localization Using Adaptive Channel-aware Ultra-wideband DL-TDOA
by: Bhattacharya, Sagnik, et al.
Published: (2024)

AI-Based Impedance Encoding-Decoding Method for Online Impedance Network Construction of Wind Farms
by: Zhang, Xiaojuan, et al.
Published: (2025)

Arrhythmia Classification Using Graph Neural Networks Based on Correlation Matrix
by: Han, Seungwoo
Published: (2024)

Energy-Efficient Learning-Based Beamforming for ISAC-Enabled V2X Networks
by: Shang, Chen, et al.
Published: (2025)

Energy-Efficient Sleep Mode Optimization of 5G mmWave Networks Using Deep Contextual MAB
by: Masrur, Saad, et al.
Published: (2024)

Application of a Virtual Imaging Framework for Investigating a Deep Learning-Based Reconstruction Method for 3D Quantitative Photoacoustic Computed Tomography
by: Cam, Refik Mert, et al.
Published: (2025)

Bridging 6G IoT and AI: LLM-Based Efficient Approach for Physical Layer's Optimization Tasks
by: Mehmood, Ahsan, et al.
Published: (2026)

SleepLiteCNN: Energy-Efficient Sleep Apnea Subtype Classification with 1-Second Resolution Using Single-Lead ECG
by: Mohammadi, Zahra, et al.
Published: (2025)

Optimizing UAV Aerial Base Station Flights Using DRL-based Proximal Policy Optimization
by: Ibanez, Mario Rico, et al.
Published: (2025)

A Closed-loop Brain-Machine Interface SoC Featuring a 0.2$μ$J/class Multiplexer Based Neural Network
by: Zhang, Chao, et al.
Published: (2024)

Tool-to-Tool Matching Analysis Based Difference Score Computation Methods for Semiconductor Manufacturing
by: H., Sameera Bharadwaja, et al.
Published: (2025)

VR Based Emotion Recognition Using Deep Multimodal Fusion With Biosignals Across Multiple Anatomical Domains
by: Indrasiri, Pubudu L., et al.
Published: (2024)

Intelligent Optimization of Wireless Access Point Deployment for Communication-Based Train Control Systems Using Deep Reinforcement Learning
by: Wu, Kunyu, et al.
Published: (2025)

Signal Transformation for Effective Multi-Channel Signal Processing
by: Kopparapu, Sunil Kumar
Published: (2024)

Cross-Subject Depression Level Classification Using EEG Signals with a Sample Confidence Method
by: Zhang, ZhongYi, et al.
Published: (2025)

Autonomous Self-Trained Channel State Prediction Method for mmWave Vehicular Communications
by: Orimogunje, Abidemi, et al.
Published: (2024)

Geometric Clustering for Hardware-Efficient Implementation of Chromatic Dispersion Compensation
by: Gomes, Geraldo, et al.
Published: (2024)

TCN-DPD: Parameter-Efficient Temporal Convolutional Networks for Wideband Digital Predistortion
by: Duan, Huanqiang, et al.
Published: (2025)

Recover from Horcrux: A Spectrogram Augmentation Method for Cardiac Feature Monitoring from Radar Signal Components
by: Zhang, Yuanyuan, et al.
Published: (2025)

Climbing Routes Clustering Using Energy-Efficient Accelerometers Attached to the Quickdraws
by: Moaveninejad, Sadaf, et al.
Published: (2022)

Interpretable Rule-Based System for Radar-Based Gesture Sensing: Enhancing Transparency and Personalization in AI
by: Seifi, Sarah, et al.
Published: (2024)

Enhanced Fault Detection and Cause Identification Using Integrated Attention Mechanism
by: Khaniki, Mohammad Ali Labbaf, et al.
Published: (2024)

Staging by the Book: Automatic Sleep Stage Classification Using Scoring Rules
by: Hardarson, Emil, et al.
Published: (2026)

Motor Imagery Decoding Using Ensemble Curriculum Learning and Collaborative Training
by: Zoumpourlis, Georgios, et al.
Published: (2022)

Noise-Robust Radio Frequency Fingerprint Identification Using Denoise Diffusion Model
by: Yin, Guolin, et al.
Published: (2025)

DeltaLLM: A Training-Free Framework Exploiting Temporal Sparsity for Efficient Edge LLM Inference
by: Qi, Jiawen, et al.
Published: (2025)

Diffusion Models for Wireless Transceivers: From Pilot-Efficient Channel Estimation to AI-Native 6G Receivers
by: Yang, Yuzhi, et al.
Published: (2025)

Diagnosis of Parkinson's Disease Using EEG Signals and Machine Learning Techniques: A Comprehensive Study
by: Allahbakhshi, Maryam, et al.
Published: (2024)

GNSS Jammer Direction Finding in Dynamic Scenarios Using an Inertial-based Multi-Antenna System
by: Heublein, Lucas, et al.
Published: (2025)

A Multi-Modal Dataset for Ground Reaction Force Estimation Using Consumer Wearable Sensors
by: Ghaffarzadeh, Parvin, et al.
Published: (2026)

Memory-Efficient EDA Denoising via Knowledge Distillation for Wearable IoT Under Severe Motion Artifacts and Underwater Conditions
by: Lee, Yongbin, et al.
Published: (2026)

E2CAR: An Efficient 2D-CNN Framework for Real-Time EEG Artifact Removal on Edge Devices
by: Liu, Haoliang, et al.
Published: (2026)