Sciweavers

ASPDAC
2016
ACM
53views Hardware» more  ASPDAC 2016»
8 years 28 days ago
MajorSat: A SAT solver to majority logic
Abstract—A majority function can be represented as sum-ofproduct (SOP) form or product-of-sum (POS) form. However, a Boolean expression including majority functions could be more...
Yu-Min Chou, Yung-Chih Chen, Chun-Yao Wang, Ching-...
ASPDAC
2016
ACM
60views Hardware» more  ASPDAC 2016»
8 years 28 days ago
A novel PUF based on cell error rate distribution of STT-RAM
Physical Unclonable Functions (PUFs) have been widely proposed as security primitives to provide device identi­ fication and authentication. Recently, PUFs based on Non -volatile ...
Xian Zhang, Guangyu Sun, Yaojun Zhang, Yiran Chen,...
ASPDAC
2016
ACM
45views Hardware» more  ASPDAC 2016»
8 years 28 days ago
A complete approach to unreachable state diagnosability via property directed reachability
— In modern hardware design, substantial manual effort is required to fix a design when verification discovers a state unreachable. This paper addresses this growing pain where...
Ryan Berryhill, Andreas G. Veneris
ASPDAC
2016
ACM
50views Hardware» more  ASPDAC 2016»
8 years 28 days ago
High-level synthesis of accelerators in embedded scalable platforms
cular, it raises the level of abstraction in the design process and guides designers in the application of high-level synthesis (HLS) tools. HLS enables a more efficient design of ...
Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Ca...
ASPDAC
2016
ACM
59views Hardware» more  ASPDAC 2016»
8 years 28 days ago
Delay uncertainty and signal criticality driven routing channel optimization for advanced DRAM products
— Signal delay uncertainty induced by crosstalk is a critical challenge to the physical design of long interconnect channels in DRAM products at the 2× and 1× technology nodes....
Samyoung Bang, Kwangsoo Han, Andrew B. Kahng, Mulo...
ASPDAC
2016
ACM
49views Hardware» more  ASPDAC 2016»
8 years 28 days ago
Modeling, analysis, and optimization of Electric Vehicle HVAC systems
Abstract— Major challenges of driving range and battery lifetime in Electric Vehicles (EV) have been addressed by designing more efficient power electronics, advanced embedded h...
Mohammad Abdullah Al Faruque, Korosh Vatanparvar
ASPDAC
2016
ACM
52views Hardware» more  ASPDAC 2016»
8 years 28 days ago
Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits
—Ensuring nearest neighbor compliance of quantum circuits by inserting SWAP gates has heavily been considered in the past. Here, quantum gates are considered which work on non-ad...
Robert Wille, Oliver Keszocze, Marcel Walter, Patr...
ASPDAC
2016
ACM
57views Hardware» more  ASPDAC 2016»
8 years 28 days ago
STORM: A nonlinear model order reduction method via symmetric tensor decomposition
—Nonlinear model order reduction has always been a challenging but important task in various science and engineering fields. In this paper, a novel symmetric tensor-based orderr...
Jian Deng, Haotian Liu, Kim Batselier, Yu-Kwong Kw...
ASPDAC
2016
ACM
69views Hardware» more  ASPDAC 2016»
8 years 28 days ago
Simultaneous template optimization and mask assignment for DSA with multiple patterning
—Block Copolymer Directed Self-Assembly (DSA) is a promising technique to print contacts/vias for the 10nm technology node and beyond. By using hybrid lithography that cooperates...
Jian Kuang 0001, Junjie Ye, Evangeline F. Y. Young