Image de couverture de livre

GROOT: Graph Edge Re-growth and Partitioning for the Verification of Large Designs in Logic Synthesis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Thorat, Kiran, Peng, Hongwu, Luo, Yuebo, Xie, Xi, Huang, Shaoyi, Hasan, Amit, Zhao, Jiahui, Li, Yingjie, Shi, Zhijie, Yu, Cunxi, Ding, Caiwen
Format:	Preprint
Publié:	2025
Sujets:	Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

TROJAN-GUARD: Hardware Trojans Detection Using GNN in RTL Designs
par: Thorat, Kiran, et autres
Publié: (2025)

DR-CircuitGNN: Training Acceleration of Heterogeneous Circuit Graph Neural Network on GPUs
par: Luo, Yuebo, et autres
Publié: (2025)

LLM-VeriPPA: Power, Performance, and Area Optimization aware Verilog Code Generation with Large Language Models
par: Thorat, Kiran, et autres
Publié: (2025)

RTop-K: Ultra-Fast Row-Wise Top-K Selection for Neural Network Acceleration on GPUs
par: Xie, Xi, et autres
Publié: (2024)

MaxK-GNN: Extremely Fast GPU Kernel Design for Accelerating Graph Neural Networks Training
par: Peng, Hongwu, et autres
Publié: (2023)

Advanced Large Language Model (LLM)-Driven Verilog Development: Enhancing Power, Performance, and Area Optimization in Code Synthesis
par: Thorat, Kiran, et autres
Publié: (2023)

HoloGraph: All-Optical Graph Learning via Light Diffraction
par: Li, Yingjie, et autres
Publié: (2026)

GIF: A Conditional Multimodal Generative Framework for IR Drop Imaging in Chip Layouts
par: Thorat, Kiran, et autres
Publié: (2026)

GSR-GNN: Training Acceleration and Memory-Saving Framework of Deep GNNs on Circuit Graph
par: Luo, Yuebo, et autres
Publié: (2026)

Zero-Space Cost Fault Tolerance for Transformer-based Language Models on ReRAM
par: Li, Bingbing, et autres
Publié: (2024)

HiVeGen -- Hierarchical LLM-based Verilog Generation for Scalable Chip Design
par: Tang, Jinwei, et autres
Publié: (2024)

AdaPI: Facilitating DNN Model Adaptivity for Efficient Private Inference in Edge Computing
par: Zhou, Tong, et autres
Publié: (2024)

GROOT: Effective Design of Biological Sequences with Limited Experimental Data
par: Tran, Thanh V. T., et autres
Publié: (2024)

CudaForge: An Agent Framework with Hardware Feedback for CUDA Kernel Optimization
par: Zhang, Zijian, et autres
Publié: (2025)

StitchCUDA: An Automated Multi-Agents End-to-End GPU Programing Framework with Rubric-based Agentic Reinforcement Learning
par: Li, Shiyang, et autres
Publié: (2026)

GROOT: Generating Robust Watermark for Diffusion-Model-Based Audio Synthesis
par: Liu, Weizhi, et autres
Publié: (2024)

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis
par: Chen, Chen, et autres
Publié: (2024)

DAG-aware Synthesis Orchestration
par: Li, Yingjie, et autres
Publié: (2023)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
par: Chen, Chen, et autres
Publié: (2025)

RankFlow: A Multi-Role Collaborative Reranking Workflow Utilizing Large Language Models
par: Jin, Can, et autres
Publié: (2025)

BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation
par: Li, Yingjie, et autres
Publié: (2024)

E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis
par: Chen, Chen, et autres
Publié: (2025)

Evaluating Emerging AI/ML Accelerators: IPU, RDU, and NVIDIA/AMD GPUs
par: Peng, Hongwu, et autres
Publié: (2023)

Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing
par: Stein, Daniel, et autres
Publié: (2026)

Partitioning Trillion Edge Graphs on Edge Devices
par: Chhabra, Adil, et autres
Publié: (2024)

Re-evaluation of Logical Specification in Behavioural Verification
par: Klimek, Radoslaw, et autres
Publié: (2025)

CUDAHercules: Benchmarking Hardware-Aware Expert-level CUDA Optimization for LLMs
par: Li, Shiyang, et autres
Publié: (2026)

MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning
par: Liu, Mingju, et autres
Publié: (2024)

All-Optical Segmentation via Diffractive Neural Networks for Autonomous Driving
par: Li, Yingjie, et autres
Publié: (2026)

SSNet: A Lightweight Multi-Party Computation Scheme for Practical Privacy-Preserving Machine Learning Service in the Cloud
par: Duan, Shijin, et autres
Publié: (2024)

GROOT-2: Weakly Supervised Multi-Modal Instruction Following Agents
par: Cai, Shaofei, et autres
Publié: (2024)

Submodular Context Partitioning and Compression for In-Context Learning
par: Zheng, Shaoyi, et autres
Publié: (2025)

LLM Zeroth-Order Fine-Tuning is an Inference Workload
par: Li, Zelin, et autres
Publié: (2026)

Mapping Fusion: Improving FPGA Technology Mapping with ASIC Mapper
par: Yu, Cunxi
Publié: (2025)

Revisit Choice Network for Synthesis and Technology Mapping
par: Chen, Chen, et autres
Publié: (2025)

GraphEdge: Dynamic Graph Partition and Task Scheduling for GNNs Computing in Edge Network
par: Xiao, Wenjing, et autres
Publié: (2025)

GROOT: General-Purpose Automatic Parameter Tuning Across Layers, Domains, and Use Cases
par: Krahn, Robert, et autres
Publié: (2025)

Differentiable Combinatorial Scheduling at Scale
par: Liu, Mingju, et autres
Publié: (2024)

A Graph-based Verification Framework for Fact-Checking
par: Huang, Yani, et autres
Publié: (2025)

RePart: Efficient Hypergraph Partitioning with Logic Replication Optimization for Multi-FPGA System
par: Fu, Zizhuo, et autres
Publié: (2026)