Volume 29, Number 1, January 2010
export record as
dblp key:
journals/tcad/Sapatnekar10
export record as
dblp key:
journals/tcad/MeterelliyozKR10
export record as
dblp key:
journals/tcad/LefteriuA10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/SoveikoNA10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/CzyszMMRT10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
G. Chen :
Formalization of a Parameterized Parallel Adder Within the Coq Theorem Prover.
149-153
export record as
dblp key:
export record as
dblp key:
Volume 29, Number 2, February 2010
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:
Yifang Liu ,
Jiang Hu :
A New Algorithm for Simultaneous Gate Sizing and Threshold Voltage Assignment.
223-234
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Rupesh S. Shelar :
Routing With Constraints for Post-Grid Clock Distribution in Microprocessors.
245-249
export record as
dblp key:
journals/tcad/HuangKHSJI10
export record as
dblp key:
journals/tcad/GandikotaCBS10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/WangWWFCSGJ10
export record as
dblp key:
export record as
dblp key:
Volume 29, Number 3, March 2010
export record as
dblp key:
Hao Zheng :
Compositional Reachability Analysis for Efficient Modular Verification of Asynchronous Designs.
329-340
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jackey Z. Yan ,
Chris Chu :
DeFer: Deferred Decision Making Enabled Fixed-Outline Floorplanning Algorithm.
367-381
export record as
dblp key:
journals/tcad/CabodiGMNQ10
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:
journals/tcad/MukherjeePRT10
export record as
dblp key:
journals/tcad/PomeranzR10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Enric Musoll :
Hardware-Based Load Balancing for Massive Multicore Architectures Implementing Power Gating.
493-497
export record as
dblp key:
export record as
dblp key:
journals/tcad/PomeranzR10a
Volume 29, Number 4, April 2010
export record as
dblp key:
journals/tcad/JhaveriRLPSH10
export record as
dblp key:
journals/tcad/BrambillaGG10
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:
export record as
dblp key:
export record as
dblp key:
Katherine Shu-Min Li :
Multiple Scan Trees Synthesis for Test Time/Data and Routing Length Reduction Under Output Constraint.
618-626
export record as
dblp key:
journals/tcad/ThakkerSBP10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Taemin Kim ,
Xun Liu :
A Functional Unit and Register Binding Algorithm for Interconnect Reduction.
641-646
export record as
dblp key:
Volume 29, Number 5, May 2010
export record as
dblp key:
export record as
dblp key:
Yang-Shan Tong ,
Sao Jie Chen :
An Automatic Optical Simulation-Based Lithography Hotspot Fix Flow for Post-Route Optimization.
671-684
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/JoshiCSBA10
export record as
dblp key:
journals/tcad/AlizadehMF10
export record as
dblp key:
journals/tcad/ZolotovXFV10
export record as
dblp key:
export record as
dblp key:
journals/tcad/GaneshpureK10
export record as
dblp key:
journals/tcad/AlvesBNDB10
export record as
dblp key:
export record as
dblp key:
journals/tcad/MajzoubSWW10
export record as
dblp key:
journals/tcad/BroussevT10
export record as
dblp key:
Chao-Wen Tzeng ,
Shi-Yu Huang :
Split-Masking: An Output Masking Scheme for Effective Compound Defect Diagnosis in Scan Architecture With Test Compression.
834-839
export record as
dblp key:
journals/tcad/SuissaRDHG10
export record as
dblp key:
Chip-Hong Chang ,
Mathias Faust :
On "A New Common Subexpression Elimination Algorithm for Realizing Low-Complexity Higher Order Digital Filters".
844-848
export record as
dblp key:
journals/tcad/SrivastavaXSB10
Volume 29, Number 6, June 2010
export record as
dblp key:
journals/tcad/MarculescuJ10
export record as
dblp key:
journals/tcad/ModarressiTS10
export record as
dblp key:
journals/tcad/ConcerBSLC10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/FerrandiLPST10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Zhen Chen ,
Dong Xiang :
A Novel Test Application Scheme for High Transition Fault Coverage and Low Test Cost.
966-976
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Volume 29, Number 7, July 2010
export record as
dblp key:
journals/tcad/ChakrabartyFZ10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/ViraraghavanAV10
export record as
dblp key:
export record as
dblp key:
journals/tcad/BeltrameFS10
export record as
dblp key:
export record as
dblp key:
journals/tcad/AlpaslanHLCD10
export record as
dblp key:
Dani Tannir ,
Roni Khazaka :
Computation of Intermodulation Distortion in RF Circuits Using Single-Tone Moments Analysis.
1121-1125
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/PomeranzR10b
export record as
dblp key:
Volume 29, Number 8, August 2010
export record as
dblp key:
journals/tcad/BondMLSMSAD10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/ShenQWXZL10
export record as
dblp key:
Zheng Zhang ,
Ngai Wong :
An Efficient Projector-Based Passivity Test for Descriptor Systems.
1203-1214
export record as
dblp key:
Onder Suvak ,
Alper Demir :
Quadratic Approximations for the Isochrons of Oscillators: A General Theory, Advanced Numerical Methods, and Accurate Phase Computations.
1215-1228
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Lin Huang ,
Qiang Xu :
Economic Analysis of Testing Homogeneous Manycore Chips.
1257-1270
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Amir Beygi ,
Anestis Dounavis :
Sensitivity Analysis of Lossy Multiconductor Transmission Lines Based on the Passive Method of Characteristics Macromodel.
1290-1294
export record as
dblp key:
Volume 29, Number 9, September 2010
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/BayrakciDT10
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:
journals/tcad/KhursheedACH10
export record as
dblp key:
journals/tcad/AlizadehF10
export record as
dblp key:
journals/tcad/Morin-AlloryBBZ10
export record as
dblp key:
journals/tcad/PomeranzR10c
Volume 29, Number 10, October 2010
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/VasudevanE10
export record as
dblp key:
export record as
dblp key:
Peter Böhm :
Incremental and Verified Modeling of the PCI Express Protocol.
1495-1508
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/ChakrabortySP10
export record as
dblp key:
export record as
dblp key:
journals/tcad/ArjomandS10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/Miskov-ZivanovM10
export record as
dblp key:
export record as
dblp key:
journals/tcad/TenentesKK10
export record as
dblp key:
export record as
dblp key:
journals/tcad/MoiseevKW10
export record as
dblp key:
Volume 29, Number 11, November 2010
export record as
dblp key:
Xin Li :
Finding Deterministic Solution From Underdetermined Equation: Large-Scale Performance Variability Modeling of Analog/RF Circuits.
1661-1668
export record as
dblp key:
journals/tcad/BallicchiaO10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/ChenCDHLP10
export record as
dblp key:
journals/tcad/CzajkowskiB10
export record as
dblp key:
journals/tcad/AndriamisainaCCC10
export record as
dblp key:
export record as
dblp key:
Amith Singhee ,
Rob A. Rutenbar :
Why Quasi-Monte Carlo is Better Than Monte Carlo or Latin Hypercube Sampling for Statistical Circuit Analysis.
1763-1776
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:
export record as
dblp key:
journals/tcad/PomeranzR10d
export record as
dblp key:
export record as
dblp key:
Volume 29, Number 12, December 2010
export record as
dblp key:
journals/tcad/Maffezzoni10 Paolo Maffezzoni :
Computing the Synchronization Regions of Injection-Locked Strongly Nonlinear Oscillators for Frequency Division Applications.
1849-1857
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Javid Jaffari ,
Mohab Anis :
Advanced Variance Reduction and Sampling Techniques for Efficient Statistical Timing Analysis.
1894-1907
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/ChangLGWW10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/tcad/JafariLJY10
export record as
dblp key:
journals/tcad/SeiculescuMBM10
export record as
dblp key:
export record as
dblp key:
journals/tcad/JeongLHLK10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fu-Wei Chen ,
Yi-Yu Liu :
Performance-Driven Dual-Rail Routing Architecture for Structured ASIC Design Style.
2046-2050
export record as
dblp key: