43. DAC 2006:
San Francisco, CA, USA Ellen Sentovich (Ed.):
Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006.
ACM 2006, ISBN 1-59593-381-6
Session 1:
Panel
export record as
dblp key:
Session 2:
special session:
why doesn't my system work?
export record as
dblp key:
export record as
dblp key:
conf/dac/AbramoviciBDLMM06
export record as
dblp key:
Session 3:
hierarchical synthesis for mixed-signal designs
export record as
dblp key:
export record as
dblp key:
conf/dac/EeckelaertSGSS06
export record as
dblp key:
Session 4:
processor and communication centric SOC design
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Xinping Zhu ,
Wei Qin :
Prototyping a fault-tolerant multiprocessor SoC with run-time fault recovery.
53-56
Session 5:
practical applications of DFM
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
DAC technologist panel
export record as
dblp key:
Session 7:
special session:
bridging the system to RTL verification gap
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Stuart Swan :
SystemC transaction level models and RTL verification.
90-92
export record as
dblp key:
Session 8:
leakage, power analysis and optimization
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 9:
MPSOC design methodologies and applications
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 10:
statistical timing analysis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel
export record as
dblp key:
Session 12:
Special Session:
reliability challenges for 65NM and beyond
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 13:
power grid analysis and design
export record as
dblp key:
export record as
dblp key:
Hao Yu ,
Yiyu Shi ,
Lei He :
Fast analysis of structured power grid by triangularization based structure preserving model order reduction.
205-210
export record as
dblp key:
export record as
dblp key:
Session 14:
advances in formal solvers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 15:
gate modeling and model order reduction
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
N. Wong ,
C. K. Chu :
A fast passivity test for descriptor systems via structure-preserving transformations of Skew-Hamiltonian/Hamiltonian matrix pencils.
261-266
export record as
dblp key:
Peng Li ,
Weiping Shi :
Model order reduction of linear networks with massive ports via frequency-dependent port packing.
267-272
export record as
dblp key:
Session 16:
special session:
MPSOC design tools
export record as
dblp key:
Grant Martin :
Overview of the MPSoC design challenge.
274-279
export record as
dblp key:
export record as
dblp key:
Session 17:
special session - highlights of ISSCC:
multimedia
export record as
dblp key:
export record as
dblp key:
conf/dac/PanCHCLCLLHWLLTYMCCPHCH06 Jyh-Shin Pan ,
Hao-Cheng Chen ,
Bing-Yu Hsieh ,
Hong-Ching Chen ,
Roger Lee ,
Ching-Ho Chu ,
Yuan-Chin Liu ,
Chuan Liu ,
Lily Huang ,
Chang-Long Wu ,
Meng-Hsueh Lin ,
Chun-Yiu Lin ,
Shang-Nien Tsai ,
Jenn-Ning Yang ,
Chang-Po Ma ,
Yung Cheng ,
Shu-Hung Chou ,
Hsiu-Chen Peng ,
Peng-Chuan Huang ,
Benjamin Chiu ,
Alex Ho :
A CMOS SoC for 56/18/16 CD/DVD-dual/RAM applications.
290-291
export record as
dblp key:
conf/dac/HattoriIIYKSYNYKTHAHTSMYHMYHTYIKMYITAAO06 Toshihiro Hattori ,
Takahiro Irita ,
Masayuki Ito ,
Eiji Yamamoto ,
Hisashi Kato ,
Go Sado ,
Tetsuhiro Yamada ,
Kunihiko Nishiyama ,
Hiroshi Yagi ,
Takao Koike ,
Yoshihiko Tsuchihashi ,
Motoki Higashida ,
Hiroyuki Asano ,
Izumi Hayashibara ,
Ken Tatezawa ,
Yasuhisa Shimazaki ,
Naozumi Morino ,
Yoshihiko Yasu ,
Tadashi Hoshi ,
Yujiro Miyairi ,
Kazumasa Yanagisawa ,
Kenji Hirose ,
Saneaki Tamaki ,
Shinichi Yoshioka ,
Toshifumi Ishii ,
Yusuke Kanno ,
Hiroyuki Mizuno ,
Tetsuya Yamada ,
Naohiko Irie ,
Reiko Tsuchihashi ,
Nobuto Arai ,
Tomohiro Akiyama ,
Koji Ohno :
Hierarchical power distribution and power management scheme for a single chip mobile processor.
292-295
Session 18:
buffer insertion
export record as
dblp key:
export record as
dblp key:
Yuantao Peng ,
Xun Liu :
Low-power repeater insertion with both delay and slew rate constraints.
302-307
export record as
dblp key:
Session 19:
testing and validation for timing defects
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 20:
advanced topics in processor and system verification
export record as
dblp key:
Alon Gluska :
Practical methods in coverage-oriented verification of the merom microprocessor.
332-337
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 21:
software for real-time applications
export record as
dblp key:
Xiangrong Zhou ,
Peter Petrov :
Rapid and low-cost context-switch through embedded processor customization for real-time and control applications.
352-357
export record as
dblp key:
export record as
dblp key:
Session 22:
panel
export record as
dblp key:
Session 23:
invited session
export record as
dblp key:
Session 24:
routing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 25:
the test bin
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 26:
panel
export record as
dblp key:
Session 27:
low power and ultra-low voltage design
export record as
dblp key:
Hari Ananthan ,
Kaushik Roy :
A fully physical model for leakage distribution under process variations in Nanoscale double-gate CMOS.
413-418
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 28:
high-level exploration and optimization
export record as
dblp key:
Jason Cong ,
Zhiru Zhang :
An efficient and versatile scheduling algorithm based on SDC formulation.
433-438
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 29:
panel design challenges for next-generation multimedia, game and entertainment platforms
export record as
dblp key:
Session 30:
CAD for FPGAS
export record as
dblp key:
conf/dac/GopalakrishnanLP06
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 31:
secure systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 32:
logic synthesis I
export record as
dblp key:
export record as
dblp key:
Kuo-Hua Wang :
Exploiting K-Distance Signature for Boolean Matching and G-Symmetry Detection.
516-521
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 33:
low-power, thermal-aware architectures
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/dac/BurginCHMMSKFF06
Session 34:
low power system level design
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 35:
power-constrained design for multimedia
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 36:
electrical and thermal issues in FPGAS
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/dac/SrinivasanMXVS06
Session 37:
special session:
beyond low-power design:
environmental energy harvesting
export record as
dblp key:
export record as
dblp key:
conf/dac/AmirtharajahWCSZ06
export record as
dblp key:
export record as
dblp key:
Session 38:
communication-driven synthesis
export record as
dblp key:
export record as
dblp key:
Sujan Pandey ,
Manfred Glesner :
Statistical on-chip communication bus synthesis and voltage scaling under timing yield constraint.
663-668
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 39:
parallelism and memory optimizations
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 40:
panel
export record as
dblp key:
Session 41:
nanotubes and nanowires
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 42:
simulation assisted formal verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 43:
yield analysis and improvement
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jia Wang ,
Hai Zhou :
Optimal jumper insertion for antenna avoidance under ratio upper-bound.
761-766
Session 44:
approaches to soft error mitigation
export record as
dblp key:
conf/dac/Miskov-ZivanovM06
export record as
dblp key:
export record as
dblp key:
Session 45:
design/technology interaction
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 46:
panel
export record as
dblp key:
Session 47:
special session:
more Moore's law and more than Moore's law
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 48:
formal specification and verification testbench generation
export record as
dblp key:
export record as
dblp key:
Session 49:
analysis and optimization issues in NoC design
export record as
dblp key:
Lap-Fai Leung ,
Chi-Ying Tsui :
Optimal link scheduling on improving best-effort and guaranteed services performance in network-on-chip systems.
833-838
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 50:
special session:
key technologies for beyond the die
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 51:
analog design and design assistance
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/dac/HammoudaSDTNBAS06
export record as
dblp key:
Session 52:
high-performance simulation of transaction level and dataflow models
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 53:
nano- and bio-chip design
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 54:
logic and sequential synthesis
export record as
dblp key:
export record as
dblp key:
Chuan Lin ,
Hai Zhou :
An efficient retiming algorithm under setup and hold constraints.
945-950
export record as
dblp key:
Kui Wang ,
Lian Duan ,
Xu Cheng :
ExtensiveSlackBalance: an approach to make front-end tools aware of clock skew scheduling.
951-954
export record as
dblp key:
export record as
dblp key:
Session 55:
low power circuit design
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 56:
beyond-the-die circuit and system integration
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 57:
new ideas in analog/RF modeling and simulation
export record as
dblp key:
export record as
dblp key:
Ying Wei ,
Alex Doboli :
Systematic development of nonlinear analog circuit macromodels through successive operator composition and nonlinear model decoupling.
1023-1028
export record as
dblp key:
export record as
dblp key:
Guo Yu ,
Peng Li :
Lookup table based simulation and statistical modeling of Sigma-Delta ADCs.
1035-1040
Session 58:
advanced methods for interconnect extraction, clocks and reliability
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 59:
panel
export record as
dblp key:
Session 60:
bounded model checking and equivalence verification
export record as
dblp key:
Xiushan Feng ,
Alan J. Hu :
Early cutpoint insertion for high-level software vs. RTL formal combinational equivalence verification.
1063-1068
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/dac/PeranandamNRWKR06
Session 61:
test response compaction and ATPG
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Session 62:
placement
export record as
dblp key:
export record as
dblp key:
export record as
dblp key: