Sciweavers

164
Voted
ASPDAC
2016
ACM
53views Hardware» more  ASPDAC 2016»
10 years 1 months 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-...
160
Voted
ASPDAC
2016
ACM
60views Hardware» more  ASPDAC 2016»
10 years 1 months 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,...
140
Voted
ASPDAC
2016
ACM
45views Hardware» more  ASPDAC 2016»
10 years 1 months 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
183
Voted
ASPDAC
2016
ACM
50views Hardware» more  ASPDAC 2016»
10 years 1 months 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...
248
Voted
ASPDAC
2016
ACM
59views Hardware» more  ASPDAC 2016»
10 years 1 months 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...