default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 37
Volume 37, Number 1, January 2018
- Rajesh K. Gupta:
Editorial. 1-2 - Saraju P. Mohanty
, Michael Hübner, Chun Jason Xue, Xin Li, Hai Li:
Guest Editorial Circuit and System Design Automation for Internet of Things. 3-6 - Tosiron Adegbija, Anita Rogacs, Chandrakant Patel, Ann Gordon-Ross:
Microprocessor Optimizations for the Internet of Things: A Survey. 7-20 - Jian-Jun Han, Xin Tao, Dakai Zhu, Hakan Aydin, Zili Shao, Laurence T. Yang:
Multicore Mixed-Criticality Systems: Partitioned Scheduling and Utilization Bound. 21-34 - Kaiyuan Guo, Lingzhi Sui, Jiantao Qiu, Jincheng Yu, Junbin Wang, Song Yao, Song Han, Yu Wang, Huazhong Yang:
Angel-Eye: A Complete Design Flow for Mapping CNN Onto Embedded FPGA. 35-47 - Renzo Andri, Lukas Cavigelli, Davide Rossi, Luca Benini:
YodaNN: An Architecture for Ultralow Power Binary-Weight CNN Acceleration. 48-60 - Jonathan Beaumont, Andrey Mokhov, Danil Sokolov, Alex Yakovlev:
High-Level Asynchronous Concepts at the Interface Between Analog and Digital Worlds. 61-74 - Shaoming Chen, Lu Peng, Samuel Irving, Zhou Zhao, Weihua Zhang, Ashok Srivastava:
qSwitch: Dynamical Off-Chip Bandwidth Allocation Between Local and Remote Accesses. 75-87 - Juan Wang, Zhi Hong, Yuhan Zhang, Yier Jin:
Enabling Security-Enhanced Attestation With Intel SGX for Remote Terminal and IoT. 88-96 - Cédric Marchand, Lilian Bossuet, Ugo Mureddu, Nathalie Bochard, Abdelkarim Cherkaoui, Viktor Fischer:
Implementation and Characterization of a Physical Unclonable Function for IoT: A Case Study With the TERO-PUF. 97-109 - S. Dinesh Kumar, Himanshu Thapliyal, Azhar Mohammad:
FinSAL: FinFET-Based Secure Adiabatic Logic for Energy-Efficient and DPA Resistant IoT Devices. 110-122 - Hui Geng, Kevin A. Kwiat, Charles A. Kamhoua, Yiyu Shi:
On Random Dynamic Voltage Scaling for Internet-of-Things: A Game-Theoretic Approach. 123-132 - Andrea Cirigliano, Roberto Cordone, Alessandro Antonio Nacci, Marco Domenico Santambrogio:
Toward Smart Building Design Automation: Extensible CAD Framework for Indoor Localization Systems Deployment. 133-145 - Yilei Li, Kirti Dhwaj, Chien-Heng Wong, Yuan Du, Li Du, Yiwu Tang, Yiyu Shi, Tatsuo Itoh, Mau-Chung Frank Chang:
A Novel Fully Synthesizable All-Digital RF Transmitter for IoT Applications. 146-158 - Weiwei Shi, An Pan, Shi Yu, Chiu-sing Choy:
A Subthreshold Baseband Processor Core Design With Custom Modules and Cells for Passive RFID Tags. 159-167 - Congming Gao, Liang Shi, Cheng Ji, Yejia Di, Kaijie Wu, Chun Jason Xue, Edwin Hsing-Mean Sha:
Exploiting Parallelism for Access Conflict Minimization in Flash-Based Solid State Drives. 168-181 - Abhoy Kole, Kamalika Datta, Indranil Sengupta:
A New Heuristic for N-Dimensional Nearest Neighbor Realization of a Quantum Circuit. 182-192 - Andreas Grimmer, Werner Haselmayr, Andreas Springer, Robert Wille:
Design of Application-Specific Architectures for Networked Labs-on-Chips. 193-202 - Wenmian Hua, Rajit Manohar:
Exact Timing Analysis for Asynchronous Systems. 203-216 - Xiaotao Jia, Yici Cai, Qiang Zhou, Bei Yu:
A Multicommodity Flow-Based Detailed Router With Efficient Acceleration Techniques. 217-230 - Derong Liu, Bei Yu, Salim Chowdhury, David Z. Pan:
TILA-S: Timing-Driven Incremental Layer Assignment Avoiding Slew Violations. 231-244 - Taehee Lee, David Z. Pan, Joon-Sung Yang:
Clock Network Optimization With Multibit Flip-Flop Generation Considering Multicorner Multimode Timing Constraint. 245-256 - Dara Rahmati, Hamid Sarbazi-Azad:
Classified Round Robin: A Simple Prioritized Arbitration to Equip Best Effort NoCs With Effective Hard QoS. 257-269
Volume 37, Number 2, February 2018
- Jaya Dofe, Qiaoyan Yu:
Novel Dynamic State-Deflection Method for Gate-Level Design Obfuscation. 273-285 - Li Du, Chun-Chen Liu, Yan Zhang, Yilei Li, Yuan Du, Yen-Cheng Kuan, Mau-Chung Frank Chang:
A Single Layer 3-D Touch Sensing System for Mobile Devices Application. 286-296 - Tobias Schwarzer, Andreas Weichslgartner, Michael Glaß, Stefan Wildermann, Peter Brand, Jürgen Teich:
Symmetry-Eliminating Design Space Exploration for Hybrid Application Mapping on Many-Core Architectures. 297-310 - Lei Xie, Hoang Anh Du Nguyen, Mottaqiallah Taouil, Said Hamdioui, Koen Bertels:
A Mapping Methodology of Boolean Logic Circuits on Memristor Crossbar. 311-323 - A. N. Nagamani, S. N. Anuktha, N. Nanditha, Vinod Kumar Agrawal:
A Genetic Algorithm-Based Heuristic Method for Test Set Generation in Reversible Circuits. 324-336 - Insik Yoon, Arijit Raychowdhury:
Modeling and Analysis of Magnetic Field Induced Coupling on Embedded STT-MRAM Arrays. 337-349 - Hao Liang, Sharad Sinha, Wei Zhang:
Parallelizing Hardware Tasks on Multicontext FPGA With Efficient Placement and Scheduling Algorithms. 350-363 - Zhonghai Lu, Xueqian Zhao:
xMAS-Based QoS Analysis Methodology. 364-377 - Michele Lora, Sara Vinco, Enrico Fraccaroli, Davide Quaglia, Franco Fummi:
Analog Models Manipulation for Effective Integration in Smart System Virtual Platforms. 378-391 - Grace Li Zhang, Bing Li, Jinglan Liu, Yiyu Shi, Ulf Schlichtmann:
Design-Phase Buffer Allocation for Post-Silicon Clock Binning by Iterative Learning. 392-405 - Stephan Held, Dirk Müller, Daniel Rotter, Rudolf Scheifele, Vera Traub, Jens Vygen:
Global Routing With Timing Constraints. 406-419 - Andrey Ayupov, Serif Yesil, Muhammet Mustafa Ozdal, Taemin Kim, Steven M. Burns, Ozcan Ozturk:
A Template-Based Design Methodology for Graph-Parallel Hardware Accelerators. 420-430 - Shouyi Yin, Zhicong Xie, Chenyue Meng, Peng Ouyang, Leibo Liu, Shaojun Wei:
Memory Partitioning for Parallel Multipattern Data Access in Multiple Data Arrays. 431-444 - Byunghoon Lee, Kwangsu Kim, Eui-Young Chung:
Replacement Policy Adaptable Miss Curve Estimation for Efficient Cache Partitioning. 445-457 - Kyuseung Han, Jae-Jin Lee, Jinho Lee, Woojoo Lee, Massoud Pedram:
TEI-NoC: Optimizing Ultralow Power NoCs Exploiting the Temperature Effect Inversion. 458-471 - Bo Mao, Suzhen Wu, Lide Duan:
Improving the SSD Performance by Exploiting Request Characteristics and Internal Parallelism. 472-484 - Tong-Yu Hsieh, Yi-Han Peng, Kuan-Chih Cheng:
Structural Variance-Based Error-Tolerability Test Method for Image Processing Applications. 485-498 - Arunkumar Vijayan, Saman Kiamehr, Mojtaba Ebrahimi, Krishnendu Chakrabarty, Mehdi Baradaran Tahoori:
Online Soft-Error Vulnerability Estimation for Memory Arrays and Logic Cores. 499-511 - Sumayya Shiraz, Osman Hasan:
A Library for Combinational Circuit Verification Using the HOL Theorem Prover. 512-516
Volume 37, Number 3, March 2018
- Ons Lahiouel, Mohamed H. Zaki, Sofiène Tahar:
Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. 517-530 - Yishi Yang, Hengliang Zhu, Zhaori Bi, Changhao Yan, Dian Zhou, Yangfeng Su, Xuan Zeng:
Smart-MSP: A Self-Adaptive Multiple Starting Point Optimization Approach for Analog Circuit Synthesis. 531-544 - Yoon Seok Yang, Hrishikesh Deshpande, Gwan Choi, Paul V. Gratz:
SDPR: Improving Latency and Bandwidth in On-Chip Interconnect Through Simultaneous Dual-Path Routing. 545-558 - Jae Hoon Lee, Min Soo Kim, Tae Hee Han:
Insertion Loss-Aware Routing Analysis and Optimization for a Fat-Tree-Based Optical Network-on-Chip. 559-572 - Yang Liu, Yuchen Zhou, Shiyan Hu:
Combating Coordinated Pricing Cyberattack and Energy Theft in Smart Home Cyber-Physical Systems. 573-586 - Debajyoti Bera:
Detection and Diagnosis of Single Faults in Quantum Circuits. 587-600 - Zipeng Li, Kelvin Yi-Tse Lai, John McCrone, Po-Hsien Yu, Krishnendu Chakrabarty, Miroslav Pajic, Tsung-Yi Ho, Chen-Yi Lee:
Efficient and Adaptive Error Recovery in a Micro-Electrode-Dot-Array Digital Microfluidic Biochip. 601-614 - Wajid Hassan Minhass, Jeffrey McDaniel, Michael Lander Raagaard, Philip Brisk, Paul Pop, Jan Madsen:
Scheduling and Fluid Routing for Flow-Based Microfluidic Laboratories-on-a-Chip. 615-628 - Dries Vercruyce, Elias Vansteenkiste, Dirk Stroobandt:
How Preserving Circuit Design Hierarchy During FPGA Packing Leads to Better Performance. 629-642 - Marco Donato, R. Iris Bahar, William R. Patterson, Alexander Zaslavsky:
A Sub-Threshold Noise Transient Simulator Based on Integrated Random Telegraph and Thermal Noise Modeling. 643-656 - Yixiao Ding, Chris Chu, Wai-Kei Mak:
Self-Aligned Double Patterning-Aware Detailed Routing With Double Via Insertion and Via Manufacturability Consideration. 657-668 - Chau-Chin Huang, Hsin-Ying Lee, Bo-Qiao Lin, Sheng-Wei Yang, Chin-Hao Chang, Szu-To Chen, Yao-Wen Chang, Tung-Chieh Chen, Ismail Bustany:
NTUplace4dr: A Detailed-Routing-Driven Placer for Mixed-Size Circuit Designs With Technology and Region Constraints. 669-681 - Travis Boraten, Avinash Karanth Kodi:
Runtime Techniques to Mitigate Soft Errors in Network-on-Chip (NoC) Architectures. 682-695 - Mehran Mozaffari Kermani, Amir Jalali, Reza Azarderakhsh, Jiafeng Xie, Kim-Kwang Raymond Choo:
Reliable Inversion in GF(28) With Redundant Arithmetic for Secure Error Detection of Cryptographic Architectures. 696-704 - Yanchen Long, Zhonghai Lu, Haibin Shen:
Composable Worst-Case Delay Bound Analysis Using Network Calculus. 705-709 - Konrad Möller, Martin Kumm, Mario Garrido, Peter Zipf:
Optimal Shift Reassignment in Reconfigurable Constant Multiplication Circuits. 710-714
Volume 37, Number 4, April 2018
- Tao-Chun Yu, Shao-Yun Fang, Chia-Ching Chen, Yulong Sun, Poki Chen:
Device Array Layout Synthesis With Nonlinear Gradient Compensation for a High-Accuracy Current-Steering DAC. 717-728 - Xiaowei Xu, Feng Lin, Aosen Wang, Xinwei Yao, Qing Lu, Wenyao Xu, Yiyu Shi, Yu Hu:
Accelerating Dynamic Time Warping With Memristor-Based Customized Fabrics. 729-741 - Anirban Sengupta, Dipanjan Roy, Saraju P. Mohanty:
Triple-Phase Watermarking for Reusable IP Core Protection During Architecture Synthesis. 742-755 - Cheng Ji, Li-Pin Chang, Chao Wu, Liang Shi, Chun Jason Xue:
An I/O Scheduling Strategy for Embedded Flash Storage Devices With Mapping Cache. 756-769 - Hengliang Zhu, Feng Hu, Hao Zhou, David Z. Pan, Dian Zhou, Xuan Zeng:
Interlayer Cooling Network Design for High-Performance 3D ICs Using Channel Patterning and Pruning. 770-781 - Leibo Liu, Zhuoquan Zhou, Shaojun Wei, Min Zhu, Shouyi Yin, Shengyang Mao:
DRMaSV: Enhanced Capability Against Hardware Trojans in Coarse Grained Reconfigurable Architectures. 782-795 - Raouf Senhadji-Navarro, Ignacio Garcia-Vargas:
High-Performance Architecture for Binary-Tree-Based Finite State Machines. 796-805 - Mohammadreza Soltaniyeh, Ismail Kadayif, Ozcan Ozturk:
Classifying Data Blocks at Subpage Granularity With an On-Chip Page Table to Improve Coherence in Tiled CMPs. 806-819 - Morteza Gholipour, Ying-Yu Chen, Deming Chen:
Compact Modeling to Device- and Circuit-Level Evaluation of Flexible TMD Field-Effect Transistors. 820-831 - Mohamed Baker Alawieh, Fa Wang, Xin Li:
Identifying Wafer-Level Systematic Failure Patterns via Unsupervised Learning. 832-844 - Sheng-En David Lin, Dae Hyun Kim:
Detailed-Placement-Enabled Dynamic Power Optimization of Multitier Gate-Level Monolithic 3-D ICs. 845-854 - Sorin Dobre, Andrew B. Kahng, Jiajia Li:
Design Implementation With Noninteger Multiple-Height Cells for Improved Design Quality in Advanced Nodes. 855-868 - Wuxi Li, Shounak Dhar, David Z. Pan:
UTPlaceF: A Routability-Driven FPGA Placer With Physical and Congestion Aware Packing. 869-882 - Vasileios Tenentes, Daniele Rossi, S. Saqib Khursheed, Bashir M. Al-Hashimi, Krishnendu Chakrabarty:
Leakage Current Analysis for Diagnosis of Bridge Defects in Power-Gating Designs. 883-895 - Jiajia Chen, Chip-Hong Chang, Yujia Wang, Juan Zhao, Susanto Rahardja:
New Hardware and Power Efficient Sporadic Logarithmic Shifters for DSP Applications. 896-900 - Anita Aghaie, Mehran Mozaffari Kermani, Reza Azarderakhsh:
Reliable and Fault Diagnosis Architectures for Hardware and Software-Efficient Block Cipher KLEIN Benchmarked on FPGA. 901-905 - Jaeil Lim, Hyunggoy Oh, Heetae Kim, Sungho Kang:
Thermal Aware Test Scheduling for NTV Circuit. 906-910
Volume 37, Number 5, May 2018
- Szymon Szczesny:
HDL-Based Synthesis System With Debugger for Current-Mode FPAA. 915-926 - Jin Miao, Meng Li, Subhendu Roy, Yuzhe Ma, Bei Yu:
SD-PUF: Spliced Digital Physical Unclonable Function. 927-940 - Mengquan Li, Weichen Liu, Lei Yang, Peng Chen, Chao Chen:
Chip Temperature Optimization for Dark Silicon Many-Core Systems. 941-953 - Timo Feld, Frank Slomka:
Exact Interference of Tasks With Variable Rate-Dependent Behavior. 954-967 - Zipeng Li, Kelvin Yi-Tse Lai, Po-Hsien Yu, Krishnendu Chakrabarty, Tsung-Yi Ho, Chen-Yi Lee:
Structural and Functional Test Methods for Micro-Electrode-Dot-Array Digital Microfluidic Biochips. 968-981 - Giuseppe Tagliavini, Davide Rossi, Andrea Marongiu, Luca Benini:
Synergistic HW/SW Approximation Techniques for Ultralow-Power Parallel Computing. 982-995 - Alwin Zulehner, Robert Wille:
One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic. 996-1008 - Lixue Xia, Boxun Li, Tianqi Tang, Peng Gu, Pai-Yu Chen, Shimeng Yu, Yu Cao, Yu Wang, Yuan Xie, Huazhong Yang:
MNSIM: Simulation Platform for Memristor-Based Neuromorphic Computing System. 1009-1022 - Augusto Neutzling, Mayler G. A. Martins, Vinicius Callegaro, André Inácio Reis, Renato P. Ribas:
A Simple and Effective Heuristic Method for Threshold Logic Identification. 1023-1036 - Mohammad Nazmus Sakib, Rakibul Hassan, Satyendra N. Biswas, Sunil R. Das:
Memristor-Based High-Speed Memory Cell With Stable Successive Read Operation. 1037-1049 - Mohamed Hassan, Hiren D. Patel:
MCXplore: Automating the Validation Process of DRAM Memory Controller Designs. 1050-1063 - Arunkumar Vijayan, Abhishek Koneru, Saman Kiamehr, Krishnendu Chakrabarty, Mehdi Baradaran Tahoori:
Fine-Grained Aging-Induced Delay Prediction Based on the Monitoring of Run-Time Stress. 1064-1075 - Amin Vali, Nicola Nicolici:
Bit-Flip Detection-Driven Selection of Trace Signals. 1076-1089 - Chih-Hao Wang, Tong-Yu Hsieh:
On Probability of Detection Lossless Concurrent Error Detection Based on Implications. 1090-1103 - Yansong Gao, Hua Ma, Said F. Al-Sarawi, Derek Abbott, Damith Chinthana Ranasinghe:
PUF-FSM: A Controlled Strong PUF. 1104-1108 - Tao Li, Qiang Liu:
A Low Cost Partial Scan Approach Based on Balanced Sequential Graph Transformation. 1109-1113
Volume 37, Number 6, June 2018
- Jack Tang, Mohamed Ibrahim, Krishnendu Chakrabarty, Ramesh Karri:
Secure Randomized Checkpointing for Digital Microfluidic Biochips. 1119-1132 - Chung-Han Chou, Tsui-Yun Chang, Kai-Chiang Wu, Shih-Chieh Chang:
Sensor-Based Time Speculation in the Presence of Timing Variability. 1133-1142 - Olga Krestinskaya, Timur Ibrayev, Alex Pappachen James:
Hierarchical Temporal Memory Features with Memristor Logic Circuits for Pattern Recognition. 1143-1156 - Qin Wang, Hao Zou, Hailong Yao, Tsung-Yi Ho, Robert Wille, Yici Cai:
Physical Co-Design of Flow and Control Layers for Flow-Based Microfluidic Biochips. 1157-1170 - Leibo Liu, Chen Yang, Shouyi Yin, Shaojun Wei:
CDPM: Context-Directed Pattern Matching Prefetching to Improve Coarse-Grained Reconfigurable Array Performance. 1171-1184 - Infall Syafalni, Tsutomu Sasao, Xiaoqing Wen:
A Method to Detect Bit Flips in a Soft-Error Resilient TCAM. 1185-1196 - Hsin-Ho Huang, Huimei Cheng, Chris Chu, Peter A. Beerel:
Area Optimization of Timing Resilient Designs Using Resynthesis. 1197-1210 - Zhibin Yu, Jing Wang, Lieven Eeckhout, Chengzhong Xu:
QIG: Quantifying the Importance and Interaction of GPGPU Architecture Parameters. 1211-1224 - Xiaoqing Xu, Yibo Lin, Meng Li, Tetsuaki Matsunawa, Shigeki Nojima, Chikaaki Kodama, Toshiya Kotani, David Z. Pan:
Subresolution Assist Feature Generation With Supervised Data Learning. 1225-1236 - Yibo Lin, Bei Yu, Xiaoqing Xu, Jhih-Rong Gao, Natarajan Viswanathan, Wen-Hao Liu, Zhuo Li, Charles J. Alpert, David Z. Pan:
MrDP: Multiple-Row Detailed Placement of Heterogeneous-Sized Cells for Advanced Nodes. 1237-1250 - Jian Kuang, Junjie Ye, Evangeline F. Y. Young:
STOMA: Simultaneous Template Optimization and Mask Assignment for Directed Self-Assembly Lithography With Multiple Patterning. 1251-1264 - Ying Wang, Huawei Li, Yinhe Han, Xiaowei Li:
A Low Overhead In-Network Data Compressor for the Memory Hierarchy of Chip Multiprocessors. 1265-1277 - Irith Pomeranz:
Improving the Diagnosability of Scan Chain Faults Under Transparent-Scan by Observation Points. 1278-1287 - Yang Xue, Xin Li, Ronald D. Blanton:
Improving Diagnostic Resolution of Failing ICs Through Learning. 1288-1297 - Ryan Berryhill, Andreas G. Veneris:
Methodologies for Diagnosis of Unreachable States via Property Directed Reachability. 1298-1311 - Michael Shoniker, Oleg Oleynikov, Bruce F. Cockburn, Jie Han, Manish Rana, Witold Pedrycz:
Automatic Selection of Process Corner Simulations for Faster Design Verification. 1312-1316
Volume 37, Number 7, July 2018
- Sandeep Chatterjee, Valeriy Sukharev, Farid N. Najm:
Power Grid Electromigration Checking Using Physics-Based Models. 1317-1330 - Li Jiang, Tianjian Li, Naifeng Jing, Nam Sung Kim, Minyi Guo, Xiaoyao Liang:
CNFET-Based High Throughput SIMD Architecture. 1331-1344 - Daniele Rossi, Vasileios Tenentes, Sudhakar M. Reddy, Bashir M. Al-Hashimi, Andrew D. Brown:
Exploiting Aging Benefits for the Design of Reliable Drowsy Cache Memories. 1345-1357 - Pengfei Qiu, Yongqiang Lyu, Jiliang Zhang, Dongsheng Wang, Gang Qu:
Control Flow Integrity Based on Lightweight Encryption Architecture. 1358-1369 - Xiaoming Chen, Qiaoyi Liu, Song Yao, Jia Wang, Qiang Xu, Yu Wang, Yongpan Liu, Huazhong Yang:
Hardware Trojan Detection in Third-Party Digital Intellectual Property Cores by Multilevel Feature Analysis. 1370-1383 - Minhui Zou, Xiaotong Cui, Liang Shi, Kaijie Wu:
Potential Trigger Detection for Hardware Trojans. 1384-1395 - Sarath Mohanachandran Nair, Rajendra Bishnoi, Mohammad Saber Golanbari, Fabian Oboril, Fazal Hameed, Mehdi Baradaran Tahoori:
VAET-STT: Variation Aware STT-MRAM Analysis and Design Space Exploration Tool. 1396-1407 - Lin Liu, Hui Huang, Shiyan Hu:
Lorenz Chaotic System-Based Carbon Nanotube Physical Unclonable Functions. 1408-1421 - Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Rolf Drechsler:
Logic Synthesis for RRAM-Based In-Memory Computing. 1422-1435 - Xiaoping Wang, Qian Wu, Qiao Chen, Zhigang Zeng:
A Novel Design for Memristor-Based Multiplexer Via NOT-Material Implication. 1436-1444 - Alper Demir, M. Selim Hanay:
Numerical Analysis of Multidomain Systems: Coupled Nonlinear PDEs and DAEs With Noise. 1445-1458 - Alex Kahng, Andrew B. Kahng, Hyein Lee, Jiajia Li:
PROBE: A Placement, Routing, Back-End-of-Line Measurement Utility. 1459-1472 - Hayoung Lee, Kiwon Cho, Donghyun Kim, Sungho Kang:
Fault Group Pattern Matching With Efficient Early Termination for High-Speed Redundancy Analysis. 1473-1482 - Xiaofeng Tang, Aiqiang Xu, Ruifeng Li, Min Zhu, Jinling Dai:
Simulation-Based Diagnostic Model for Automatic Testability Analysis of Analog Circuits. 1483-1493 - Irith Pomeranz:
An Initialization Process to Support Online Testing Based on Output Comparison for Identical Finite-State Machines. 1494-1504 - Xiaoping Wang, Shuai Li, Hui Liu, Zhigang Zeng:
A Compact Scheme of Reading and Writing for Memristor-Based Multivalued Memory. 1505-1509 - Jea Woo Park, Andres Torres, Xiaoyu Song:
Litho-Aware Machine Learning for Hotspot Detection. 1510-1514
Volume 37, Number 8, August 2018
- Armin Alaghi, Weikang Qian, John P. Hayes:
The Promise and Challenge of Stochastic Computing. 1515-1531 - Arman Iranfar, Mehdi Kamal, Ali Afzali-Kusha, Massoud Pedram, David Atienza:
TheSPoT: Thermal Stress-Aware Power and Temperature Management for Multiprocessor Systems-on-Chip. 1532-1545 - Jinhua Cui, Youtao Zhang, Weiguo Wu, Jun Yang, Yinfeng Wang, Jianhang Huang:
DLV: Exploiting Device Level Latency Variations for Performance Improvement on Flash Memory Storage Systems. 1546-1559 - Yun Liang, Xiaolong Xie, Yu Wang, Guangyu Sun, Tao Wang:
Optimizing Cache Bypassing and Warp Scheduling for GPUs. 1560-1573 - Yibo Lin, Bei Yu, Meng Li, David Z. Pan:
Layout Synthesis for Topological Quantum Circuits With 1-D and 2-D Architectures. 1574-1587 - Tsun-Ming Tseng, Mengchu Li, Daniel Nestor Freitas, Travis McAuley, Bing Li, Tsung-Yi Ho, Ismail Emre Araci, Ulf Schlichtmann:
Columba 2.0: A Co-Layout Synthesis Tool for Continuous-Flow Microfluidic Biochips. 1588-1601 - Mohammad Ansari, Arash Fayyazi, Ali BanaGozar, Mohammad Ali Maleki, Mehdi Kamal, Ali Afzali-Kusha, Massoud Pedram:
PHAX: Physical Characteristics Aware Ex-Situ Training Framework for Inverter-Based Memristive Neuromorphic Circuits. 1602-1613 - Inki Hong, Dae Hyun Kim:
Analysis of Performance Benefits of Multitier Gate-Level Monolithic 3-D Integrated Circuits. 1614-1626 - Domenik Helms, Reef Eilers, Malte Metzdorf, Wolfgang Nebel:
Leakage Models for High-Level Power Estimation. 1627-1639 - M. Amimul Ehsan, Hongyu An, Zhen Zhou, Yang Yi:
A Novel Approach for Using TSVs As Membrane Capacitance in Neuromorphic 3-D IC. 1640-1653 - Jin-Tai Yan:
On-Chip Optical Channel Routing for Signal Loss Minimization. 1654-1666 - Ali Pahlevan, Xiaoyu Qu, Marina Zapater, David Atienza:
Integrating Heuristic and Machine-Learning Methods for Efficient Virtual Machine Allocation in Data Centers. 1667-1680 - Muhammad Adil Ansari, Jihun Jung, Dooyoung Kim, Sungju Park:
Time-Multiplexed 1687-Network for Test Cost Reduction. 1681-1691 - Pramod Subramanyan, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, Sharad Malik:
Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification. 1692-1705 - Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang:
A Runtime Optimization Approach for FPGA Routing. 1706-1710 - Wenjian Yu, Zhezhao Xu, Bo Li, Cheng Zhuo:
Floating Random Walk-Based Capacitance Simulation Considering General Floating Metals. 1711-1715
Volume 37, Number 9, September 2018
- Baolei Mao, Wei Hu, Alric Althoff, Janarbek Matai, Yu Tai, Dejun Mu, Timothy Sherwood, Ryan Kastner:
Quantitative Analysis of Timing Channel Security in Cryptographic Hardware Design. 1719-1732 - Tongquan Wei, Junlong Zhou, Kun Cao, Peijin Cong, Mingsong Chen, Gongxuan Zhang, Xiaobo Sharon Hu, Jianming Yan:
Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoCs. 1733-1746 - Mungyu Son, Junwhan Ahn, Sungjoo Yoo:
Nonvolatile Write Buffer-Based Journaling Bypass for Storage Write Reduction in Mobile Devices. 1747-1759 - Ishan G. Thakkar, Sudeep Pasricha:
DyPhase: A Dynamic Phase Change Memory Architecture With Symmetric Write Latency and Restorable Endurance. 1760-1773 - Zoha Pajouhi, Kaushik Roy:
Image Edge Detection Based on Swarm Intelligence Using Memristive Networks. 1774-1787 - Shaahin Angizi, Zhezhi He, Nader Bagherzadeh, Deliang Fan:
Design and Evaluation of a Spintronic In-Memory Processing Platform for Nonvolatile Data Encryption. 1788-1801 - Junyi Liu, John Wickerson, Samuel Bayliss, George A. Constantinides:
Polyhedral-Based Dynamic Loop Pipelining for High-Level Synthesis. 1802-1815 - Ahmed S. Hussein, Anwar Jarndal:
Reliable Hybrid Small-Signal Modeling of GaN HEMTs Based on Particle-Swarm-Optimization. 1816-1824 - Jinwook Jung, Gi-Joon Nam, Lakshmi N. Reddy, Iris Hui-Ru Jiang, Youngsoo Shin:
OWARU: Free Space-Aware Timing-Driven Incremental Placement With Critical Path Smoothing. 1825-1838 - Eric Cheng, Shahrzad Mirkhani, Lukasz G. Szafaryn, Chen-Yong Cher, Hyungmin Cho, Kevin Skadron, Mircea R. Stan, Klas Lilja, Jacob A. Abraham, Pradip Bose, Subhasish Mitra:
Tolerating Soft Errors in Processor Cores Using CLEAR (Cross-Layer Exploration for Architecting Resilience). 1839-1852 - Ankit More, Vasil Pano, Baris Taskin:
Vertical Arbitration-Free 3-D NoCs. 1853-1866 - Xiaoxiao Wang, Dongrong Zhang, Miao Tony He, Donglin Su, Mark Tehranipoor:
Secure Scan and Test Using Obfuscation Throughout Supply Chain. 1867-1880 - Irith Pomeranz:
Autonomous Multicycle Tests With Low Storage and Test Application Time Overheads. 1881-1892 - Zissis Poulos, Andreas G. Veneris:
Failure Triage in RTL Regression Verification. 1893-1906 - Cunxi Yu, Maciej J. Ciesielski, Alan Mishchenko:
Fast Algebraic Rewriting Based on And-Inverter Graphs. 1907-1911 - Muhammad Adil Ansari, Jihun Jung, Dooyoung Kim, Sungju Park:
Erratum to "Time-Multiplexed-Network for Test Cost Reduction". 1912
Volume 37, Number 10, October 2018
- Fanshu Jiao, Hao Li, Alex Doboli:
Modeling and Extraction of Causal Information in Analog Circuits. 1915-1928 - Mengshuo Wang, Wenlong Lv, Fan Yang, Changhao Yan, Wei Cai, Dian Zhou, Xuan Zeng:
Efficient Yield Optimization for Analog and SRAM Circuits via Gaussian Process Regression and Adaptive Yield Estimation. 1929-1942 - Hao Li, Xiaowei Liu, Fanshu Jiao, Alex Doboli, Simona Doboli:
InnovA: A Cognitive Architecture for Computational Innovation Through Robust Divergence and Its Application for Analog Circuit Design. 1943-1956 - Jinhua Cui, Youtao Zhang, Liang Shi, Chun Jason Xue, Weiguo Wu, Jun Yang:
ApproxFTL: On the Performance and Lifetime Improvement of 3-D NAND Flash-Based SSDs. 1957-1970 - Ying Wang, Huawei Li, Xiaowei Li:
A Case of On-Chip Memory Subsystem Design for Low-Power CNN Accelerators. 1971-1984 - Zihao Liu, Mengjie Mao, Tao Liu, Xue Wang, Wujie Wen, Yiran Chen, Hai Li, Danghui Wang, Yukui Pei, Ning Ge:
TriZone: A Design of MLC STT-RAM Cache for Combined Performance, Energy, and Reliability Optimizations. 1985-1998 - Gholamreza Shomalnasab, Lihong Zhang:
Density-Uniformity-Aware Analog Layout Retargeting. 1999-2012 - Yuhan Zhou, Robert D. Nevels, Weiping Shi:
Capacitance Extraction With Provably Good Absorbing Boundary Conditions. 2013-2021 - Gengjie Chen, Chak-Wa Pui, Wing-Kai Chow, Ka-Chun Lam, Jian Kuang, Evangeline F. Y. Young, Bei Yu:
RippleFPGA: Routability-Driven Simultaneous Packing and Placement for Modern FPGAs. 2022-2035 - Jian Kuang, Evangeline F. Y. Young, Bei Yu:
CRMA: Incorporating Cut Redistribution With Mask Assignment to Enable the Fabrication of 1-D Gridded Design. 2036-2049 - Maxime Pelcat, Alexandre Mercat, Karol Desnos, Luca Maggiani, Yanzhou Liu, Julien Heulot, Jean-François Nezan, Wassim Hamidouche, Daniel Ménard, Shuvra S. Bhattacharyya:
Reproducible Evaluation of System Efficiency With a Model of Architecture: From Theory to Practice. 2050-2063 - Zhuo Chen, Dimitrios Stamoulis, Diana Marculescu:
Profit: Priority and Power/Performance Optimization for Many-Core Systems. 2064-2075 - Haoran Li, Jiang Xu, Zhe Wang, Rafael K. V. Maeda, Peng Yang, Zhongyuan Tian:
Workload-Aware Adaptive Power Delivery System Management for Many-Core Processors. 2076-2086 - Shaofu Yang, Zhi-Yuan Wen, Shi-Yu Huang, Kun-Han Tsai, Wu-Tung Cheng:
Circuit and Methodology for Testing Small Delay Faults in the Clock Network. 2087-2097 - Arunkumar Vijayan, Saman Kiamehr, Fabian Oboril, Krishnendu Chakrabarty, Mehdi Baradaran Tahoori:
Workload-Aware Static Aging Monitoring and Mitigation of Timing-Critical Flip-Flops. 2098-2110 - Shi Jin, Zhaobo Zhang, Krishnendu Chakrabarty, Xinli Gu:
Toward Predictive Fault Tolerance in a Core-Router System: Anomaly Detection Using Correlation-Based Time-Series Analysis. 2111-2124 - Haralampos-G. D. Stratigopoulos, Christian Streitwieser:
Adaptive Test With Test Escape Estimation for Mixed-Signal ICs. 2125-2138 - Chien-Hsueh Lin, Chih-Ying Tsai, Kao-Chi Lee, Sung-Chu Yu, Wen-Rong Liau, Alex Chun-Liang Hou, Ying-Yen Chen, Chun-Yi Kuo, Jih-Nung Lee, Mango C.-T. Chao:
A Model-Based-Random-Forest Framework for Predicting Vt Mean and Variance Based on Parallel Id Measurement. 2139-2151 - Jan Burchard, Dominik Erb, Sudhakar M. Reddy, Adit D. Singh, Bernd Becker:
On the Generation of Waveform-Accurate Hazard and Charge-Sharing Aware Tests for Transistor Stuck-Off Faults in CMOS Logic Circuits. 2152-2165 - Yun Cheng, Huawei Li, Ying Wang, Haihua Shen, Bo Liu, Xiaowei Li:
On Trace Buffer Reuse-Based Trigger Generation in Post-Silicon Debug. 2166-2179 - Paolo Maffezzoni, Zheng Zhang, Salvatore Levantino, Luca Daniel:
Variation-Aware Modeling of Integrated Capacitors Based on Floating Random Walk Extraction. 2180-2184
Volume 37, Number 11, November 2018
- Soonhoi Ha, Petru Eles:
Editorial. 2187 - Yecheng Zhao, Vinit Gala, Haibo Zeng:
A Unified Framework for Period and Priority Optimization in Distributed Hard Real-Time Systems. 2188-2199 - Jinghao Sun, Nan Guan, Xu Jiang, Shuangshuang Chang, Zhishan Guo, Qingxu Deng, Wang Yi:
A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF. 2200-2211 - Foivos Tsimpourlas, Lazaros Papadopoulos, Anastasios Bartsokas, Dimitrios Soudris:
A Design Space Exploration Framework for Convolutional Neural Networks Implemented on Edge Devices. 2212-2221 - Tao Qian, Frank Mueller:
A Failure Recovery Protocol for Software-Defined Real-Time Networks. 2222-2232 - Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic:
An Algebraic Framework for Runtime Verification. 2233-2243 - Jorge Martinez, Ignacio Sanudo Olmedo, Marko Bertogna:
Analytical Characterization of End-to-End Communication Delays With Logical Execution Time. 2244-2254 - Wei Zhang, Nan Guan, Lei Ju, Weichen Liu:
Analyzing Data Cache Related Preemption Delay With Multiple Preemptions. 2255-2265 - Sanchari Sen, Anand Raghunathan:
Approximate Computing for Long Short Term Memory (LSTM) Neural Networks. 2266-2276 - Vincent T. Lee, Armin Alaghi, Rajesh Pamula, Visvesh S. Sathe, Luis Ceze, Mark Oskin:
Architecture Considerations for Stochastic Computing Accelerators. 2277-2289 - N. Asokan, Thomas Nyman, Norrathep Rattanavipanon, Ahmad-Reza Sadeghi, Gene Tsudik:
ASSURED: Architecture for Secure Software Update of Realistic Embedded Devices. 2290-2300 - Inpyo Bae, Barend Harris, Hyemi Min, Bernhard Egger:
Auto-Tuning CNNs for Coarse-Grained Reconfigurable Array-Based Accelerators. 2301-2310 - Jiangchao Liu, Liqian Chen, Xavier Rival:
Automatic Verification of Embedded System Code Manipulating Dynamic Structures Stored in Contiguous Regions. 2311-2322 - Mohamed Hassan, Rodolfo Pellizzoni:
Bounding DRAM Interference in COTS Heterogeneous MPSoCs for Mixed Criticality Systems. 2323-2336 - Marvin Damschen, Frank Mueller, Jörg Henkel:
Co-Scheduling on Fused CPU-GPU Architectures With Shared Last Level Caches. 2337-2347 - Zhuoran Zhao, Kamyar Mirzazad Barijough, Andreas Gerstlauer:
DeepThings: Distributed Adaptive Deep Learning Inference on Resource-Constrained IoT Edge Clusters. 2348-2359 - Duckhwan Kim, Taesik Na, Sudhakar Yalamanchili, Saibal Mukhopadhyay:
DeepTrain: A Programmable Embedded Platform for Training Deep Neural Networks. 2360-2370 - Ekdeep Singh Lubana, Robert P. Dick:
Digital Foveation: An Energy-Aware Machine Vision Framework. 2371-2380 - Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault:
Discrete Choice in the Presence of Numerical Uncertainties. 2381-2392 - Gang Chen, Nan Guan, Biao Hu, Wang Yi:
EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions. 2393-2403 - Zhuoqun Cheng, Richard West, Craig Einstein:
End-to-End Analysis and Design of a Drone Flight Controller. 2404-2415 - Anway Mukherjee, Thidapat Chantem:
Energy Management of Applications With Varying Resource Usage on Smartphones. 2416-2427 - Lei Mo, Angeliki Kritikakou, Olivier Sentieys:
Energy-Quality-Time Optimized Task Mapping on DVFS-Enabled Multicores. 2428-2439 - Chen Pan, Mimi Xie, Jingtong Hu:
ENZYME: An Energy-Efficient Transient Computing Paradigm for Ultralow Self-Powered IoT Edge Devices. 2440-2450 - Jordi Cardona, Carles Hernández, Jaume Abella, Francisco J. Cazorla:
EOmesh: Combined Flow Balancing and Deterministic Routing for Reduced WCET Estimates in Embedded Real-Time Systems. 2451-2461 - Georgios Mappouras, Alireza Vahid, A. Robert Calderbank, Daniel J. Sorin:
Extending Flash Lifetime in Embedded Processors by Expanding Analog Choice. 2462-2473 - Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta:
Formal Feature Interpretation of Hybrid Systems. 2474-2484 - Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop:
Formal Modeling and Verification of Controllers for a Family of DRAM Caches. 2485-2496 - Philipp Miedl, Xiaoxi He, Matthias Meyer, Davide Basilio Bartolini, Lothar Thiele:
Frequency Scaling As a Security Threat on Multicore Systems. 2497-2508 - Seaghan Sefton, Taiman Siddiqui, Nathaniel St. Amour, Gordon Stewart, Avinash Karanth Kodi:
GARUDA: Designing Energy-Efficient Hardware Monitors From High-Level Policies for Secure Information Flow. 2509-2518 - Jiale Yan, Shouyi Yin, Fengbin Tu, Leibo Liu, Shaojun Wei:
GNA: Reconfigurable and Efficient Architecture for Generative Network Acceleration. 2519-2529 - Siting Liu, Honglan Jiang, Leibo Liu, Jie Han:
Gradient Descent Using Stochastic Circuits for Efficient Training of Learning Machines. 2530-2541 - Weiwen Jiang, Edwin Hsing-Mean Sha, Qingfeng Zhuge, Lei Yang, Xianzhang Chen, Jingtong Hu:
Heterogeneous FPGA-Based Cost-Optimal Design for Timing-Constrained CNNs. 2542-2554 - Tingyuan Liang, Jieru Zhao, Liang Feng, Sharad Sinha, Wei Zhang:
Hi-DMM: High-Performance Dynamic Memory Management in High-Level Synthesis. 2555-2566 - Chun-Feng Wu, Ming-Chang Yang, Yuan-Hao Chang, Tei-Wei Kuo:
Hot-Spot Suppression for Resource-Constrained Image Recognition Devices With Nonvolatile Memory. 2567-2577 - Alain Girault, Christophe Prévot, Sophie Quinton, Rafik Henia, Nicolas Sordon:
Improving and Estimating the Precision of Bounds on the Worst-Case Latency of Task Chains. 2578-2589 - Miao-Chiang Yen, Shih-Yi Chang, Li-Pin Chang:
Lightweight, Integrated Data Deduplication for Write Stress Reduction of Mobile Flash Storage. 2590-2600 - Lei Gong, Chao Wang, Xi Li, Huaping Chen, Xuehai Zhou:
MALOC: A Fully Pipelined FPGA Accelerator for Convolutional Neural Networks With All Layers Mapped on Chip. 2601-2612 - Hyunsung Shin, Dongyoung Kim, Eunhyeok Park, Sungho Park, Yongsik Park, Sungjoo Yoo:
McDRAM: Low Latency and Energy-Efficient Matrix Computations in DRAM. 2613-2622 - Hassaan Saadat, Haseeb Bokhari, Sri Parameswaran:
Minimally Biased Multipliers for Approximate Integer and Floating-Point Multiplication. 2623-2635 - Jiali Teddy Zhai, Sobhan Niknam, Todor P. Stefanov:
Modeling, Analysis, and Hard Real-Time Scheduling of Adaptive Streaming Applications. 2636-2648 - Masaki Waga, Ichiro Hasuo:
Moore-Machine Filtering for Timed and Untimed Pattern Matching. 2649-2660 - Lei Ju, Xiaojin Sui, Shiqing Li, Mengying Zhao, Chun Jason Xue, Jingtong Hu, Zhiping Jia:
NVM-Based FPGA Block RAM With Adaptive SLC-MLC Conversion. 2661-2672 - Jyothi Krishna V. S, Rupesh Nasre:
Optimizing Graph Algorithms in Asymmetric Multicore Processors. 2673-2684 - Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni:
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. 2685-2696 - Joost van Pinxten, Marc Geilen, Martijn Hendriks, Twan Basten:
Parametric Critical Path Analysis for Event Networks With Minimal and Maximal Time Lags. 2697-2708 - Fanruo Meng, Yuan Xue, Chengmo Yang:
Power- and Endurance-Aware Neural Network Training in NVM-Based Platforms. 2709-2719 - Mohammad Shihabul Haque, Arvind Easwaran:
Predictability and Performance Aware Replacement Policy PVISAM for Unified Shared Caches in Real-time Multicores. 2720-2731 - Maral Amir, Tony Givargis:
Priority Neuron: A Resource-Aware Neural Network for Cyber-Physical Systems. 2732-2742 - Chenchen Fu, Peng Wu, Minming Li, Chun Jason Xue, Yingchao Zhao, Song Han:
Real-Time Data Retrieval With Multiple Availability Intervals in CPS Under Freshness Constraints. 2743-2754 - Sobhan Niknam, Peng Wang, Todor P. Stefanov:
Resource Optimization for Real-Time Streaming Applications Using Task Replication. 2755-2767 - Yifan Zhang, Zhengfeng Yang, Wang Lin, Huibiao Zhu, Xin Chen, Xuandong Li:
Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming. 2768-2778 - Jonathan Bailey, John Kloosterman, Scott A. Mahlke:
Scratch That (But Cache This): A Hybrid Register Cache/Scratchpad for GPUs. 2779-2789 - Wei-Chen Wang, Chien-Chung Ho, Yuan-Hao Chang, Tei-Wei Kuo, Ping-Hsien Lin:
Scrubbing-Aware Secure Deletion for 3-D NAND Flash. 2790-2801 - Tanfer Alan, Jörg Henkel:
SlackHammer: Logic Synthesis for Graceful Errors Under Frequency Scaling. 2802-2811 - Sudipta Chattopadhyay, Abhik Roychoudhury:
Symbolic Verification of Cache Side-Channel Freedom. 2812-2823 - Mischa Möstl, Johannes Schlatow, Rolf Ernst:
Synthesis of Monitors for Networked Systems With Heterogeneous Safety Requirements. 2824-2834 - Dustin Richmond, Alric Althoff, Ryan Kastner:
Synthesizable Higher-Order Functions for C++. 2835-2844 - Lingtai Wang, Naijun Zhan, Jie An:
The Opacity of Real-Time Automata. 2845-2856 - Youngmoon Lee, Hoon Sung Chwa, Kang G. Shin, Shige Wang:
Thermal-Aware Resource Management for Embedded Real-Time Systems. 2857-2868 - Jin Hyun Kim, Kyong Hoon Kim, Arvind Easwaran, Insup Lee:
Towards Overhead-Free Interface Theory for Compositional Hierarchical Real-Time Systems. 2869-2880 - Nitthilan Kannappan Jayakodi, Anwesha Chatterjee, Wonje Choi, Janardhan Rao Doppa, Partha Pratim Pande:
Trading-Off Accuracy and Energy of Deep Inference on Embedded Systems: A Co-Design Approach. 2881-2893 - Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo:
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. 2894-2905 - Glen Chou, Yunus Emre Sahin, Liren Yang, Kwesi J. Rutledge, Petter Nilsson, Necmiye Ozay:
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving. 2906-2917 - Shunzhuo Wang, Fei Wu, Zhonghai Lu, Jiaona Zhou, Changsheng Xie:
WARD: Wear Aware RAID Design Within SSDs. 2918-2928 - Matthias Wess, Sai Manoj Pudukotai Dinakarrao, Axel Jantsch:
Weighted Quantization-Regularization in DNNs for Weight Memory Minimization Toward HW Implementation. 2929-2939 - Francesco Conti, Pasquale Davide Schiavone, Luca Benini:
XNOR Neural Engine: A Hardware Accelerator IP for 21.6-fJ/op Binary Neural Network Inference. 2940-2951 - Hyesun Hong, Hanwoong Jung, KangKyu Park, Soonhoi Ha:
SeMo: Service-Oriented and Model-Based Software Framework for Cooperating Robots. 2952-2963
Volume 37, Number 12, December 2018
- Farshad Firouzi, Bahar J. Farahani, Mohamed Ibrahim, Krishnendu Chakrabarty:
Keynote Paper: From EDA to IoT eHealth: Promises, Challenges, and Solutions. 2965-2978 - Mohamed Baker Alawieh, Fa Wang, Xin Li:
Efficient Hierarchical Performance Modeling for Analog and Mixed-Signal Circuits via Bayesian Co-Learning. 2986-2998 - Paolo Maffezzoni, Luca Daniel:
Exploiting Oscillator Arrays As Randomness Sources for Cryptographic Applications. 2999-3007 - Ming Tang, Yanbin Li, Dongyan Zhao, Yuguang Li, Fei Yan, Huanguo Zhang:
Leak Point Locating in Hardware Implementations of Higher-Order Masking Schemes. 3008-3019 - Michael Chen, Elham K. Moghaddam, Nilanjan Mukherjee, Janusz Rajski, Jerzy Tyszer, Justyna Zawada:
Hardware Protection via Logic Locking Test Points. 3020-3030 - Frank Sill Torres, Robert Wille, Philipp Niemann, Rolf Drechsler:
An Energy-Aware Model for the Logic Synthesis of Quantum-Dot Cellular Automata. 3031-3041 - Kailin Yang, Hailong Yao, Tsung-Yi Ho, Kunze Xin, Yici Cai:
AARF: Any-Angle Routing for Flow-Based Microfluidic Biochips. 3042-3055 - Aidyn Zhakatayev, Kyounghoon Kim, Kiyoung Choi, Jongeun Lee:
An Efficient and Accurate Stochastic Number Generator Using Even-Distribution Coding. 3056-3066 - Pai-Yu Chen, Xiaochen Peng, Shimeng Yu:
NeuroSim: A Circuit-Level Macro Model for Benchmarking Neuro-Inspired Architectures in Online Learning. 3067-3080 - Leibo Liu, Bo Wang, Chenchen Deng, Min Zhu, Shouyi Yin, Shaojun Wei:
Anole: A Highly Efficient Dynamically Reconfigurable Crypto-Processor for Symmetric-Key Algorithms. 3081-3094 - Ibrahim Ahmed, Shuze Zhao, Olivier Trescases, Vaughn Betz:
Automatic Application-Specific Calibration to Enable Dynamic Voltage Scaling in FPGAs. 3095-3108 - Xuesong Peng, Weikang Qian:
Stochastic Circuit Synthesis by Cube Assignment. 3109-3122 - Scott Ladenheim, Yi-Chung Chen, Milan Mihajlovic, Vasilis F. Pavlidis:
The MTA: An Advanced and Versatile Thermal Simulator for Integrated Systems. 3123-3136 - Zeyu Sun, Ertugrul Demircan, Mehul D. Shroff, Chase Cook, Sheldon X.-D. Tan:
Fast Electromigration Immortality Analysis for Multisegment Copper Interconnect Wires. 3137-3150 - Ioannis Messaris, Alexander Serb, Spyros Stathopoulos, Ali Khiat, Spyridon Nikolaidis, Themistoklis Prodromakis:
A Data-Driven Verilog-A ReRAM Model. 3151-3162 - Siad Daboul, Nicolai Hähnle, Stephan Held, Ulrike Schorr:
Provably Fast and Near-Optimum Gate Sizing. 3163-3176 - Panagiotis Georgiou, Fotis Vartziotis, Xrysovalantis Kavousianos, Krishnendu Chakrabarty:
Testing 3D-SoCs Using 2-D Time-Division Multiplexing. 3177-3185 - Jing Ye, Qingli Guo, Yu Hu, Xiaowei Li:
Deterministic and Probabilistic Diagnostic Challenge Generation for Arbiter Physical Unclonable Function. 3186-3197 - Ai Quoc Dao, Mark Po-Hung Lin, Alan Mishchenko:
SAT-Based Fault Equivalence Checking in Functional Safety Verification. 3198-3205 - Le Tu, Yuelai Yuan, Kan Huang, Xiaoqiang Zhang, Dihu Chen, Zixin Wang:
Improved Synthesis of Compressor Trees in High-Level Synthesis for Modern FPGAs. 3206-3210 - Wei-Che Wang, Charles Zhao, Puneet Gupta:
Assessing Layout Density Benefits of Vertical Channel Devices. 3211-3215 - Liang-Ying Lu, Lih-Yih Chiou:
Temperature Gradient Exploration Method for Determining the Appropriate Number of Cells in Mesh-Based Thermal Analysis. 3216-3220 - Ananya Bose, Abhijit Chandra:
Conditional Differential Coefficients Method for the Realization of Powers-of-Two FIR Filter. 3221-3225
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
