MEMOCODE ’21 TOC

Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design Full Citation in the ACM Digital Library Polynomial word-level verification of arithmetic circuits Verifying the functional correctness of a circuit is often the most time-consuming part of the design process. Recently, world-level formal verification methods, e.g., Binary Moment Diagram (BMD) and Symbolic Computer […]

MLCAD’22 TOC

Proceedings of the 2022 ACM/IEEE Workshop on Machine Learning for CAD Full Citation in the ACM Digital Library SESSION: Session 1: Physical Design and Optimization with ML Placement Optimization via PPA-Directed Graph Clustering Yi-Chen Lu Tian Yang Sung Kyu Lim Haoxing Ren In this paper, we present the first Power, Performance, and Area (PPA)-directed, end-to-end […]

DAC’22 TOC

DAC ’22: Proceedings of the 59th ACM/IEEE Design Automation Conference Full Citation in the ACM Digital Library QuantumNAT: quantum noise-aware training with noise injection, quantization and normalization Hanrui Wang Jiaqi Gu Yongshan Ding Zirui Li Frederic T. Chong David Z. Pan Song Han Parameterized Quantum Circuits (PQC) are promising towards quantum advantage on near-term quantum […]

ISLPED’22 TOC

ISLPED ’22: ACM/IEEE International Symposium on Low Power Electronics and Design Full Citation in the ACM Digital Library SESSION: Session 1: Energy-efficient and Robust Neural Networks Examining the Robustness of Spiking Neural Networks on Non-ideal Memristive Crossbars Abhiroop Bhattacharjee Youngeun Kim Abhishek Moitra Priyadarshini Panda Spiking Neural Networks (SNNs) have recently emerged as the low-power […]

ISPD’22 TOC

ISPD ’22: Proceedings of the 2022 International Symposium on Physical Design  Full Citation in the ACM Digital Library SESSION: Session 1: Opening Session and First Keynote Session details: Session 1: Opening Session and First Keynote Laleh Behjat Stephen Yang The Need for Speed: From Electric Supercars to Cloud Bursting for Design Dean Drako Our industry […]

ISPD 2021 TOC

ISPD ’21: Proceedings of the 2021 International Symposium on Physical Design Full Citation in the ACM Digital Library SESSION: Session 1: Opening Session and First Keynote Session details: Session 1: Opening Session and First Keynote Jens Lienig Physical Design for 3D Chiplets and System Integration Frank J.C. Lee Heterogeneous three-dimensional (3-D) package-level integration plays an […]

FPGA 2021 TOC

FPGA ’21: The 2021 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays Full Citation in the ACM Digital Library SESSION: Session 1: FPGA Architecture Top-down Physical Design of Soft Embedded FPGA Fabrics Prashanth Mohan Oguz Atli Onur Kibar Mohammed Zackriya Larry Pileggi Ken Mai In recent years, IC reverse engineering and IC fabrication supply chain security […]

ASPDAC 2021 TOC

ASPDAC ’21: Proceedings of the 26th Asia and South Pacific Design Automation Conference  Full Citation in the ACM Digital Library SESSION: 1A: University Design Contest I A DSM-based Polar Transmitter with 23.8% System Efficiency Yuncheng Zhang Bangan Liu Xiaofan Gu Chun Wang Atsushi Shirane Kenichi Okada An energy efficient digital polar transmitter (TX) based on […]

MLCAD’20 TOC

MLCAD ’20: Proceedings of the 2020 ACM/IEEE Workshop on Machine Learning for CAD Full Citation in the ACM Digital Library SESSION: Keynote Talk I Session details: Keynote Talk I Ulf Schlichtmann MLCAD Today and Tomorrow: Learning, Optimization and Scaling Andrew B. Kahng The scaling imperative challenges us to always do better and faster, with less […]

NOCS 2019 TOC

NOCS ’19: Proceedings of the 13th IEEE/ACM International Symposium on Networks-on-Chip Full Citation in the ACM Digital Library SESSION: NoC and router design UBERNoC: unified buffer power-efficient router for network-on-chip Hossein Farrokhbakht Henry Kao Natalie Enright Jerger Networks-on-Chip (NoCs) address many shortcomings of traditional interconnects. However, they consume a considerable portion of a chip’s total […]