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

TOTAL DOCUMENTS

128

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781479910717

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

[Copyright notice]

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

10.1109/iccad.2013.6691089 ◽

2013 ◽

Keyword(s):

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 ◽

Cited By ~ 5

Author(s):

Mehrdad Najibi ◽

Peter A. Beerel

Keyword(s):

Asynchronous Circuits ◽

Average Case

Sequential logic to transform probabilities

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

10.1109/iccad.2013.6691196 ◽

2013 ◽

Cited By ~ 2

Author(s):

Naman Saraf ◽

Kia Bazargan

Keyword(s):

Sequential Logic

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 ◽

Cited By ~ 1

Author(s):

Kosuke Oshima ◽

Takeshi Matsumoto ◽

Masahiro Fujita

Keyword(s):

Model Checking ◽

Statistical Model ◽

Hardware Implementation ◽

Statistical Model Checking

Uncertainty quantification for integrated circuits: Stochastic spectral methods

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

10.1109/iccad.2013.6691205 ◽

2013 ◽

Cited By ~ 7

Author(s):

Zheng Zhang ◽

Ibrahim Abe M. Elfadel ◽

Luca Daniel

Keyword(s):

Integrated Circuits ◽

Uncertainty Quantification ◽

Spectral Methods

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 ◽

Cited By ~ 18

Author(s):

Xue Lin ◽

Yanzhi Wang ◽

Massoud Pedram

Keyword(s):

Gate Control ◽

Independent Gate

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 ◽

Cited By ~ 3

Author(s):

Muhammet Mustafa Ozdal ◽

Aamer Jaleel ◽

Paolo Narvaez ◽

Steven Burns ◽

Ganapati Srinivasa

Keyword(s):

Workload Analysis ◽

Heterogeneous Architectures ◽

Alignment Algorithms

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

BAG: A designer-oriented integrated framework for the development of AMS circuit generators

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

10.1109/iccad.2013.6691100 ◽

2013 ◽

Cited By ~ 15

Author(s):

J. Crossley ◽

A. Puggelli ◽

H.-P. Le ◽

B. Yang ◽

R. Nancollas ◽

...

Keyword(s):

Integrated Framework

POLAR: Placement based on novel rough legalization and refinement

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

10.1109/iccad.2013.6691143 ◽

2013 ◽

Cited By ~ 18

Author(s):

Tao Lin ◽

Chris Chu ◽

Joseph R. Shinnerl ◽

Ismail Bustany ◽

Ivailo Nedelchev

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

[Copyright notice]

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

Sequential logic to transform probabilities

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

Uncertainty quantification for integrated circuits: Stochastic spectral methods

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

Trace alignment algorithms for offline workload analysis of heterogeneous architectures

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

BAG: A designer-oriented integrated framework for the development of AMS circuit generators

POLAR: Placement based on novel rough legalization and refinement

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