Buchumschlag

Symbolic Timing Analysis of Digital Circuits Using Analytic Delay Functions

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Thaqi, Era, Eigner, Dennis, Ferdowsi, Arman, Schmid, Ulrich
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Hardware Architecture
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

A Hybrid Delay Model for Interconnected Multi-Input Gates
von: Ferdowsi, Arman, et al.
Veröffentlicht: (2024)

Signal Prediction for Digital Circuits by Sigmoidal Approximations using Neural Networks
von: Salzmann, Josef, et al.
Veröffentlicht: (2024)

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

DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits
von: Ardakani, Arash, et al.
Veröffentlicht: (2025)

Python-based DSL for generating Verilog model of Synchronous Digital Circuits
von: Datar, Mandar, et al.
Veröffentlicht: (2024)

Neuro-Photonix: Enabling Near-Sensor Neuro-Symbolic AI Computing on Silicon Photonics Substrate
von: Najafi, Deniz, et al.
Veröffentlicht: (2024)

High-Level Synthesis of Digital Circuits from Template Haskell and SDF-AP
von: Folmer, Hendrik, et al.
Veröffentlicht: (2025)

OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
von: Hajisadeghi, Amir M., et al.
Veröffentlicht: (2025)

3D-Carbon: An Analytical Carbon Modeling Tool for 3D and 2.5D Integrated Circuits
von: Zhao, Yujie, et al.
Veröffentlicht: (2023)

Symbolic Polyhedral-Based Energy Analysis for Nested Loop Programs
von: Nirmala, Avinash Mahesh, et al.
Veröffentlicht: (2026)

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

Online Training and Inference System on Edge FPGA Using Delayed Feedback Reservoir
von: Ikeda, Sosei, et al.
Veröffentlicht: (2025)

Design and Performance Analysis of an Ultra-Low Power Integrate-and-Fire Neuron Circuit Using Nanoscale Side-contacted Field Effect Diode Technology
von: Motaman, Seyedmohamadjavad, et al.
Veröffentlicht: (2024)

Human-AI Interaction: Evaluating LLM Reasoning on Digital Logic Circuit included Graph Problems, in terms of creativity in design and analysis
von: Thota, Yogeswar Reddy, et al.
Veröffentlicht: (2026)

CircuitFusion: Multimodal Circuit Representation Learning for Agile Chip Design
von: Fang, Wenji, et al.
Veröffentlicht: (2025)

PreRoutGNN for Timing Prediction with Order Preserving Partition: Global Circuit Pre-training, Local Delay Learning and Attentional Cell Modeling
von: Zhong, Ruizhe, et al.
Veröffentlicht: (2024)

High-Resolution, Multi-Channel FPGA-Based Time-to-Digital Converter
von: Jakli, Balazs, et al.
Veröffentlicht: (2024)

Studying the Degradation of Propagation Delay on FPGAs at the European XFEL
von: Lanzieri, Leandro, et al.
Veröffentlicht: (2024)

CPPL: A Circuit Prompt Programming Language
von: Yin, Shuo, et al.
Veröffentlicht: (2026)

JugglePAC: A Pipelined Accumulation Circuit
von: Houraniah, Ahmad, et al.
Veröffentlicht: (2023)

Recurrent CircuitSAT Sampling for Sequential Circuits
von: Ardakani, Arash, et al.
Veröffentlicht: (2025)

BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation
von: Yin, Jiaqi, et al.
Veröffentlicht: (2025)

Designing Approximate Arithmetic Circuits with Combined Error Constraints
von: Češka, Milan, et al.
Veröffentlicht: (2022)

Constant Depth Threshold Circuits For Exhaustive Epistasis Detection
von: Ribeiro, André, et al.
Veröffentlicht: (2026)

A Review of SRAM-based Compute-in-Memory Circuits
von: Yoshioka, Kentaro, et al.
Veröffentlicht: (2024)

Fast Parameter Optimization of Delayed Feedback Reservoir with Backpropagation and Gradient Descent
von: Ikeda, Sosei, et al.
Veröffentlicht: (2025)

Soft Error Probability Estimation of Nano-scale Combinational Circuits
von: Jockar, Ali, et al.
Veröffentlicht: (2025)

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

Fast Graph Vector Search via Hardware Acceleration and Delayed-Synchronization Traversal
von: Jiang, Wenqi, et al.
Veröffentlicht: (2024)

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

Synthesis of Resource-Efficient Superconducting Circuits with Clock-Free Alternating Logic
von: Volk, Jennifer, et al.
Veröffentlicht: (2024)

SRAM-PG: Power Delivery Network Benchmarks from SRAM Circuits
von: Shen, Shan, et al.
Veröffentlicht: (2024)

Ultra Low-Power SDM-based Circuit-Switching for Networks-on-Chip
von: Zaeemi, Meysam, et al.
Veröffentlicht: (2026)

Cross-Layer Design of Vector-Symbolic Computing: Bridging Cognition and Brain-Inspired Hardware Acceleration
von: Du, Shuting, et al.
Veröffentlicht: (2025)

CKTSO: High-Performance Parallel Sparse Linear Solver for General Circuit Simulations
von: Chen, Xiaoming
Veröffentlicht: (2024)

Sequential Printed MLP Circuits for Super TinyML Multi-Sensory Applications
von: Saglam, Gurol, et al.
Veröffentlicht: (2024)

AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking
von: Hu, Guangyu, et al.
Veröffentlicht: (2026)

Analytical Heterogeneous Die-to-Die 3D Placement with Macros
von: Zhao, Yuxuan, et al.
Veröffentlicht: (2024)

Multiplier Design Addressing Area-Delay Trade-offs by using DSP and Logic resources on FPGAs
von: Böttcher, Andreas, et al.
Veröffentlicht: (2024)