Search dblp for Publications

export results for "toc:db/conf/iccad/iccad2004.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iccad/AdyaCRPM04,
  author       = {Saurabh N. Adya and
                  S. Chaturvedi and
                  Jarrod A. Roy and
                  David A. Papa and
                  Igor L. Markov},
  title        = {Unification of partitioning, placement and floorplanning},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {550--557},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382639},
  doi          = {10.1109/ICCAD.2004.1382639},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/AdyaCRPM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AhmandM04,
  author       = {Seraj Ahmad and
                  Rabi N. Mahapatra},
  title        = {M-trie: an efficient approach to on-chip logic minimization},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {428--435},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382613},
  doi          = {10.1109/ICCAD.2004.1382613},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/AhmandM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AliVSSDA04,
  author       = {Moayad Fahim Ali and
                  Andreas G. Veneris and
                  Alexander Smith and
                  Sean Safarpour and
                  Rolf Drechsler and
                  Magdy S. Abadir},
  title        = {Debugging sequential circuits using Boolean satisfiability},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {204--209},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382572},
  doi          = {10.1109/ICCAD.2004.1382572},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/AliVSSDA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AlpertHSS04,
  author       = {Charles J. Alpert and
                  Jiang Hu and
                  Sachin S. Sapatnekar and
                  Cliff C. N. Sze},
  title        = {Accurate estimation of global buffer delay within a floorplan},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {706--711},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382667},
  doi          = {10.1109/ICCAD.2004.1382667},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/AlpertHSS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AminDI04,
  author       = {Chirayu S. Amin and
                  Florentin Dartu and
                  Yehea I. Ismail},
  title        = {Modeling unbuffered latches for timing analysis},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {254--260},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382582},
  doi          = {10.1109/ICCAD.2004.1382582},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/AminDI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AndersonN04,
  author       = {Jason Helge Anderson and
                  Farid N. Najm},
  title        = {Low-power programmable routing circuitry for FPGAs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {602--609},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382647},
  doi          = {10.1109/ICCAD.2004.1382647},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/AndersonN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/AndreiSEPH04,
  author       = {Alexandru Andrei and
                  Marcus T. Schmitz and
                  Petru Eles and
                  Zebo Peng and
                  Bashir M. Al{-}Hashimi},
  title        = {Simultaneous communication and processor voltage scaling for dynamic
                  and leakage energy reduction in time-constrained systems},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {362--369},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382602},
  doi          = {10.1109/ICCAD.2004.1382602},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/AndreiSEPH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ArslanO04,
  author       = {Baris Arslan and
                  Alex Orailoglu},
  title        = {Design space exploration for aggressive test cost reduction in CircularScan
                  architectures},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {726--731},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382671},
  doi          = {10.1109/ICCAD.2004.1382671},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ArslanO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ArvindNRD04,
  author       = {Arvind and
                  Rishiyur S. Nikhil and
                  Daniel L. Rosenband and
                  Nirav Dave},
  title        = {High-level synthesis: an essential ingredient for designing complex
                  ASICs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {775--782},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382681},
  doi          = {10.1109/ICCAD.2004.1382681},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ArvindNRD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BernarclinisGVS04,
  author       = {F. De Bernarclinis and
                  S. Gambini and
                  R. Vincis and
                  Francesco Svelto},
  title        = {Design space exploration for a {UMTS} front-end exploiting analog
                  platforms},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {923--930},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382708},
  doi          = {10.1109/ICCAD.2004.1382708},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/BernarclinisGVS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BernsteinBG04,
  author       = {A. Bernstein and
                  M. Burton and
                  Frank Ghenassia},
  title        = {How to bridge the abstraction gap in system level modeling and design},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {910--914},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382705},
  doi          = {10.1109/ICCAD.2004.1382705},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/BernsteinBG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BjesseB04,
  author       = {Per Bjesse and
                  Arne Bor{\"{a}}lv},
  title        = {DAG-aware circuit compression for formal verification},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {42--49},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382541},
  doi          = {10.1109/ICCAD.2004.1382541},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/BjesseB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/BryantR04,
  author       = {Randal E. Bryant and
                  Sriram K. Rajamani},
  title        = {Verifying properties of hardware and software by predicate abstraction
                  and model checking},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {437--438},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382615},
  doi          = {10.1109/ICCAD.2004.1382615},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/BryantR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChandraSXP04,
  author       = {Vikas Chandra and
                  Herman Schmit and
                  Anthony Xu and
                  Lawrence T. Pileggi},
  title        = {A power aware system level interconnect design methodology for latency-insensitive
                  systems},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {275--282},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382586},
  doi          = {10.1109/ICCAD.2004.1382586},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ChandraSXP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChatterjeeB04,
  author       = {Satrajit Chatterjee and
                  Robert K. Brayton},
  title        = {A new incremental placement algorithm and its application to congestion-aware
                  divisor extraction},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {541--548},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382637},
  doi          = {10.1109/ICCAD.2004.1382637},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ChatterjeeB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChenC04,
  author       = {Deming Chen and
                  Jason Cong},
  title        = {DAOmap: a depth-optimal area optimization mapping algorithm for {FPGA}
                  designs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {752--759},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382677},
  doi          = {10.1109/ICCAD.2004.1382677},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ChenC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChenTK04,
  author       = {Tsung{-}Hao Chen and
                  Jeng{-}Liang Tsai and
                  Tanay Karnik},
  title        = {HiSIM: hierarchical interconnect-centric circuit simulator},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {489--496},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382627},
  doi          = {10.1109/ICCAD.2004.1382627},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ChenTK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChenZ04,
  author       = {Ruiming Chen and
                  Hai Zhou},
  title        = {Timing macro-modeling of {IP} blocks with crosstalk},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {155--159},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382563},
  doi          = {10.1109/ICCAD.2004.1382563},
  timestamp    = {Wed, 16 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/ChenZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChenZ04a,
  author       = {Ruiming Chen and
                  Hai Zhou},
  title        = {Clock schedule verification under process variations},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {619--625},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382650},
  doi          = {10.1109/ICCAD.2004.1382650},
  timestamp    = {Wed, 16 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/ChenZ04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChengW04,
  author       = {Lei Cheng and
                  Martin D. F. Wong},
  title        = {Floorplan design for multi-million gate FPGAs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {292--299},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382589},
  doi          = {10.1109/ICCAD.2004.1382589},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ChengW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CheungPH04,
  author       = {Newton Cheung and
                  Sri Parameswaran and
                  J{\"{o}}rg Henkel},
  title        = {A quantitative study and estimation models for extensible instructions
                  in embedded processors},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {183--189},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382568},
  doi          = {10.1109/ICCAD.2004.1382568},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/CheungPH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Chiprout04,
  author       = {Eli Chiprout},
  title        = {Fast flip-chip power grid analysis via locality and grid shells},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {485--488},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382626},
  doi          = {10.1109/ICCAD.2004.1382626},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Chiprout04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Chmelar04,
  author       = {Erik Chmelar},
  title        = {Minimizing the number of test configurations for FPGAs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {899--902},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382702},
  doi          = {10.1109/ICCAD.2004.1382702},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Chmelar04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ChoiLSP04,
  author       = {Kihwan Choi and
                  Wonbok Lee and
                  Ramakrishna Soma and
                  Massoud Pedram},
  title        = {Dynamic voltage and frequency scaling under a precise energy model
                  considering variable and fixed components of the system power dissipation},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {29--34},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382538},
  doi          = {10.1109/ICCAD.2004.1382538},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ChoiLSP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Chu04,
  author       = {Chris Chu},
  title        = {{FLUTE:} fast lookup table based wirelength estimation technique},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {696--701},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382665},
  doi          = {10.1109/ICCAD.2004.1382665},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Chu04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/CongWZ04,
  author       = {Jason Cong and
                  Jie Wei and
                  Yan Zhang},
  title        = {A thermal-driven floorplanning algorithm for 3D ICs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {306--313},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382591},
  doi          = {10.1109/ICCAD.2004.1382591},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/CongWZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/DasBBDCMFA04,
  author       = {Sayantan Das and
                  Prasenjit Basu and
                  Ansuman Banerjee and
                  Pallab Dasgupta and
                  P. P. Chakrabarti and
                  Chunduri Rama Mohan and
                  Limor Fix and
                  Roy Armoni},
  title        = {Formal verification coverage: computing the coverage gap between temporal
                  specifications},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {198--203},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382571},
  doi          = {10.1109/ICCAD.2004.1382571},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/DasBBDCMFA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/DavoodiKS04,
  author       = {Azadeh Davoodi and
                  Vishal Khandelwal and
                  Ankur Srivastava},
  title        = {Variability inspired implementation selection problem},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {423--427},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382612},
  doi          = {10.1109/ICCAD.2004.1382612},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/DavoodiKS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/DuanM04,
  author       = {Xiaochun Duan and
                  Kartikeya Mayaram},
  title        = {Frequency domain simulation of high-Q oscillators with homotopy methods},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {683--686},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382662},
  doi          = {10.1109/ICCAD.2004.1382662},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/DuanM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/DurairajK04,
  author       = {Vijay Durairaj and
                  Priyank Kalla},
  title        = {Guiding {CNF-SAT} search via efficient constraint partitioning},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {498--501},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382629},
  doi          = {10.1109/ICCAD.2004.1382629},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/DurairajK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/EvmorfopoulosKS04,
  author       = {Nestoras E. Evmorfopoulos and
                  Dimitris P. Karampatzakis and
                  Georgios I. Stamoulis},
  title        = {Voltage-drop-constrained optimization of power distribution network
                  based on reliable maximum current estimates},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {479--484},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382625},
  doi          = {10.1109/ICCAD.2004.1382625},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/EvmorfopoulosKS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/FeldmannL04,
  author       = {Peter Feldmann and
                  Frank Liu},
  title        = {Sparse and efficient reduced order modeling of linear subcircuits
                  with large number of terminals},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {88--92},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382548},
  doi          = {10.1109/ICCAD.2004.1382548},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/FeldmannL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Freund04,
  author       = {Roland W. Freund},
  title        = {{SPRIM:} structure-preserving reduced-order interconnect macromodeling},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {80--87},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382547},
  doi          = {10.1109/ICCAD.2004.1382547},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Freund04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/FungBC04,
  author       = {Ryan Fung and
                  Vaughn Betz and
                  William Chow},
  title        = {Simultaneous short-path and long-path timing optimization for FPGAs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {838--845},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382691},
  doi          = {10.1109/ICCAD.2004.1382691},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/FungBC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GanaiGA04,
  author       = {Malay K. Ganai and
                  Aarti Gupta and
                  Pranav Ashar},
  title        = {Efficient SAT-based unbounded symbolic model checking using circuit
                  cofactoring},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {510--517},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382631},
  doi          = {10.1109/ICCAD.2004.1382631},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/GanaiGA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GaoH04,
  author       = {Feng Gao and
                  John P. Hayes},
  title        = {Exact and heuristic approaches to input vector control for leakage
                  power reduction},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {527--532},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382634},
  doi          = {10.1109/ICCAD.2004.1382634},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/GaoH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GhenassiaVI04,
  author       = {Frank Ghenassia and
                  Narayanan Vijaykrishnan and
                  Mary Jane Irwin},
  title        = {Analyzing software influences on substrate noise: an {ADC} perspective},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {916--922},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382707},
  doi          = {10.1109/ICCAD.2004.1382707},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/GhenassiaVI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GhiasiBCS04,
  author       = {Soheil Ghiasi and
                  Elaheh Bozorgzadeh and
                  Siddharth Choudhuri and
                  Majid Sarrafzadeh},
  title        = {A unified theory of timing budget management},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {653--659},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382657},
  doi          = {10.1109/ICCAD.2004.1382657},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/GhiasiBCS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GhoneimaI04,
  author       = {Maged Ghoneima and
                  Yehea I. Ismail},
  title        = {Formal derivation of optimal active shielding for low-power on-chip
                  buses},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {800--807},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382685},
  doi          = {10.1109/ICCAD.2004.1382685},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/GhoneimaI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GlebovGSZBOP04,
  author       = {Alexey Glebov and
                  Sergey Gavrilov and
                  R. Soloviev and
                  Vladimir Zolotov and
                  Murat R. Becer and
                  Chanhee Oh and
                  Rajendran Panda},
  title        = {Delay noise pessimism reduction by logic correlations},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {160--167},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382564},
  doi          = {10.1109/ICCAD.2004.1382564},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/GlebovGSZBOP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/GuptaKR04,
  author       = {Smriti Gupta and
                  Bruce H. Krogh and
                  Rob A. Rutenbar},
  title        = {Towards formal verification of analog designs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {210--217},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382573},
  doi          = {10.1109/ICCAD.2004.1382573},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/GuptaKR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HashimotoYO04,
  author       = {Masanori Hashimoto and
                  Junji Yamaguchi and
                  Hidetoshi Onodera},
  title        = {Timing analysis considering spatial power/ground level variation},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {814--820},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382687},
  doi          = {10.1109/ICCAD.2004.1382687},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HashimotoYO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HeMW04,
  author       = {Lei He and
                  Tulika Mitra and
                  Weng{-}Fai Wong},
  title        = {Configuration bitstream compression for dynamically reconfigurable
                  FPGAs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {766--773},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382679},
  doi          = {10.1109/ICCAD.2004.1382679},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/HeMW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HealdW04,
  author       = {Raymond A. Heald and
                  Ping Wang},
  title        = {Variability in sub-100nm {SRAM} designs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {347--352},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382599},
  doi          = {10.1109/ICCAD.2004.1382599},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HealdW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HosangadiFK04,
  author       = {Anup Hosangadi and
                  Farzan Fallah and
                  Ryan Kastner},
  title        = {Factoring and eliminating common subexpressions in polynomial expressions},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {169--174},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382566},
  doi          = {10.1109/ICCAD.2004.1382566},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HosangadiFK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HsiehLC04,
  author       = {Cheng{-}Tao Hsieh and
                  Jian{-}Cheng Lin and
                  Shih{-}Chieh Chang},
  title        = {A vectorless estimation of maximum instantaneous current for sequential
                  circuits},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {537--540},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382636},
  doi          = {10.1109/ICCAD.2004.1382636},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HsiehLC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HuM04,
  author       = {Jingcao Hu and
                  Radu Marculescu},
  title        = {Application-specific buffer space allocation for networks-on-chip
                  router design},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {354--361},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382601},
  doi          = {10.1109/ICCAD.2004.1382601},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HuM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HuM04a,
  author       = {Bo Hu and
                  Malgorzata Marek{-}Sadowska},
  title        = {Multilevel expansion-based {VLSI} placement with blockages},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {558--564},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382640},
  doi          = {10.1109/ICCAD.2004.1382640},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HuM04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HuangRRJ04,
  author       = {Chao Huang and
                  Srivaths Ravi and
                  Anand Raghunathan and
                  Niraj K. Jha},
  title        = {High-level synthesis using computation-unit integrated memories},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {783--790},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382682},
  doi          = {10.1109/ICCAD.2004.1382682},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HuangRRJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HuangV04,
  author       = {Renqiu Huang and
                  Ranga Vemuri},
  title        = {Analysis and evaluation of a hybrid interconnect structure for FPGAs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {595--601},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382646},
  doi          = {10.1109/ICCAD.2004.1382646},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HuangV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/HurstCK04,
  author       = {Aaron P. Hurst and
                  Philip Chong and
                  Andreas Kuehlmann},
  title        = {Physical placement driven by sequential timing analysis},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {379--386},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382605},
  doi          = {10.1109/ICCAD.2004.1382605},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/HurstCK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/IsmailA04,
  author       = {Yehea I. Ismail and
                  Chirayu S. Amin},
  title        = {Computation of signal threshold crossing times directly from higher
                  order moments},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {246--253},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382581},
  doi          = {10.1109/ICCAD.2004.1382581},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/IsmailA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/JainKB04,
  author       = {Jitesh Jain and
                  Cheng{-}Kok Koh and
                  Venkataramanan Balakrishnan},
  title        = {Fast simulation of {VLSI} interconnects},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {93--98},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382549},
  doi          = {10.1109/ICCAD.2004.1382549},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/JainKB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/JanapsatyaPI04,
  author       = {Andhi Janapsatya and
                  Sri Parameswaran and
                  Aleksandar Ignjatovic},
  title        = {Hardware/software managed scratchpad memory for embedded system},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {370--377},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382603},
  doi          = {10.1109/ICCAD.2004.1382603},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/JanapsatyaPI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/JariwalaL04,
  author       = {Devang Jariwala and
                  John Lillis},
  title        = {On interactions between routing and detailed placement},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {387--393},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382606},
  doi          = {10.1109/ICCAD.2004.1382606},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/JariwalaL04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/JayakumarK04,
  author       = {Nikhil Jayakumar and
                  Sunil P. Khatri},
  title        = {A metal and via maskset programmable {VLSI} design methodology using
                  PLAs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {590--594},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382645},
  doi          = {10.1109/ICCAD.2004.1382645},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/JayakumarK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/JiangMB04,
  author       = {Jie{-}Hong Roland Jiang and
                  Alan Mishchenko and
                  Robert K. Brayton},
  title        = {On breakable cyclic definitions},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {411--418},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382610},
  doi          = {10.1109/ICCAD.2004.1382610},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/JiangMB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KahngW04,
  author       = {Andrew B. Kahng and
                  Qinke Wang},
  title        = {An analytic placer for mixed-size placement and timing-driven placement},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {565--572},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382641},
  doi          = {10.1109/ICCAD.2004.1382641},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KahngW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KandemirICK04,
  author       = {Mahmut T. Kandemir and
                  Mary Jane Irwin and
                  Guilin Chen and
                  Ibrahim Kolcu},
  title        = {Banked scratch-pad memory management for reducing leakage energy consumption},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {120--124},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382555},
  doi          = {10.1109/ICCAD.2004.1382555},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KandemirICK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KapoorJK04,
  author       = {Arjun Kapoor and
                  Nikhil Jayakumar and
                  Sunil P. Khatri},
  title        = {A novel clock distribution and dynamic de-skewing methodology},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {626--631},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382651},
  doi          = {10.1109/ICCAD.2004.1382651},
  timestamp    = {Wed, 09 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/KapoorJK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KarandikarS04,
  author       = {Shrirang K. Karandikar and
                  Sachin S. Sapatnekar},
  title        = {Logical effort based technology mapping},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {419--422},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382611},
  doi          = {10.1109/ICCAD.2004.1382611},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KarandikarS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KasnaviWSZ04,
  author       = {Alireza Kasnavi and
                  Joddy W. Wang and
                  Mahmoud Shahram and
                  Jindrich Zejda},
  title        = {Analytical modeling of crosstalk noise waveforms using Weibull function},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {141--146},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382561},
  doi          = {10.1109/ICCAD.2004.1382561},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KasnaviWSZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KellerTV04,
  author       = {Igor Keller and
                  Ken Tseng and
                  Nishath K. Verghese},
  title        = {A robust cell-level crosstalk delay change analysis},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {147--154},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382562},
  doi          = {10.1109/ICCAD.2004.1382562},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KellerTV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KhandelwalDS04,
  author       = {Vishal Khandelwal and
                  Azadeh Davoodi and
                  Ankur Srivastava},
  title        = {Efficient statistical timing analysis through error budgeting},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {473--477},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382623},
  doi          = {10.1109/ICCAD.2004.1382623},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KhandelwalDS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KhandelwalS04,
  author       = {Vishal Khandelwal and
                  Ankur Srivastava},
  title        = {Leakage control through fine-grained placement and sizing of sleep
                  transistors},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {533--536},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382635},
  doi          = {10.1109/ICCAD.2004.1382635},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KhandelwalS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KhasidashviliSKH04,
  author       = {Zurab Khasidashvili and
                  Marcelo Skaba and
                  Daher Kaiss and
                  Ziyad Hanna},
  title        = {Theoretical framework for compositional sequential hardware equivalence
                  verification in presence of design constraints},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {58--65},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382543},
  doi          = {10.1109/ICCAD.2004.1382543},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KhasidashviliSKH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KimK04,
  author       = {Young{-}Il Kim and
                  Chong{-}Min Kyung},
  title        = {Automatic translation of behavioral testbench for fully accelerated
                  simulation},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {218--221},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382574},
  doi          = {10.1109/ICCAD.2004.1382574},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KimK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KimLV04,
  author       = {Jintae Kim and
                  Jaeseo Lee and
                  Lieven Vandenberghe},
  title        = {Techniques for improving the accuracy of geometric-programming based
                  analog circuit design optimization},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {863--870},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382695},
  doi          = {10.1109/ICCAD.2004.1382695},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KimLV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Koenemann04,
  author       = {Bernd Koenemann},
  title        = {Design/process learning from electrical test},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {733--738},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382673},
  doi          = {10.1109/ICCAD.2004.1382673},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Koenemann04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KroeningC04,
  author       = {Daniel Kroening and
                  Edmund M. Clarke},
  title        = {Checking consistency of {C} and Verilog using predicate abstraction
                  and induction},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {66--72},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382544},
  doi          = {10.1109/ICCAD.2004.1382544},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/KroeningC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Kuehlmann04,
  author       = {Andreas Kuehlmann},
  title        = {Dynamic transition relation simplification for bounded property checking},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {50--57},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382542},
  doi          = {10.1109/ICCAD.2004.1382542},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Kuehlmann04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LaiR04,
  author       = {Xiaolue Lai and
                  Jaijeet S. Roychowdhury},
  title        = {Automated oscillator macromodelling techniques for capturing amplitude
                  variations and injection locking},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {687--694},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382663},
  doi          = {10.1109/ICCAD.2004.1382663},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LaiR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LavinHN04,
  author       = {Mark A. Lavin and
                  Fook{-}Luen Heng and
                  Gregory A. Northrop},
  title        = {Backend {CAD} flows for "restrictive design rules"},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {739--746},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382674},
  doi          = {10.1109/ICCAD.2004.1382674},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LavinHN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LeeLY04,
  author       = {Kangmin Lee and
                  Se{-}Joong Lee and
                  Hoi{-}Jun Yoo},
  title        = {{SILENT:} serialized low energy transmission coding for on-chip interconnection
                  networks},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {448--451},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382618},
  doi          = {10.1109/ICCAD.2004.1382618},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LeeLY04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LeeWMC04,
  author       = {Leonard Lee and
                  Li{-}C. Wang and
                  T. M. Mak and
                  Kwang{-}Ting Cheng},
  title        = {A path-based methodology for post-silicon timing validation},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {713--720},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382669},
  doi          = {10.1109/ICCAD.2004.1382669},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LeeWMC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiA04,
  author       = {Gang Li and
                  Narayan R. Aluru},
  title        = {Hybrid techniques for electrostatic analysis of nanowires},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {241--244},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382579},
  doi          = {10.1109/ICCAD.2004.1382579},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiGXP04,
  author       = {Xin Li and
                  Padmini Gopalakrishnan and
                  Yang Xu and
                  Lawrence T. Pileggi},
  title        = {Robust analog/RF circuit design with projection-based posynomial modeling},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {855--862},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382694},
  doi          = {10.1109/ICCAD.2004.1382694},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiGXP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiLGP04,
  author       = {Xin Li and
                  Jiayong Le and
                  Padmini Gopalakrishnan and
                  Lawrence T. Pileggi},
  title        = {Asymptotic probability extraction for non-normal distributions of
                  circuit performance},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {2--9},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382533},
  doi          = {10.1109/ICCAD.2004.1382533},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiLGP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiLH04,
  author       = {Fei Li and
                  Yan Lin and
                  Lei He},
  title        = {Vdd programmability to reduce {FPGA} interconnect power},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {760--765},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382678},
  doi          = {10.1109/ICCAD.2004.1382678},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiLH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiP04,
  author       = {Peng Li and
                  Lawrence T. Pileggi},
  title        = {Efficient harmonic balance simulation using multi-level frequency
                  decomposition},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {677--682},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382661},
  doi          = {10.1109/ICCAD.2004.1382661},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiPAC04,
  author       = {Peng Li and
                  Lawrence T. Pileggi and
                  Mehdi Asheghi and
                  Rajit Chandra},
  title        = {Efficient full-chip thermal modeling and analysis},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {319--326},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382594},
  doi          = {10.1109/ICCAD.2004.1382594},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiPAC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiS04,
  author       = {Bing Li and
                  Fabio Somenzi},
  title        = {Efficient computation of small abstraction refinements},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {518--525},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382632},
  doi          = {10.1109/ICCAD.2004.1382632},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiXKCM04,
  author       = {Chen Li and
                  Min Xie and
                  Cheng{-}Kok Koh and
                  Jason Cong and
                  Patrick H. Madden},
  title        = {Routability-driven placement and white space allocation},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {394--401},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382607},
  doi          = {10.1109/ICCAD.2004.1382607},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiXKCM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LinZ04,
  author       = {Chuan Lin and
                  Hai Zhou},
  title        = {Optimal wire retiming without binary search},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {452--458},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382619},
  doi          = {10.1109/ICCAD.2004.1382619},
  timestamp    = {Wed, 16 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/LinZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Liu04,
  author       = {Chunsheng Liu},
  title        = {An efficient method for improving the quality of per-test fault diagnosis},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {648--651},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382655},
  doi          = {10.1109/ICCAD.2004.1382655},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Liu04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiuC04,
  author       = {Jinfeng Liu and
                  Pai H. Chou},
  title        = {Optimizing mode transition sequences in idle intervals for component-level
                  and system-level energy minimization},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {21--28},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382537},
  doi          = {10.1109/ICCAD.2004.1382537},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/LiuC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LiuOB04,
  author       = {Fang Liu and
                  Sule Ozev and
                  Martin A. Brooke},
  title        = {Diagnosis of small-signal parameters for broadband amplifiers through
                  S-parameter measurements and sensitivity-guided evolutionary search},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {641--647},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382654},
  doi          = {10.1109/ICCAD.2004.1382654},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LiuOB04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LuHLSS04,
  author       = {Zhijian Lu and
                  Wei Huang and
                  John C. Lach and
                  Mircea R. Stan and
                  Kevin Skadron},
  title        = {Interconnect lifetime prediction under dynamic stress for reliability-aware
                  design},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {327--334},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382595},
  doi          = {10.1109/ICCAD.2004.1382595},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/LuHLSS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MaR04,
  author       = {James D. Ma and
                  Rob A. Rutenbar},
  title        = {Interval-valued reduced order statistical interconnect modeling},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {460--467},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382621},
  doi          = {10.1109/ICCAD.2004.1382621},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/MaR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MaruyamaKMKSI04,
  author       = {Daisuke Maruyama and
                  Akira Kanuma and
                  Takashi Mochiyama and
                  Hiroaki Komatsu and
                  Yaroku Sugiyama and
                  Noriyuki Ito},
  title        = {Detection of multiple transitions in delay fault test of {SPARC64}
                  microprocessor},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {893--898},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382701},
  doi          = {10.1109/ICCAD.2004.1382701},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/MaruyamaKMKSI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MukhopadhyayMR04,
  author       = {Saibal Mukhopadhyay and
                  Hamid Mahmoodi{-}Meimand and
                  Kaushik Roy},
  title        = {Statistical design and optimization of {SRAM} cell for yield enhancement},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {10--13},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382534},
  doi          = {10.1109/ICCAD.2004.1382534},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/MukhopadhyayMR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/NaculG04,
  author       = {Andr{\'{e}} C. N{\'{a}}cul and
                  Tony Givargis},
  title        = {Code partitioning for synthesis of embedded applications with phantom},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {190--196},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382569},
  doi          = {10.1109/ICCAD.2004.1382569},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/NaculG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/NassifBH04,
  author       = {Sani R. Nassif and
                  Duane S. Boning and
                  Nagib Hakim},
  title        = {The care and feeding of your statistical static timer},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {138--139},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382559},
  doi          = {10.1109/ICCAD.2004.1382559},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/NassifBH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/OmedesRR04,
  author       = {Olivier Omedes and
                  Michel Robert and
                  Mohammed Ramdani},
  title        = {A flexibility aware budgeting for hierarchical flow timing closure},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {261--266},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382583},
  doi          = {10.1109/ICCAD.2004.1382583},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/OmedesRR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/OzdalW04,
  author       = {Muhammet Mustafa Ozdal and
                  Martin D. F. Wong},
  title        = {Simultaneous escape routing and layer assignment for dense PCBs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {822--829},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382689},
  doi          = {10.1109/ICCAD.2004.1382689},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/OzdalW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/OzdalW04a,
  author       = {Muhammet Mustafa Ozdal and
                  Martin D. F. Wong},
  title        = {A provably good algorithm for high performance bus routing},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {830--837},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382690},
  doi          = {10.1109/ICCAD.2004.1382690},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/OzdalW04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/PatelMBP04,
  author       = {Kimish Patel and
                  Enrico Macii and
                  Luca Benini and
                  Massimo Poncino},
  title        = {Reducing cache misses by application-specific re-configurable indexing},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {125--130},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382556},
  doi          = {10.1109/ICCAD.2004.1382556},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/PatelMBP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/PfeifferMH04,
  author       = {Anton J. Pfeiffer and
                  Tamal Mukherjee and
                  Steinar Hauan},
  title        = {Simultaneous design and placement of multiplexed chemical processing
                  systems on microchips},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {229--236},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382577},
  doi          = {10.1109/ICCAD.2004.1382577},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/PfeifferMH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Phillips04,
  author       = {Joel R. Phillips},
  title        = {Variational interconnect analysis via {PMTBR}},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {872--879},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382697},
  doi          = {10.1109/ICCAD.2004.1382697},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Phillips04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/PoncinoZ04,
  author       = {Massimo Poncino and
                  Jianwen Zhu},
  title        = {DynamoSim: a trace-based dynamically compiled instruction set simulator},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {131--136},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382557},
  doi          = {10.1109/ICCAD.2004.1382557},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/PoncinoZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/PuschelZH04,
  author       = {Markus P{\"{u}}schel and
                  Adam C. Zelinski and
                  James C. Hoe},
  title        = {Custom-optimized multiplierless implementations of {DSP} algorithms},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {175--182},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382567},
  doi          = {10.1109/ICCAD.2004.1382567},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/PuschelZH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/QianKNS04,
  author       = {Haifeng Qian and
                  Joseph N. Kozhaya and
                  Sani R. Nassif and
                  Sachin S. Sapatnekar},
  title        = {A chip-level electrostatic discharge simulation strategy},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {315--318},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382593},
  doi          = {10.1109/ICCAD.2004.1382593},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/QianKNS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RanM04,
  author       = {Yajun Ran and
                  Malgorzata Marek{-}Sadowska},
  title        = {An integrated design flow for a via-configurable gate array},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {582--589},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382644},
  doi          = {10.1109/ICCAD.2004.1382644},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/RanM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RaoOS04,
  author       = {Wenjing Rao and
                  Alex Orailoglu and
                  George Su},
  title        = {Frugal linear network-based test decompression for drastic test cost
                  reductions},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {721--725},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382670},
  doi          = {10.1109/ICCAD.2004.1382670},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/RaoOS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RaoV04,
  author       = {Ravishankar Rao and
                  Sarma B. K. Vrudhula},
  title        = {Energy optimization for a two-device data flow chain},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {268--274},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382585},
  doi          = {10.1109/ICCAD.2004.1382585},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/RaoV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RaychowdhuryR04,
  author       = {Arijit Raychowdhury and
                  Kaushik Roy},
  title        = {A circuit model for carbon nanotube interconnects: comparative study
                  with Cu interconnects for scaled technologies},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {237--240},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382578},
  doi          = {10.1109/ICCAD.2004.1382578},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/RaychowdhuryR04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RenPV04,
  author       = {Haoxing Ren and
                  David Zhigang Pan and
                  Paul Villarrubia},
  title        = {True crosstalk aware incremental placement with noise map},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {402--409},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382608},
  doi          = {10.1109/ICCAD.2004.1382608},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/RenPV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/RutenbarWCK04,
  author       = {Rob A. Rutenbar and
                  Li{-}C. Wang and
                  Kwang{-}Ting Cheng and
                  Sandip Kundu},
  title        = {Static statistical timing analysis for latch-based pipeline designs},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {468--472},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382622},
  doi          = {10.1109/ICCAD.2004.1382622},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/RutenbarWCK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Samaan04,
  author       = {S. B. Samaan},
  title        = {The impact of device parameter variations on the frequency and performance
                  of {VLSI} chips},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {343--346},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382598},
  doi          = {10.1109/ICCAD.2004.1382598},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/Samaan04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SethZH04,
  author       = {V. Seth and
                  Min Zhao and
                  Jiang Hu},
  title        = {Exploiting level sensitive latches in wire pipelining},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {283--290},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382587},
  doi          = {10.1109/ICCAD.2004.1382587},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/SethZH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ShiM04,
  author       = {Feng Shi and
                  Yiorgos Makris},
  title        = {{SPIN-TEST:} automatic test pattern generation for speed-independent
                  circuits},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {903--908},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382703},
  doi          = {10.1109/ICCAD.2004.1382703},
  timestamp    = {Fri, 03 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/ShiM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SinhaZ04,
  author       = {Debjit Sinha and
                  Hai Zhou},
  title        = {Gate sizing for crosstalk reduction under timing constraints by Lagrangian
                  relaxation},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {14--19},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382535},
  doi          = {10.1109/ICCAD.2004.1382535},
  timestamp    = {Wed, 16 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/SinhaZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SrinivasanGVKXI04,
  author       = {Suresh Srinivasan and
                  Aman Gayasen and
                  Narayanan Vijaykrishnan and
                  Mahmut T. Kandemir and
                  Yuan Xie and
                  Mary Jane Irwin},
  title        = {Improving soft-error tolerance of {FPGA} configuration bits},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {107--110},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382552},
  doi          = {10.1109/ICCAD.2004.1382552},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/SrinivasanGVKXI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SrivastavaS04,
  author       = {Ashish Srivastava and
                  Dennis Sylvester},
  title        = {A general framework for probabilistic low-power design space exploration
                  considering process variation},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {808--813},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382686},
  doi          = {10.1109/ICCAD.2004.1382686},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/SrivastavaS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/StehrGA04,
  author       = {Guido Stehr and
                  Helmut E. Graeb and
                  Kurt Antreich},
  title        = {Analog performance space exploration by Fourier-Motzkin elimination
                  with application to hierarchical sizing},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {847--854},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382693},
  doi          = {10.1109/ICCAD.2004.1382693},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/StehrGA04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SuC04,
  author       = {Fei Su and
                  Krishnendu Chakrabarty},
  title        = {Architectural-level synthesis of digital microfluidics-based biochips},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {223--228},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382576},
  doi          = {10.1109/ICCAD.2004.1382576},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/SuC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/SuWZBCZ04,
  author       = {Yangfeng Su and
                  Jian Wang and
                  Xuan Zeng and
                  Zhaojun Bai and
                  Charles C. Chiang and
                  Dian Zhou},
  title        = {{SAPOR:} second-order Arnoldi method for passive order reduction of
                  {RCS} circuits},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {74--79},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382546},
  doi          = {10.1109/ICCAD.2004.1382546},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/SuWZBCZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/TeslenkoD04,
  author       = {Maxim Teslenko and
                  Elena Dubrova},
  title        = {Hermes: {LUT} {FPGA} technology mapping algorithm for area minimization
                  with optimum depth},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {748--751},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382676},
  doi          = {10.1109/ICCAD.2004.1382676},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/TeslenkoD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/TsaiBCS04,
  author       = {Jeng{-}Liang Tsai and
                  Dong Hyun Baik and
                  Charlie Chung{-}Ping Chen and
                  Kewal K. Saluja},
  title        = {A yield improvement methodology using pre- and post-silicon statistical
                  clock scheduling},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {611--618},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382649},
  doi          = {10.1109/ICCAD.2004.1382649},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/TsaiBCS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/VemuriW04,
  author       = {Ranga Vemuri and
                  Glenn Wolfe},
  title        = {Adaptive sampling and modeling of analog circuit performance parameters
                  with pseudo-cubic splines},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {931--938},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382709},
  doi          = {10.1109/ICCAD.2004.1382709},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/VemuriW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/VermaI04,
  author       = {Ajay Kumar Verma and
                  Paolo Ienne},
  title        = {Improved use of the carry-save representation for the synthesis of
                  complex arithmetic circuits},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {791--798},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382683},
  doi          = {10.1109/ICCAD.2004.1382683},
  timestamp    = {Tue, 03 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/VermaI04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/VorwerkKV04,
  author       = {Kristofer Vorwerk and
                  Andrew A. Kennings and
                  Anthony Vannelli},
  title        = {Engineering details of a stable force-directed placer},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {573--580},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382642},
  doi          = {10.1109/ICCAD.2004.1382642},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/VorwerkKV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WangGV04,
  author       = {Janet Meiling Wang and
                  Praveen Ghanta and
                  Sarma B. K. Vrudhula},
  title        = {Stochastic analysis of interconnect performance in the presence of
                  process variations},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {880--886},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382698},
  doi          = {10.1109/ICCAD.2004.1382698},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/WangGV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WenMKWSK04,
  author       = {Xiaoqing Wen and
                  Tokiharu Miyoshi and
                  Seiji Kajihara and
                  Laung{-}Terng Wang and
                  Kewal K. Saluja and
                  Kozo Kinoshita},
  title        = {On per-test fault diagnosis using the X-fault model},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {633--640},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382653},
  doi          = {10.1109/ICCAD.2004.1382653},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/WenMKWSK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WongDKSP04,
  author       = {Jennifer L. Wong and
                  Azadeh Davoodi and
                  Vishal Khandelwal and
                  Ankur Srivastava and
                  Miodrag Potkonjak},
  title        = {Wire-length prediction using statistical techniques},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {702--705},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382666},
  doi          = {10.1109/ICCAD.2004.1382666},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/WongDKSP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WormIT04,
  author       = {Frederic Worm and
                  Paolo Ienne and
                  Patrick Thiran},
  title        = {Soft self-synchronising codes for self-calibrating communication},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {440--447},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382617},
  doi          = {10.1109/ICCAD.2004.1382617},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/WormIT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/WuZN04,
  author       = {Bin Wu and
                  Jianwen Zhu and
                  Farid N. Najm},
  title        = {Dynamic range estimation for nonlinear systems},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {660--667},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382658},
  doi          = {10.1109/ICCAD.2004.1382658},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/WuZN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/YuhYC04,
  author       = {Ping{-}Hung Yuh and
                  Chia{-}Lin Yang and
                  Yao{-}Wen Chang},
  title        = {Temporal floorplanning using the T-tree formulation},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {300--305},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382590},
  doi          = {10.1109/ICCAD.2004.1382590},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/YuhYC04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangPH04,
  author       = {Liang Zhang and
                  Mukul R. Prasad and
                  Michael S. Hsiao},
  title        = {Incremental deductive {\&} inductive reasoning for SAT-based bounded
                  model checking},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {502--509},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382630},
  doi          = {10.1109/ICCAD.2004.1382630},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ZhangPH04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhangS04,
  author       = {Ming Zhang and
                  Naresh R. Shanbhag},
  title        = {A soft error rate analysis {(SERA)} methodology},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {111--118},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382553},
  doi          = {10.1109/ICCAD.2004.1382553},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/ZhangS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhongRRJ04,
  author       = {Lin Zhong and
                  Srivaths Ravi and
                  Anand Raghunathan and
                  Niraj K. Jha},
  title        = {Power estimation for cycle-accurate functional descriptions of hardware},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {668--675},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382659},
  doi          = {10.1109/ICCAD.2004.1382659},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ZhongRRJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhouM04,
  author       = {Quming Zhou and
                  Kartik Mohanram},
  title        = {Cost-effective radiation hardening technique for combinational logic},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {100--106},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382551},
  doi          = {10.1109/ICCAD.2004.1382551},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ZhouM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhuMM04,
  author       = {Dakai Zhu and
                  Rami G. Melhem and
                  Daniel Moss{\'{e}}},
  title        = {The effects of energy management on reliability in real-time embedded
                  systems},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {35--40},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382539},
  doi          = {10.1109/ICCAD.2004.1382539},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ZhuMM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZhuWD04,
  author       = {Zhenhai Zhu and
                  Jacob K. White and
                  Alper Demir},
  title        = {A stochastic integral equation method for modeling the rough surface
                  effect on interconnect capacitance},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {887--891},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382699},
  doi          = {10.1109/ICCAD.2004.1382699},
  timestamp    = {Mon, 08 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/ZhuWD04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/ZuchowskiHHO04,
  author       = {Paul S. Zuchowski and
                  Peter A. Habitz and
                  J. D. Hayes and
                  J. H. Oppold},
  title        = {Process and environmental variation impacts on {ASIC} timing},
  booktitle    = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  pages        = {336--342},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1109/ICCAD.2004.1382597},
  doi          = {10.1109/ICCAD.2004.1382597},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iccad/ZuchowskiHHO04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccad/2004,
  title        = {2004 International Conference on Computer-Aided Design, {ICCAD} 2004,
                  San Jose, CA, USA, November 7-11, 2004},
  publisher    = {{IEEE} Computer Society / {ACM}},
  year         = {2004},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/9494/proceeding},
  isbn         = {0-7803-8702-3},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iccad/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}