2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)
Latest Publications

TOTAL DOCUMENTS

128

(FIVE YEARS 0)

H-INDEX

21

(FIVE YEARS 0)

Published By IEEE

9781479910717

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Uncertainty quantification for integrated circuits: Stochastic spectral methods

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691205 ◽

2013 ◽

Author(s):

Zheng Zhang ◽

Ibrahim Abe M. Elfadel ◽

Luca Daniel

Keyword(s):

Integrated Circuits ◽

Uncertainty Quantification ◽

Spectral Methods

Download Full-text

Joint sizing and adaptive independent gate control for FinFET circuits operating in multiple voltage regimes using the logical effort method

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691155 ◽

2013 ◽

Author(s):

Xue Lin ◽

Yanzhi Wang ◽

Massoud Pedram

Keyword(s):

Gate Control ◽

Independent Gate

Download Full-text

Trace alignment algorithms for offline workload analysis of heterogeneous architectures

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691185 ◽

2013 ◽

Author(s):

Muhammet Mustafa Ozdal ◽

Aamer Jaleel ◽

Paolo Narvaez ◽

Steven Burns ◽

Ganapati Srinivasa

Keyword(s):

Workload Analysis ◽

Heterogeneous Architectures ◽

Alignment Algorithms

Download Full-text

Simulation of temporal stochastic phenomena in electronic and biological systems: A comparative review, examples and synergies

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691206 ◽

2013 ◽

Author(s):

Alper Demir ◽

Burak Erman

Keyword(s):

Biological Systems ◽

Comparative Review ◽

Stochastic Phenomena

Download Full-text

Sequential logic to transform probabilities

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691196 ◽

2013 ◽

Author(s):

Naman Saraf ◽

Kia Bazargan

Keyword(s):

Sequential Logic

Download Full-text

Hardware implementation of BLTL property checkers for acceleration of statistical model checking

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691187 ◽

2013 ◽

Author(s):

Kosuke Oshima ◽

Takeshi Matsumoto ◽

Masahiro Fujita

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hardware Implementation ◽

Statistical Model Checking

Download Full-text

[Copyright notice]

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691089 ◽

2013 ◽

Keyword(s):

Copyright Notice

Download Full-text

Slack matching mode-based asynchronous circuits for average-case performance

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691122 ◽

2013 ◽

Author(s):

Mehrdad Najibi ◽

Peter A. Beerel

Keyword(s):

Asynchronous Circuits ◽

Download Full-text

STEAM: A fast compact thermal model for two-phase cooling of integrated circuits

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691127 ◽

2013 ◽

Author(s):

Arvind Sridhar ◽

Yassir Madhour ◽

David Atienza ◽

Thomas Brunschwiler ◽

John Thome

Keyword(s):

Integrated Circuits ◽

Thermal Model ◽

Two Phase ◽

Two Phase Cooling

Download Full-text

The impact of shallow trench isolation effects on circuit performance

2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) ◽

10.1109/iccad.2013.6691134 ◽

2013 ◽

Author(s):

Sravan K. Marella ◽

Sachin S. Sapatnekar

Keyword(s):

Shallow Trench Isolation ◽

Circuit Performance ◽

Trench Isolation ◽

Isolation Effects ◽

Download Full-text