Buchumschlag

Analogous Alignments: Digital "Formally" meets Analog

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Mohanty, Hansa, Gadde, Deepak Narayan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Artificial Intelligence Hardware Architecture
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

Effective Design Verification -- Constrained Random with Python and Cocotb
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
von: Kumari, Suruchi, et al.
Veröffentlicht: (2025)

FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

AnalogSeeker: An Open-source Foundation Language Model for Analog Circuit Design
von: Chen, Zihao, et al.
Veröffentlicht: (2025)

Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2025)

AI-Powered Agile Analog Circuit Design and Optimization
von: Hu, Jinhai, et al.
Veröffentlicht: (2025)

Towards Efficient Design Verification -- Constrained Random Verification using PyUVM
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

Learning in Log-Domain: Subthreshold Analog AI Accelerator Based on Stochastic Gradient Descent
von: Tageldeen, Momen K, et al.
Veröffentlicht: (2025)

AnalogXpert: Automating Analog Topology Synthesis by Incorporating Circuit Design Expertise into Large Language Models
von: Zhang, Haoyi, et al.
Veröffentlicht: (2024)

A Fully Hardware Implemented Accelerator Design in ReRAM Analog Computing without ADCs
von: Dang, Peng, et al.
Veröffentlicht: (2024)

A Self-Calibrating Framework for Analog Circuit Sizing Using LLM-Derived Analytical Equations
von: Bujana, Antonio J., et al.
Veröffentlicht: (2026)

Late Breaking Results: Breaking Symmetry- Unconventional Placement of Analog Circuits using Multi-Level Multi-Agent Reinforcement Learning
von: Maji, Supriyo, et al.
Veröffentlicht: (2025)

A Blueprint for Precise and Fault-Tolerant Analog Neural Networks
von: Demirkiran, Cansu, et al.
Veröffentlicht: (2023)

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware
von: Kang, Minwoo, et al.
Veröffentlicht: (2024)

LLM-Enhanced Bayesian Optimization for Efficient Analog Layout Constraint Generation
von: Chen, Guojin, et al.
Veröffentlicht: (2024)

KirchhoffNet: A Scalable Ultra Fast Analog Neural Network
von: Gao, Zhengqi, et al.
Veröffentlicht: (2023)

Supervised Learning for Analog and RF Circuit Design: Benchmarks and Comparative Insights
von: Mehradfar, Asal, et al.
Veröffentlicht: (2025)

LaMAGIC: Language-Model-based Topology Generation for Analog Integrated Circuits
von: Chang, Chen-Chia, et al.
Veröffentlicht: (2024)

Extending Straight-Through Estimation for Robust Neural Networks on Analog CIM Hardware
von: Feng, Yuannuo, et al.
Veröffentlicht: (2025)

Rapid yet accurate Tile-circuit and device modeling for Analog In-Memory Computing
von: Luquin, J., et al.
Veröffentlicht: (2025)

VLM-CAD: VLM-Optimized Collaborative Agent Design Workflow for Analog Circuit Sizing
von: Pan, Guanyuan, et al.
Veröffentlicht: (2026)

HPD: Hybrid Projection Decomposition for Robust State Space Models on Analog CIM Hardware
von: Feng, Yuannuo, et al.
Veröffentlicht: (2025)

DocEDA: Automated Extraction and Design of Analog Circuits from Documents with Large Language Model
von: Chen, Hong Cai, et al.
Veröffentlicht: (2024)

AICircuit: A Multi-Level Dataset and Benchmark for AI-Driven Analog Integrated Circuit Design
von: Mehradfar, Asal, et al.
Veröffentlicht: (2024)

LaMAGIC2: Advanced Circuit Formulations for Language Model-Based Analog Topology Generation
von: Chang, Chen-Chia, et al.
Veröffentlicht: (2025)

IMAGINE: An 8-to-1b 22nm FD-SOI Compute-In-Memory CNN Accelerator With an End-to-End Analog Charge-Based 0.15-8POPS/W Macro Featuring Distribution-Aware Data Reshaping
von: Kneip, Adrian, et al.
Veröffentlicht: (2024)

White-Box Reasoning: Synergizing LLM Strategy and gm/Id Data for Automated Analog Circuit Design
von: Chen, Jianqiu, et al.
Veröffentlicht: (2025)

HEANA: A Hybrid Time-Amplitude Analog Optical Accelerator with Flexible Dataflows for Energy-Efficient CNN Inference
von: Vatsavai, Sairam Sri, et al.
Veröffentlicht: (2024)

AnaFlow: Agentic LLM-based Workflow for Reasoning-Driven Explainable and Sample-Efficient Analog Circuit Sizing
von: Ahmadzadeh, Mohsen, et al.
Veröffentlicht: (2025)

Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification
von: Gadde, Deepak Narayan, et al.
Veröffentlicht: (2024)

Compute SNR-Optimal Analog-to-Digital Converters for Analog In-Memory Computing
von: Kavishwar, Mihir, et al.
Veröffentlicht: (2025)

Xpikeformer: Hybrid Analog-Digital Hardware Acceleration for Spiking Transformers
von: Song, Zihang, et al.
Veröffentlicht: (2024)

AnalogGym: An Open and Practical Testing Suite for Analog Circuit Synthesis
von: Li, Jintao, et al.
Veröffentlicht: (2024)

Pragmatic Formal Verification Methodology for Clock Domain Crossing (CDC)
von: Kumar, Aman, et al.
Veröffentlicht: (2024)

STELLAR: Structure-guided LLM Assertion Retrieval and Generation for Formal Verification
von: Rajabi, Saeid, et al.
Veröffentlicht: (2025)

SPICEPilot: Navigating SPICE Code Generation and Simulation with AI Guidance
von: Vungarala, Deepak, et al.
Veröffentlicht: (2024)

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?
von: Olmos, Bryan, et al.
Veröffentlicht: (2024)

LIMCA: LLM for Automating Analog In-Memory Computing Architecture Design Exploration
von: Vungarala, Deepak, et al.
Veröffentlicht: (2025)