Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleNovember 2024
Invited: New Solutions on LLM Acceleration, Optimization, and Application
- Yingbing Huang,
- Lily Jiaxin Wan,
- Hanchen Ye,
- Manvi Jha,
- Jinghua Wang,
- Yuhong Li,
- Xiaofan Zhang,
- Deming Chen
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 369, Pages 1–4https://doi.org/10.1145/3649329.3663517Large Language Models (LLMs) have revolutionized a wide range of applications with their strong human-like understanding and creativity. Due to the continuously growing model size and complexity, LLM training and deployment have shown significant ...
- research-articleNovember 2024
Late Breaking Results: Majority-Inverter Graph Minimization by Design Space Exploration
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 353, Pages 1–2https://doi.org/10.1145/3649329.3663507The majority-inverter graph (MIG) is a homogeneous logic network widely used in logic synthesis for majority-based emerging technologies. Many logic optimization algorithms have been proposed for MIGs, including rewriting, resubstitution, and graph ...
- research-articleNovember 2024
Late Breaking Results: Language-level QoR modeling for High-Level Synthesis
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 351, Pages 1–2https://doi.org/10.1145/3649329.3663500This paper proposes a language-level modeling approach for HighLevel Synthesis based on the state-of-the-art Transformer architecture. Our approach estimates the performance and required resources of HLS applications directly from the source code when ...
- research-articleNovember 2024
PVTSizing: A TuRBO-RL-Based Batch-Sampling Optimization Framework for PVT-Robust Analog Circuit Synthesis
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 47, Pages 1–6https://doi.org/10.1145/3649329.3661850With the CMOS technology advancing and the complexity of circuits growing, the demand for analog/mixed-signal design automation tools is increasing quickly. Although some tools have been developed to tackle this challenge, the performance degradation ...
- research-articleNovember 2024
SAS - A Framework for Symmetry-based Approximate Synthesis
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 278, Pages 1–6https://doi.org/10.1145/3649329.3658495Approximate Computing is a design paradigm that trades off computational accuracy for gains in non-functional aspects such as reduced area, increased computation speed, or power reduction. The latter is of special interest in the field of Internet of ...
-
- research-articleNovember 2024
Unleashing the Power of T1-cells in SFQ Arithmetic Circuits
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 240, Pages 1–6https://doi.org/10.1145/3649329.3658267Rapid single-flux quantum (RSFQ) is one of the most advanced cryogenic superconductive electronics technologies. With orders of magnitude smaller power dissipation, RSFQ is an attractive technology for cloud computing, aerospace electronics, and high-...
- research-articleNovember 2024
Binding Multi-bit Flip-flop Cells through Design and Technology Co-optimization
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 159, Pages 1–6https://doi.org/10.1145/3649329.3658264Though using multi-bit flip-flop (MBFF) cells provide the benefit of saving dynamic power, its big cell size with many D/Q-pins inherently entails two critical limitations, which are (1) the loss of full flexibility in optimizing the wires connecting to ...
- research-articleNovember 2024
Knowing The Spec to Explore The Design via Transformed Bayesian Optimization
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 138, Pages 1–6https://doi.org/10.1145/3649329.3658262AI chip scales expediently in the large language models (LLMs) era. In contrast, the existing chip design space exploration (DSE) methods, aimed at discovering optimal yet often infeasible or un-produceable Pareto-front designs, are hindered by neglect ...
- research-articleNovember 2024
Toward Controllable Hierarchical Clock Tree Synthesis with Skew-Latency-Load Tree
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 244, Pages 1–6https://doi.org/10.1145/3649329.3658243Clock tree synthesis (CTS) constructs an efficient clock tree, meeting design constraints and minimizing resource usage. It serves as a bridge between placement and routing, facilitating concurrent optimization of multiple design objectives. To construct ...
- research-articleNovember 2024
PMP: Pattern Morphing-based Memory Partitioning in High-Level Synthesis
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 205, Pages 1–6https://doi.org/10.1145/3649329.3658239Memory partitioning is a widely used technique to reduce access conflicts on multi-bank memory in high-level synthesis. Previous memory partitioning methods mainly focus on a given access pattern extracted from stencil applications. Restricted by the ...
- research-articleNovember 2024
KATO: Knowledge Alignment And Transfer for Transistor Sizing Of Different Design and Technology
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 161, Pages 1–6https://doi.org/10.1145/3649329.3657380Automatic transistor sizing in circuit design continues to be a formidable challenge. Despite that Bayesian optimization (BO) has achieved significant success, it is circuit-specific, limiting the accumulation and transfer of design knowledge for broader ...
- research-articleNovember 2024
Synthesis of Resource-Efficient Superconducting Circuits with Clock-Free Alternating Logic
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 152, Pages 1–6https://doi.org/10.1145/3649329.3657376Gate-level clocking, typical in traditional approaches to Single Flux Quantum (SFQ) technology, makes the effective synthesis of superconducting circuits a significant engineering hurdle. This paper addresses this challenge by employing the recently ...
- research-articleNovember 2024
Revisiting Automatic Pipelining: Gate-level Forwarding and Speculation
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 49, Pages 1–6https://doi.org/10.1145/3649329.3657352Pipelining is a widely applied micro-architectural performance optimization and requires non-trivial designs for better execution throughput. The key to pipeline throughput optimization is to resolve data hazards caused by read-after-write (RAW) ...
- research-articleNovember 2024
Execution Sequence Optimization for Processing In-Memory using Parallel Data Preparation
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 33, Pages 1–6https://doi.org/10.1145/3649329.3657348Processing in-memory (PIM) promises to unleash unprecedented computing capabilities for high-data-rate applications. Computation using PIM is performed by breaking down computationally expensive operations into in-memory kernels that can be efficiently ...
- research-articleNovember 2024
Synthesis of Compact Flow-based Computing Circuits from Boolean Expressions
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 30, Pages 1–6https://doi.org/10.1145/3649329.3657340Processing in-memory has the potential to accelerate high-data-rate applications beyond the limits of modern hardware. Flow-based computing is a computing paradigm for executing Boolean logic within nanoscale memory arrays by leveraging the natural flow ...
- research-articleNovember 2024
OPAL: Outlier-Preserved Microscaling Quantization Accelerator for Generative Large Language Models
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 259, Pages 1–6https://doi.org/10.1145/3649329.3657323To overcome the burden on the memory size and bandwidth due to ever-increasing size of large language models (LLMs), aggressive weight quantization has been recently studied, while lacking research on quantizing activations. In this paper, we present a ...
- research-articleNovember 2024
HiMOSS: A Novel High-dimensional Multi-objective Optimization Method via Adaptive Gradient-Based Subspace Sampling for Analog Circuit Sizing
- Tianchen Gu,
- Ruiyu Lyu,
- Zhaori Bi,
- Changhao Yan,
- Fan Yang,
- Dian Zhou,
- Tao Cui,
- Xin Liu,
- Zaikun Zhang,
- Xuan Zeng
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 233, Pages 1–6https://doi.org/10.1145/3649329.3657318This study presents a novel high-dimensional multi-objective optimization method via adaptive gradient-based subspace sampling for analog circuit sizing. To handle constrained multi-objective optimization, we exploit promising regions from a non-crowded ...
- research-articleNovember 2024
Boolean Matching Reversible Circuits: Algorithm and Complexity
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 18, Pages 1–6https://doi.org/10.1145/3649329.3657312Boolean matching is an important problem in logic synthesis and verification. Despite being well-studied for conventional Boolean circuits, its treatment for reversible logic circuits remains largely, if not completely, missing. This work provides the ...
- research-articleNovember 2024
Effective Quantum Resource Optimization via Circuit Resizing in BQSKit
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 321, Pages 1–6https://doi.org/10.1145/3649329.3656534In the noisy intermediate-scale quantum era, mid-circuit measurement and reset operations facilitate novel circuit optimization strategies by reducing a circuit's qubit count in a method called resizing. This paper introduces two such algorithms. The ...
- research-articleNovember 2024
ML-based Physical Design Parameter Optimization for 3D ICs: From Parameter Selection to Optimization
DAC '24: Proceedings of the 61st ACM/IEEE Design Automation ConferenceArticle No.: 252, Pages 1–6https://doi.org/10.1145/3649329.3656509While various studies have shown effective parameter optimizations for specific designs, there is limited exploration of parameter optimization within the domain of 3D Integrated Circuits. We present the first comprehensive study, both qualitatively and ...