Imagen de Portada

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

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kumar, Aman, Litterick, Mark, Candido, Samuele
Formato:	Preprint
Publicado:	2024
Materias:	Signal Processing Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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