ICCAD A

134 papers

YearTitle / Authors
20192019 CAD Contest: LEF/DEF Based Global Routing.
Sergei Dolgov, Alexander Volkov, Lutong Wang, Bangqi Xu
20192019 CAD Contest: Logic Regression on High Dimensional Boolean Space.
Ching-Yi Huang, Chi-An (Rocky) Wu, Tung-Yuan Lee, Chih-Jen (Jacky) Hsu, Kei-Yong Khoo
20192019 CAD Contest: System-level FPGA Routing with Timing Division Multiplexing Technique.
Yu-Hsuan Su, Richard Sun, Pei-Hsin Ho
20194D-CGRA: Introducing Branch Dimension to Spatio-Temporal Application Mapping on CGRAs.
Manupa Karunaratne, Dhananjaya Wijerathne, Tulika Mitra, Li-Shiuan Peh
2019A Deep-Reinforcement-Learning-Based Scheduler for FPGA HLS.
Hongzheng Chen, Minghua Shen
2019A Dynamic Programming-Based, Path Balancing Technology Mapping Algorithm Targeting Area Minimization.
Ghasem Pasandi, Massoud Pedram
2019A General Logic Synthesis Framework for Memristor-based Logic Design.
Zhenhua Zhu, Mingyuan Ma, Jialong Liu, Liying Xu, Xiaoming Chen, Yuchao Yang, Yu Wang, Huazhong Yang
2019A Novel Macro Placement Approach based on Simulated Evolution Algorithm.
Jai-Ming Lin, You-Lun Deng, Ya-Chu Yang, Jia-Jian Chen, Yao-Chieh Chen
2019A PVT-robust Customized 4T Embedded DRAM Cell Array for Accelerating Binary Neural Networks.
Hyein Shin, Jaehyeong Sim, Daewoong Lee, Lee-Sup Kim
2019A Spectral Convolutional Net for Co-Optimization of Integrated Voltage Regulators and Embedded Inductors.
Hakki Mert Torun, Huan Yu, Nihar Dasari, Venkata Chaitanya Krishna Chekuri, Arvind Singh, Jinwoo Kim, Sung Kyu Lim, Saibal Mukhopadhyay, Madhavan Swaminathan
2019A Statistical Timing Model for Low Voltage Design Considering Process Variation.
Peng Cao, Zhiyuan Liu, Jiangping Wu, Jingjing Guo, Jun Yang, Longxing Shi
2019A Uniform Modeling Methodology for Benchmarking DNN Accelerators.
Indranil Palit, Qiuwen Lou, Robert Perricone, Michael T. Niemier, Xiaobo Sharon Hu
2019ACG-Engine: An Inference Accelerator for Content Generative Neural Networks.
Haobo Xu, Ying Wang, Yujie Wang, Jiajun Li, Bosheng Liu, Yinhe Han
2019ALWANN: Automatic Layer-Wise Approximation of Deep Neural Network Accelerators without Retraining.
Vojtech Mrazek, Zdenek Vasícek, Lukás Sekanina, Muhammad Abdullah Hanif, Muhammad Shafique
2019Accelerating garbage collection for 3D MLC flash memory with SLC blocks.
Shuai Li, Wei Tong, Jingning Liu, Bing Wu, Yazhi Feng
2019Accelergy: An Architecture-Level Energy Estimation Methodology for Accelerator Designs.
Yannan Nellie Wu, Joel S. Emer, Vivienne Sze
2019Achieving Routing Integrity in Analog Layout Migration via Cartesian Detection Lines.
Hao-Yu Chi, Zi-Jun Lin, Chia-Hao Hung, Chien-Nan Jimmy Liu, Hung-Ming Chen
2019Active Fences against Voltage-based Side Channels in Multi-Tenant FPGAs.
Jonas Krautter, Dennis R. E. Gnad, Falk Schellenberg, Amir Moradi, Mehdi Baradaran Tahoori
2019Adar: Adversarial Activity Recognition in Wearables.
Ramesh Kumar Sah, Hassan Ghasemzadeh
2019Allocation of State Retention Registers Boosting Practical Applicability to Power Gated Circuits.
Gyoung-Hwan Hyun, Taewhan Kim
2019An Agile Precision-Tunable CNN Accelerator based on ReRAM.
Yintao He, Ying Wang, Yongchen Wang, Huawei Li, Xiaowei Li
2019An All-Digital True Random Number Generator Based on Chaotic Cellular Automata Topology.
Scott Best, Xiaolin Xu
2019An Energy-efficient Processing-in-memory Architecture for Long Short Term Memory in Spin Orbit Torque MRAM.
Kyeonghan Kim, Hyein Shin, Jaehyeong Sim, Myeonggu Kang, Lee-Sup Kim
2019An Event-driven Neuromorphic System with Biologically Plausible Temporal Dynamics.
Haowen Fang, Amar Shrestha, Ziyi Zhao, Yilan Li, Qinru Qiu
2019Analytical Placement with 3D Poisson's Equation and ADMM Based Optimization for Large-Scale 2.5D Heterogeneous FPGAs.
Jianli Chen, Wenxing Zhu, Jun Yu, Lei He, Yao-Wen Chang
2019Analyzing and Modeling In-Storage Computing Workloads On EISC - An FPGA-Based System-Level Emulation Platform.
Zhenyuan Ruan, Tong He, Jason Cong
2019Approximating Behavioral HW Accelerators through Selective Partial Extractions onto Synthesizable Predictive Models.
Siyuan Xu, Benjamin Carrión Schäfer
2019Automated Probe Repositioning for On-Die EM Measurements.
Bastian Richter, Alexander Wild, Amir Moradi
2019BagNet: Berkeley Analog Generator with Layout Optimizer Boosted with Deep Neural Networks.
Kourosh Hakhamaneshi, Nick Werblun, Pieter Abbeel, Vladimir Stojanovic
2019CHASE: A Configurable Hardware-Assisted Security Extension for Real-Time Systems.
Ghada Dessouky, Shaza Zeitouni, Ahmad Ibrahim, Lucas Davi, Ahmad-Reza Sadeghi
2019Centrifuge: Evaluating full-system HLS-generated heterogenous-accelerator SoCs using FPGA-Acceleration.
Qijing Huang, Christopher Yarp, Sagar Karandikar, Nathan Pemberton, Benjamin Brock, Liang Ma, Guohao Dai, Robert Quitt, Krste Asanovic, John Wawrzynek
2019Clock Gating Synthesis of Netlist with Cyclic Logic Paths.
Yonghwi Kwon, Inhak Han, Youngsoo Shin
2019Cloud Columba: Accessible Design Automation Platform for Production and Inspiration: Invited Paper.
Tsun-Ming Tseng, Mengchu Li, Yushen Zhang, Tsung-Yi Ho, Ulf Schlichtmann
2019DATC RDF-2019: Towards a Complete Academic Reference Design Flow.
Jianli Chen, Iris Hui-Ru Jiang, Jinwook Jung, Andrew B. Kahng, Victor N. Kravets, Yih-Lang Li, Shih-Ting Lin, Mingyu Woo
2019DEEPEYE: A Deeply Tensor-Compressed Neural Network Hardware Accelerator: Invited Paper.
Yuan Cheng, Guangya Li, Ngai Wong, Hai-Bao Chen, Hao Yu
2019Design Technology for Scalable and Robust Photonic Integrated Circuits: Invited Paper.
Zheng Zhao, Jiaqi Gu, Zhoufeng Ying, Chenghao Feng, Ray T. Chen, David Z. Pan
2019Dr. CU 2.0: A Scalable Detailed Routing Framework with Correct-by-Construction Design Rule Satisfaction.
Haocheng Li, Gengjie Chen, Bentian Jiang, Jingsong Chen, Evangeline F. Y. Young
2019Efficient Performance Trade-off Modeling for Analog Circuit based on Bayesian Neural Network.
Zhengqi Gao, Jun Tao, Fan Yang, Yangfeng Su, Dian Zhou, Xuan Zeng
2019Efficient Uncertainty Modeling for System Design via Mixed Integer Programming.
Zichang He, Weilong Cui, Chunfeng Cui, Timothy Sherwood, Zheng Zhang
2019Efficient Yield Analysis for SRAM and Analog Circuits using Meta-Model based Importance Sampling Method.
Xiao Shi, Hao Yan, Jiajia Zhang, Qiancun Huang, Longxing Shi, Lei He
2019Embedding Binary Perceptrons in FPGA to improve Area, Power and Performance.
Ankit Wagle, Elham Azari, Sarma B. K. Vrudhula
2019Enabling Secure in-Memory Neural Network Computing by Sparse Fast Gradient Encryption.
Yi Cai, Xiaoming Chen, Lu Tian, Yu Wang, Huazhong Yang
2019Endurance Enhancement of Multi-Level Cell Phase Change Memory.
Cheongwon Lee, Youngsoo Song, Youngsoo Shin
2019Exploiting Randomness in Stochastic Computing.
Pai-Shun Ting, John P. Hayes
2019Facilitating Deployment Of A Wafer-Based Analytic Software Using Tensor Methods: Invited Paper.
Li-C. Wang, Chuanhe Jay Shan, Ahmed Wahba
2019FastWave: Accelerating Autoregressive Convolutional Neural Networks on FPGA.
Shehzeen Hussain, Mojan Javaheripi, Paarth Neekhara, Ryan Kastner, Farinaz Koushanfar
2019Flip-flop State Driven Clock Gating: Concept, Design, and Methodology.
Gyoung-Hwan Hyun, Taewhan Kim
2019Flipcy: Efficient Pattern Redistribution for Enhancing MLC PCM Reliability and Storage Density.
Muhammad Imran, Taehyun Kwon, Jung Min You, Joon-Sung Yang
2019From Inverse Design to Implementation of Practical Photonics.
Jinhie Skarda, Logan Su, Ki Youl Yang, Dries Vercruysse, Neil V. Sapra, Jelena Vuckovic
2019GAN-CTS: A Generative Adversarial Framework for Clock Tree Prediction and Optimization.
Yi-Chen Lu, Jeehyun Lee, Anthony Agnesina, Kambiz Samadi, Sung Kyu Lim
2019GenUnlock: An Automated Genetic Algorithm Framework for Unlocking Logic Encryption.
Huili Chen, Cheng Fu, Jishen Zhao, Farinaz Koushanfar
2019GeniusRoute: A New Analog Routing Paradigm Using Generative Neural Network Guidance.
Keren Zhu, Mingjie Liu, Yibo Lin, Biying Xu, Shaolan Li, Xiyuan Tang, Nan Sun, David Z. Pan
2019Global Interconnect Optimization.
Siad Daboul, Stephan Held, Bento Natura, Daniel Rotter
2019Global routing on rhomboidal tiles.
Nicolai Hähnle, Pietro Saccardi
2019Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes.
Albert Magyar, David Biancolin, John Koenig, Sanjit A. Seshia, Jonathan Bachrach, Krste Asanovic
2019Graph- and ILP-Based Cut Redistribution for Two-Dimensional Directed Self-Assembly.
Zhan-Ling Wang, Yao-Wen Chang
2019HAML-SSD: A Hardware Accelerated Hotness-Aware Machine Learning based SSD Management.
Bingzhe Li, Chunhua Deng, Jinfeng Yang, David J. Lilja, Bo Yuan, David H. C. Du
2019Hi-ClockFlow: Multi-Clock Dataflow Automation and Throughput Optimization in High-Level Synthesis.
Tingyuan Liang, Jieru Zhao, Liang Feng, Sharad Sinha, Wei Zhang
2019High-performance Hardware Architecture for Tensor Singular Value Decomposition: Invited Paper.
Chunhua Deng, Miao Yin, Xiao-Yang Liu, Xiaodong Wang, Bo Yuan
2019Holistic Power Side-Channel Leakage Assessment: Towards a Robust Multidimensional Metric.
Alric Althoff, Jeremy Blackstone, Ryan Kastner
2019How to Efficiently Handle Complex Values? Implementing Decision Diagrams for Quantum Computing.
Alwin Zulehner, Stefan Hillmich, Robert Wille
2019How to Obtain and Run Light and Efficient Deep Learning Networks.
Fan Chen, Wei Wen, Linghao Song, Jingchi Zhang, Hai Helen Li, Yiran Chen
2019INA: Incremental Network Approximation Algorithm for Limited Precision Deep Neural Networks.
Zheyu Liu, Kaige Jia, Weiqiang Liu, Qi Wei, Fei Qiao, Huazhong Yang
2019IcySAT: Improved SAT-based Attacks on Cyclic Locked Circuits.
Kaveh Shamsi, David Z. Pan, Yier Jin
2019IncPIRD: Fast Learning-Based Prediction of Incremental IR Drop.
Chia-Tung Ho, Andrew B. Kahng
2019Is Robust Design-for-Security Robust Enough? Attack on Locked Circuits with Restricted Scan Chain Access.
Nimisha Limaye, Abhrajit Sengupta, Mohammed Nabeel, Ozgur Sinanoglu
2019Karna: A Gate-Sizing based Security Aware EDA Flow for Improved Power Side-Channel Attack Protection.
Patanjali SLPSK, Prasanna Karthik Vairam, Chester Rebeiro, V. Kamakoti
2019LSOracle: a Logic Synthesis Framework Driven by Artificial Intelligence: Invited Paper.
Walter Lau Neto, Max Austin, Scott Temple, Luca G. Amarù, Xifan Tang, Pierre-Emmanuel Gaillardon
2019Lagrangian Relaxation-Based Time-Division Multiplexing Optimization for Multi-FPGA Systems.
Chak-Wa Pui, Evangeline F. Y. Young
2019Latest Advancements to the Industry-Leading EPDA Design Flow for Silicon Photonics: Invited Paper.
James Pond, Xu Wang, Zeqin Lu, Ellen Schelew, Gilles Lamant, Ahmadreza Farsaei
2019Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.
Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov
2019Looking Into the Mirror of Open Source: Invited Paper.
Andrew B. Kahng
2019MAGICAL: Toward Fully Automated Analog IC Layout Leveraging Human and Machine Intelligence: Invited Paper.
Biying Xu, Keren Zhu, Mingjie Liu, Yibo Lin, Shaolan Li, Xiyuan Tang, Nan Sun, David Z. Pan
2019MAGNet: A Modular Accelerator Generator for Neural Networks.
Rangharajan Venkatesan, Yakun Sophia Shao, Miaorong Wang, Jason Clemons, Steve Dai, Matthew Fojtik, Ben Keller, Alicia Klinefelter, Nathaniel Ross Pinckney, Priyanka Raina, Yanqing Zhang, Brian Zimmer, William J. Dally, Joel S. Emer, Stephen W. Keckler, Brucek Khailany
2019MUQUT: Multi-Constraint Quantum Circuit Mapping on NISQ Computers: Invited Paper.
Debjyoti Bhattacharjee, Abdullah Ash-Saki, Mahabubul Alam, Anupam Chattopadhyay, Swaroop Ghosh
2019Machine Learning-Based Hotspot Detection: Fallacies, Pitfalls and Marching Orders.
Gaurav Rajavendra Reddy, Kareem Madkour, Yiorgos Makris
2019Making the Fault-Tolerance of Emerging Neural Network Accelerators Scalable.
Tao Liu, Wujie Wen
2019Mixed Precision Neural Architecture Search for Energy Efficient Deep Learning.
Chengyue Gong, Zixuan Jiang, Dilin Wang, Yibo Lin, Qiang Liu, David Z. Pan
2019Multi-Stage Optimization for Energy-Efficient Active Cell Balancing in Battery Packs.
Debayan Roy, Swaminathan Narayanaswamy, Alma Pröbstl, Samarjit Chakraborty
2019Multiversion Concurrency Control on Intermittent Systems.
Wei-Ming Chen, Yi-Ting Chen, Pi-Cheng Hsiu, Tei-Wei Kuo
2019NAIS: Neural Architecture and Implementation Search and its Applications in Autonomous Driving.
Cong Hao, Yao Chen, Xinheng Liu, Atif Sarwari, Daryl Sew, Ashutosh Dhar, Bryan Wu, Dongdong Fu, Jinjun Xiong, Wen-Mei Hwu, Junli Gu, Deming Chen
2019NanoTherm: An Analytical Fourier-Boltzmann Framework for Full Chip Thermal Simulations.
Shashank Varshney, Hameedah Sultan, Palkesh Jain, Smruti R. Sarangi
2019Neural Network-Inspired Analog-to-Digital Conversion to Achieve Super-Resolution with Low-Precision RRAM Devices.
Weidong Cao, Liu Ke, Ayan Chakrabarti, Xuan Zhang
2019Obstacle-Aware Group-Based Length-Matching Routing for Pre-Assignment Area-I/O Flip-Chip Designs.
Yu-Hsuan Chang, Hsiang-Ting Wen, Yao-Wen Chang
2019Open-Source Incubation Ecosystem for Digital Microfluidics - Status and Roadmap: Invited Paper.
Xing Huang, Chi-Chun Liang, Jia Li, Tsung-Yi Ho, Chang-Jin Kim
2019Overview of 2019 CAD Contest at ICCAD.
Ulf Schlichtmann, Sabya Das, Ing-Chao Lin, Mark Po-Hung Lin
2019PABO: Pseudo Agent-Based Multi-Objective Bayesian Hyperparameter Optimization for Efficient Neural Accelerator Design.
Maryam Parsa, Aayush Ankit, Amirkoushyar Ziabari, Kaushik Roy
2019PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems.
Ivan De Oliveira Nunes, Karim Eldefrawy, Norrathep Rattanavipanon, Gene Tsudik
2019Power Grid Fixing for Electromigration-induced Voltage Failures.
Zahi Moudallal, Valeriy Sukharev, Farid N. Najm
2019Power-Driven DNN Dataflow Optimization on FPGA.
Qi Sun, Tinghuan Chen, Jin Miao, Bei Yu
2019Proceedings of the International Conference on Computer-Aided Design, ICCAD 2019, Westminster, CO, USA, November 4-7, 2019
David Z. Pan
2019ROAD: Improving Reliability of Multi-core System via Asymmetric Aging.
Yu-Guang Chen, Ing-Chao Lin, Jian-Ting Ke
2019Re-Tangle: A ReRAM-based Processing-in-Memory Architecture for Transaction-based Blockchain.
Qian Wang, Tianyu Wang, Zhaoyan Shen, Zhiping Jia, Mengying Zhao, Zili Shao
2019ReDESK: A Reconfigurable Dataflow Engine for Sparse Kernels on Heterogeneous Platforms.
Kai Lu, Zhaoshi Li, Leibo Liu, Jiawei Wang, Shouyi Yin, Shaojun Wei
2019ReDRAM: A Reconfigurable Processing-in-DRAM Platform for Accelerating Bulk Bit-Wise Operations.
Shaahin Angizi, Deliang Fan
2019Reducing Compilation Effort in Commercial FPGA Emulation Systems Using Machine Learning.
Anthony Agnesina, Etienne Lepercq, Jose Escobedo, Sung Kyu Lim
2019Resolving the Trilemma in Logic Encryption.
Hai Zhou, Amin Rezaei, Yuanqi Shen
2019SCR-QRNG: Side-Channel Resistant Design using Quantum Random Number Generator.
Jungmin Park, Seongjoon Cho, Taejin Lim, Swarup Bhunia, Mark Tehranipoor
2019SCRIP: Secure Random Clock Execution on Soft Processor Systems to Mitigate Power-based Side Channel Attacks.
Darshana Jayasinghe, Aleksandar Ignjatovic, Sri Parameswaran
2019SFLL-HLS: Stripped-Functionality Logic Locking Meets High-Level Synthesis.
Muhammad Yasin, Chongzhi Zhao, Jeyavijayan (JV) Rajendran
2019SPRoute: A Scalable Parallel Negotiation-based Global Router.
Jiayuan He, Martin Burtscher, Rajit Manohar, Keshav Pingali
2019Scaling Microfluidics to Complex, Dynamic Protocols: Invited Paper.
Max Willsey, Ashley P. Stephenson, Chris Takahashi, Bichlien H. Nguyen, Karin Strauss, Luis Ceze
2019Searching Parallel Separating Hyperplanes for Effective Compression of Threshold Logic Networks.
Siang-Yun Lee, Nian-Ze Lee, Jie-Hong R. Jiang
2019Security and Complexity Analysis of LUT-based Obfuscation: From Blueprint to Reality.
Gaurav Kolhe, Hadi Mardani Kamali, Miklesh Naicker, Tyler David Sheaves, Hamid Mahmoodi, Sai Manoj P. D., Houman Homayoun, Setareh Rafatirad, Avesta Sasan
2019SemiHD: Semi-Supervised Learning Using Hyperdimensional Computing.
Mohsen Imani, Samuel Bosch, Mojan Javaheripi, Bita Darvish Rouhani, Xinyu Wu, Farinaz Koushanfar, Tajana Rosing
2019Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification.
Marleson Graf, Olav P. Henschel, Rafael P. Alevato, Luiz C. V. dos Santos
2019Specification, Integration, and Benchmarking of Continuous Flow Microfluidic Devices: Invited Paper.
Radhakrishna Sanka, Brian Crites, Jeffrey McDaniel, Philip Brisk, Douglas Densmore
2019Strengthening PUFs using Composition.
Zhuanhao Wu, Hiren D. Patel, Manoj Sachdev, Mahesh V. Tripunitara
2019Systematic Exploration of High-Radix Integrated Silicon Photonic Switches for Datacenters.
Zhifei Wang, Jun Feng, Xuanqi Chen, Zhehui Wang, Jiaxu Zhang, Shixi Chen, Jiang Xu
2019Tagged Sentential Decision Diagrams: Combining Standard and Zero-suppressed Compression and Trimming Rules.
Liangda Fang, Biqing Fang, Hai Wan, Zeqi Zheng, Liang Chang, Quan Yu
2019Task Mapping-Assisted Laser Power Scaling for Optical Network-on-Chips.
Yuyang Wang, Kwang-Ting Cheng
2019Tensor Methods for Generating Compact Uncertainty Quantification and Deep Learning Models.
Chunfeng Cui, Cole Hawkins, Zheng Zhang
2019The Impact of Emerging Technologies on Architectures and System-level Management: Invited Paper.
Jörg Henkel, Hussam Amrouch, Martin Rapp, Sami Salamin, Dayane Reis, Di Gao, Xunzhao Yin, Michael T. Niemier, Cheng Zhuo, Xiaobo Sharon Hu, Hsiang-Yun Cheng, Chia-Lin Yang
2019The Internet of Microfluidic Things: Perspectives on System Architecture and Design Challenges: Invited Paper.
Mohamed Ibrahim, Maria Gorlatova, Krishnendu Chakrabarty
2019The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits.
Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli
2019Time-Frame Folding: Back to the Sequentiality.
Po-Chun Chien, Jie-Hong R. Jiang
2019Timing-Aware Fill Insertions with Design-Rule and Density Constraints.
Tingshen Lan, Xingquan Li, Jianli Chen, Jun Yu, Lei He, Senhua Dong, Wenxing Zhu, Yao-Wen Chang
2019Toward Instantaneous Sanitization through Disturbance-induced Errors and Recycling Programming over 3D Flash Memory.
Wei-Chen Wang, Ping-Hsien Lin, Yung-Chun Li, Chien-Chung Ho, Yu-Ming Chang, Yuan-Hao Chang
2019Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines.
Robert Wille, Majid Haghparast, Smaran Adarsh, Tanmay Tanmay
2019Towards In-Circuit Tuning of Deep Learning Designs.
Zhiqiang Que, Daniel Holanda Noronha, Ruizhe Zhao, Steven J. E. Wilton, Wayne Luk
2019Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.
Jiameng Fan, Chao Huang, Wenchao Li, Xin Chen, Qi Zhu
2019Tucker Tensor Decomposition on FPGA.
Kaiqi Zhang, Xiyuan Zhang, Zheng Zhang
2019Understanding and Exploiting the Internals of GPU Resource Allocation for Critical Systems.
Alejandro J. Calderón, Leonidas Kosmidis, Carlos F. Nicolás, Francisco J. Cazorla, Peio Onaindia
2019Unlocking the Power of Formal Hardware Verification with CoSA and Symbolic QED: Invited Paper.
Florian Lonsing, Karthik Ganesan, Makai Mann, Srinivasa Shashank Nuthakki, Eshan Singh, Mario Srouji, Yahan Yang, Subhasish Mitra, Clark W. Barrett
2019VOM: Flow-Path Validation and Control-Sequence Optimization for Multilayered Continuous-Flow Microfluidic Biochips.
Mengchu Li, Tsun-Ming Tseng, Yanlu Ma, Tsung-Yi Ho, Ulf Schlichtmann
2019Verifying Conformance of Neural Network Models: Invited Paper.
Monal Narasimhamurthy, Taisa Kushner, Souradeep Dutta, Sriram Sankaranarayanan
2019WCET Guarantees for Opportunistic Runtime Reconfiguration.
Marvin Damschen, Lars Bauer, Jörg Henkel
2019Wavelength-Routed Optical NoCs: Design and EDA - State of the Art and Future Directions: Invited Paper.
Tsun-Ming Tseng, Alexandre Truppel, Mengchu Li, Mahdi Nikdast, Ulf Schlichtmann
2019What You Simulate Is What You Synthesize: Designing a Processor Core from C++ Specifications.
Simon Rokicki, Davide Pala, Joseph Paturel, Olivier Sentieys
2019Workload-Aware Opportunistic Energy Efficiency in Multi-FPGA Platforms.
Sahand Salamat, Behnam Khaleghi, Mohsen Imani, Tajana Rosing
2019Zac: Towards Automatic Optimization and Deployment of Quantized Deep Neural Networks on Embedded Devices.
Qingcheng Xiao, Yun Liang
2019eSRCNN: A Framework for Optimizing Super-Resolution Tasks on Diverse Embedded CNN Accelerators.
Youngbeom Jung, Yeongjae Choi, Jaehyeong Sim, Lee-Sup Kim
2019elfPlace: Electrostatics-based Placement for Large-Scale Heterogeneous FPGAs.
Wuxi Li, Yibo Lin, David Z. Pan
2019nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems.
Chih-Hong Cheng, Chung-Hao Huang, Georg Nührenberg