DAC A*

161 papers

YearTitle / Authors
2000"Timing closure by design, " a high frequency microprocessor design methodology.
Stephen D. Posluszny, Naoaki Aoki, David Boerstler, Paula K. Coulman, Sang H. Dhong, Brian K. Flachs, H. Peter Hofstee, Nobuo Kojima, Ohsang Kwon, Kyung T. Lee, David Meltzer, Kevin J. Nowka, J. Park, J. Peter, Joel Silberman, Osamu Takahashi, Paul Villarrubia
2000A Web-CAD methodology for IP-core analysis and simulation.
Alessandro Fin, Franco Fummi
2000A case study of synthesis for industrial-scale analog IP: redesign of the equalizer/filter frontend for an ADSL CODEC.
Rodney Phelps, Michael Krasnicki, Rob A. Rutenbar, L. Richard Carley, James R. Hellums
2000A codesign virtual machine for hierarchical, balanced hardware/software system modeling.
JoAnn M. Paul, Simon N. Peffers, Donald E. Thomas
2000A current driven routing and verification methodology for analog applications.
Thorsten Adler, Hiltrud Brocke, Lars Hedrich, Erich Barke
2000A design of and design tools for a novel quantum dot based microprocessor.
Michael T. Niemier, Michael J. Kontz, Peter M. Kogge
2000A fast algorithm for context-aware buffer insertion.
Ashok Jagannathan, Sung-Woo Hur, John Lillis
2000A fine-grained arithmetic optimization technique for high-performance/low-power data path synthesis.
Junhyung Um, Taewhan Kim, C. L. Liu
2000A methodology for efficient high-level dataflow simulation of mixed-signal front-ends of digital telecom transceivers.
Gerd Vandersteen, Piet Wambacq, Yves Rolain, Petr Dobrovolný, Stéphane Donnay, Marc Engels, Ivo Bolsens
2000A methodology for formal design of hardware control with application to cache coherence protocols.
Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk
2000A methodology for modeling the effects of systematic within-die interconnect and device variation on circuit performance.
Vikas Mehrotra, Shiou Lin Sam, Duane S. Boning, Anantha P. Chandrakasan, Rakesh Vallishayee, Sani R. Nassif
2000A multi-interval Chebyshev collocation method for efficient high-accuracy RF circuit simulation.
Baolin Yang, Joel R. Phillips
2000A novel algorithm to extract two-node bridges.
Sujit T. Zachariah, Sreejit Chakravarty, Carl D. Roth
2000A practical approach to parasitic extraction for design of multimillion-transistor integrated circuits.
Eileen You, Lakshminarasimh Varadadesikan, John Macdonald, Wieze Xie
2000A rank-one update method for efficient processing of interconnect parasitics in timing analysis.
H. Levy, W. Scott, Don MacMillen, Jacob White
2000A realizable driving point model for on-chip interconnect with inductance.
Chandramouli V. Kashyap, Byron Krauter
2000A switch level fault simulation environment.
Venkatram Krishnaswamy, Jeremy Casas, Thomas Tetzlaff
2000A system simulation framework.
Peter van den Hamer, W. P. M. van der Linden, Peter Bingley, N. W. Schellingerhout
2000An architecture-driven metric for simultaneous placement and global routing for FPGAs.
Yao-Wen Chang, Yu-Tsang Chang
2000An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component mismatch effects.
Carlo Guardiani, Sharad Saxena, Patrick McNamara, Phillip Schumaker, Dale Coder
2000An instruction-level functionally-based energy estimation model for 32-bits microprocessors.
Carlo Brandolese, William Fornaciari, Fabio Salice, Donatella Sciuto
2000Analysis of composition complexity and how to obtain smaller canonical graphs.
Jawahar Jain, K. Mohanram, Dinos Moundanos, Ingo Wegener, Yuan Lu
2000Application-specific memory management for embedded systems using software-controlled caches.
Derek Chiou, Prabhat Jain, Larry Rudolph, Srinivas Devadas
2000Area and search space control for technology mapping.
Dirk-Jan Jongeneel, Yosinori Watanabe, Robert K. Brayton, Ralph H. J. M. Otten
2000Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.
Chung-Yang Huang, Kwang-Ting Cheng
2000Automatic formal verification of DSP software.
David W. Currie, Alan J. Hu, Sreeranga P. Rajan
2000Automatic test pattern generation for functional RTL circuits using assignment decision diagrams.
Indradeep Ghosh, Masahiro Fujita
2000B*-Trees: a new representation for non-slicing floorplans.
Yun-Chih Chang, Yao-Wen Chang, Guang-Ming Wu, Shu-Wei Wu
2000BDS: a BDD-based logic optimization system.
Congguang Yang, Maciej J. Ciesielski, Vigyan Singhal
2000Block placement with symmetry constraints based on the O-tree non-slicing representation.
Yingxin Pang, Florin Balasa, Koen Lampaert, Chung-Kuan Cheng
2000Boolean satisfiability in electronic design automation.
João P. Marques Silva, Karem A. Sakallah
2000Bus encoding for low-power high-performance memory systems.
Naehyuck Chang, Kwanho Kim, Jinsung Cho
2000CGaAs PowerPC FXU.
Alan J. Drake, Todd D. Basso, Spencer M. Gold, Keith L. Kraver, Phiroze N. Parakh, Claude R. Gauthier, P. Sean Stetson, Richard B. Brown
2000COSY communication IP's.
Jean-Yves Brunel, W. M. Kruijtzer, H. J. H. N. Kenter, Frédéric Pétrot, L. Pasquier, Erwin A. de Kock, W. J. M. Smits
2000CYCLONE: automated design and layout of RF LC-oscillators.
Carl De Ranter, Bram De Muer, Geert Van der Plas, Peter J. Vancorenland, Michiel Steyaert, Georges G. E. Gielen, Willy M. C. Sansen
2000Can recursive bisection alone produce routable placements?
Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov
2000Case studies: Chip design on the bleeding edge (panel session abstract).
John M. Cohn, Rob A. Rutenbar, Steve J. Young, Chris Malachowsky, Luis Aldaz
2000ClariNet: a noise analysis tool for deep submicron design.
Rafi Levy, David T. Blaauw, Gabi Braca, Aurobindo Dasgupta, Amir Grinshpon, Chanhee Oh, Boaz Orshav, Supamas Sirichotiyakul, Vladimir Zolotov
2000Closing the gap between ASIC and custom: an ASIC perspective.
David G. Chinnery, Kurt Keutzer
2000Closing the gap between analog and digital.
Khaled Saab, Naim Ben-Hamida, Bozena Kaminska
2000Code compression for low power embedded system design.
Haris Lekatsas, Jörg Henkel, Wayne H. Wolf
2000Communication architecture tuners: a methodology for the design of high-performance communication architectures for systems-on-chips.
Kanishka Lahiri, Anand Raghunathan, Ganesh Lakshminarayana, Sujit Dey
2000Compiling Esterel into sequential code.
Stephen A. Edwards
2000Convex delay models for transistor sizing.
Mahesh Ketkar, Kishore Kasamsetty, Sachin S. Sapatnekar
2000Critical path analysis using a dynamically bounded delay model.
Soha Hassoun
2000Current signature compression for IR-drop analysis.
Rajat Chaudhry, David T. Blaauw, Rajendran Panda, Tim Edwards
2000Depth optimal incremental mapping for field programmable gate arrays.
Jason Cong, Hui Huang
2000Design closure (panel session): hope or hype?
Raul Camposano, Jacob Greidinger, Patrick Groeneveld, Michael Jackson, Lawrence T. Pileggi, Louis Scheffer
2000Design of system-on-a-chip test access architectures under place-and-route and power constraints.
Krishnendu Chakrabarty
2000Designing systems-on-chip using cores.
Reinaldo A. Bergamaschi, William R. Lee
2000Distance driven finite state machine traversal.
Andreas Hett, Christoph Scholl, Bernd Becker
2000Domino logic synthesis minimizing crosstalk.
Ki-Wook Kim, Unni Narayanan, Sung-Mo Kang
2000Dynamic noise analysis in precharge-evaluate circuits.
Dinesh Somasekhar, Seung Hoon Choi, Kaushik Roy, Yibin Ye, Vivek De
2000Dynamic power management of complex systems using generalized stochastic Petri nets.
Qinru Qiu, Qing Wu, Massoud Pedram
2000EDA meets.COM (panel session): how E-services will change the EDA business model.
Jennifer Smith, Tom Quan, Andrew B. Kahng
2000Efficient building block based RTL code generation from synchronous data flow graphs.
Jens Horstmannshoff, Heinrich Meyr
2000Efficient error detection, localization, and correction for FPGA-based debugging.
John C. Lach, William H. Mangione-Smith, Miodrag Potkonjak
2000Efficient methods for embedded system design space exploration.
Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
2000Efficient variable ordering using aBDD based sampling.
Yuan Lu, Jawahar Jain, Edmund M. Clarke, Masahiro Fujita
2000Embedded hardware and software self-testing methodologies for processor cores.
Li Chen, Sujit Dey, Pablo Sanchez, Krishna Sekar, Ying Cheng
2000Embedded systems design in the new millennium (panel session).
A. Richard Newton, Walden C. Rhines, Sünke Mehrgardt, Henry Samueli, Tudor Brown
2000Embedded systems education (panel abstract).
Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf
2000Emerging companies - acquiring minds want to know (panel session).
Dan Schweikert, Joseph B. Costello, Rajeev Madhavan, Y. C. Pati, Judy Owen, Steve Carlson, Moshe Gavrielov
2000Extended Krylov subspace method for reduced order analysis of linear circuits with multiple sources.
Janet Meiling Wang, Tuyen V. Nguyen
2000Fast methods for extraction and sparsification of substrate coupling.
Joe Kanapka, Joel R. Phillips, Jacob White
2000Fast post-placement rewiring using easily detectable functional symmetries.
Chih-Wei Jim Chang, Chung-Kuan Cheng, Peter Suaris, Malgorzata Marek-Sadowska
2000Fast power grid simulation.
Sani R. Nassif, Joseph N. Kozhaya
2000Fast temperature calculation for transient electrothermal simulation by mixed frequency/time domain thermal model reduction.
Ching-Han Tsai, Sung-Mo Kang
2000Fingerprinting intellectual property using constraint-addition.
Gang Qu, Miodrag Potkonjak
2000Floorplan sizing by linear programming approximation.
Pinghong Chen, Ernest S. Kuh
2000Forensic engineering techniques for VLSI CAD tools.
Darko Kirovski, David T. Liu, Jennifer L. Wong, Miodrag Potkonjak
2000Formal verification of an IBM CoreConnect processor local bus arbiter core.
Amit Goel, William R. Lee
2000Formal verification of iterative algorithms in microprocessors.
Mark D. Aagaard, Robert B. Jones, Roope Kaivola, Katherine R. Kohatsu, Carl-Johan H. Seger
2000Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction.
Miroslav N. Velev, Randal E. Bryant
2000Function-level power estimation methodology for microprocessors.
Gang Qu, Naoyuki Kawabe, Kimiyoshi Usami, Miodrag Potkonjak
2000Future systems-on-chip: software of hardware design? (panel session).
Brian Dipert, Danesh Tavana, Barry K. Britton, Bill Harris, Bob Boderson, Chris Rowen
2000GTX: the MARCO GSRC technology extrapolation system.
Andrew E. Caldwell, Yu Cao, Andrew B. Kahng, Farinaz Koushanfar, Hua Lu, Igor L. Markov, Michael Oliver, Dirk Stroobandt, Dennis Sylvester
2000Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.
Hisaaki Katagiri, Keiichi Yasumoto, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
2000Hardware-software co-design of embedded reconfigurable architectures.
Yanbing Li, Tim Callahan, Ervan Darnell, Randolph E. Harr, Uday Kurkure, Jon Stockwood
2000Hardware/software IP protection.
Marcello Dalpasso, Alessandro Bogliolo, Luca Benini
2000Hierarchical analysis of power distribution networks.
Min Zhao, Rajendran Panda, Sachin S. Sapatnekar, Tim Edwards, Rajat Chaudhry, David T. Blaauw
2000High-level model of a WDMA passive optical bus for a reconfigurable multiprocessor system.
Vince E. Boros, Aleksandar D. Rakic, Sri Parameswaran
2000High-level simulation of substrate noise generation including power supply noise coupling.
Marc van Heijningen, Mustafa Badaroglu, Stéphane Donnay, Marc Engels, Ivo Bolsens
2000Impact of interconnect variations on the clock skew of a gigahertz microprocessor.
Ying Liu, Sani R. Nassif, Lawrence T. Pileggi, Andrzej J. Strojwas
2000Improved fault diagnosis in scan-based BIST via superposition.
Ismet Bayraktaroglu, Alex Orailoglu
2000Influence of compiler optimizations on system power.
Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Wu Ye
2000Interactive co-design of high throughput embedded multimedia.
Thierry J.-F. Omnés, Thierry Franzetti, Francky Catthoor
2000Interconnect testing in cluster-based FPGA architectures.
Ian G. Harris, Russell Tessier
2000Large-scale capacitance calculation.
Sharad Kapur, David E. Long
2000Lazy symbolic model checking.
Jin Yang, Andreas Tiemeyer
2000Life at the end of CMOS scaling (and beyond) (panel session) (abstract only).
Rob A. Rutenbar, Cheming Hu, Mark Horowitz, Stephen Y. Chow
2000METRICS: a system architecture for design process optimization.
Stephen Fenstermaker, David George, Andrew B. Kahng, Stefanus Mantik, Bart Thielges
2000MINFLOTRANSIT: min-cost flow based transistor sizing tool.
Vijay Sundararajan, Sachin S. Sapatnekar, Keshab K. Parhi
2000MOSFET modeling and circuit design: re-establishing a lost connection (tutorial).
Daniel Foty, David M. Binkley
2000Macro-driven circuit design methodology for high-performance datapaths.
Mahadevamurty Nemani, Vivek Tiwari
2000Maze routing with buffer insertion and wiresizing.
Minghorng Lai, D. F. Wong
2000Memory aware compilation through accurate timing extraction.
Peter Grun, Nikil D. Dutt, Alexandru Nicolau
2000Model-based dummy feature placement for oxide chemical-mechanical polishing manufacturability.
Ruiqi Tian, D. F. Wong, Robert Boone
2000Modeling and simulation of real defects using fuzzy logic.
Amir Attarha, Mehrdad Nourani, Caro Lucas
2000MorphoSys: case study of a reconfigurable computing system targeting multimedia applications.
Hartej Singh, Guangming Lu, Eliseu M. Chaves Filho, Rafael Maestre, Ming-Hau Lee, Fadi J. Kurdahi, Nader Bagherzadeh
2000Multi-terminal determinant decision diagrams: a new approach to semi-symbolic analysis of analog integrated circuits.
Tao Pi, Chuanjin Richard Shi
2000Multiple Si layer ICs: motivation, performance analysis, and design implications.
Shukri J. Souri, Kaustav Banerjee, Amit Mehrotra, Krishna Saraswat
2000Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor.
Jen-Tien Yen, Qichao Richard Yin
2000On diagnosis of pattern-dependent delay faults.
Irith Pomeranz, Sudhakar M. Reddy
2000On lower bounds for scheduling problems in high-level synthesis.
M. Narasimhan, J. Ramanujam
2000On switch factor based analysis of coupled
Andrew B. Kahng, Sudhakar Muddu, Egino Sarto
2000On-chip inductance modeling and analysis.
Kaushik Gala, Vladimir Zolotov, Rajendran Panda, Brian Young, Junfeng Wang, David T. Blaauw
2000Operating system based software generation for systems-on-chip.
Dirk Desmet, Diederik Verkest, Hugo De Man
2000Optimal RF design using smart evolutionary algorithms.
Peter J. Vancorenland, Carl De Ranter, Michiel Steyaert, Georges G. E. Gielen
2000Optimal low power X OR gate decomposition.
Hai Zhou, D. F. Wong
2000Optimal two level partitioning and loop scheduling for hiding memory latency for DSP applications.
Zhong Wang, Michael Kirkpatrick, Edwin Hsing-Mean Sha
2000Optimizing sequential verification by retiming transformations.
Gianpiero Cabodi, Stefano Quer, Fabio Somenzi
2000Passive model order reduction algorithm based on Chebyshev expansion of impulse response of interconnect networks.
Qingjian Yu, Janet Meiling Wang, Ernest S. Kuh
2000Passive model order reduction of multiport distributed interconnects.
Emad Gad, Anestis Dounavis, Michel S. Nakhla, Ramachandra Achar
2000Performance analysis and optimization of latency insensitive systems.
Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2000Performance driven multi-level and multiway partitioning with retiming.
Jason Cong, Sung Kyu Lim, Chang Wu
2000Power analysis of embedded operating systems.
Robert P. Dick, Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha
2000Power minimization derived from architectural-usage of VLIW processors.
Catherine H. Gebotys, Robert J. Gebotys, S. Wiratunga
2000Power minimization using control generated clocks.
M. Srikanth Rao, S. K. Nandy
2000Practical iterated fill synthesis for CMP uniformity.
Yu Chen, Andrew B. Kahng, Gabriel Robins, Alexander Zelikovsky
2000Predicting coupled noise in RC circuits by matching 1, 2, and 3 moments.
Bernard N. Sheehan
2000Predicting performance potential of modern DSPs.
Naji Ghazal, A. Richard Newton, Jan M. Rabaey
2000Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000.
Giovanni De Micheli
2000Projection frameworks for model reduction of weakly nonlinear systems.
Joel R. Phillips
2000Reliable verification using symbolic simulation with scalar values.
Chris Wilson, David L. Dill
2000Removing user specified false paths from timing graphs.
David T. Blaauw, Rajendran Panda, Abhijit Das
2000Routing tree construction under fixed buffer locations.
Jason Cong, Xin Yuan
2000Run-time voltage hopping for low-power real-time systems.
Seongsoo Lee, Takayasu Sakurai
2000Schedulability-driven performance analysis of multiple mode embedded real-time systems.
Youngsoo Shin, Daehong Kim, Kiyoung Choi
2000Self-test methodology for at-speed test of crosstalk in chip interconnects.
Xiaoliang Bai, Sujit Dey, Janusz Rajski
2000Singularity-treated quadrature-evaluated method of moments solver for 3-D capacitance extraction.
Jinsong Zhao
2000Static noise analysis for digital integrated circuits in partially-depleted silicon-on-insulator technology.
Kenneth L. Shepard, Dae-Jin Kim
2000Survival strategies for mixed-signal systems-on-chip (panel session).
Stephan Ohr, Rob A. Rutenbar, Henry Chang, Georges G. E. Gielen, Rudolf Koch, Roy McGuffin, K. C. Murphy
2000Symbolic guided search for CTL model checking.
Roderick Bloem, Kavita Ravi, Fabio Somenzi
2000Symbolic timing simulation using cluster scheduling.
Clayton B. McDonald, Randal E. Bryant
2000Synthesis and optimization of coordination controllers for distributed embedded systems.
Pai H. Chou, Gaetano Borriello
2000Synthesis of application-specific memories for power optimization in embedded systems.
Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino
2000Synthesis-for-testability of controller-datapath pairs that use gated clocks.
Mehrdad Nourani, Joan Carletta, Christos A. Papachristou
2000System chip test: how will it impact your design?
Yervant Zorian, Erik Jan Marinissen
2000System design of
Athanassios Boulis, Mani B. Srivastava
2000System-level data format exploration for dynamically allocated data structures.
Peeter Ellervee, Miguel Miranda, Francky Catthoor, Ahmed Hemani
2000Systematic design of a 14-bit 150-MS/s CMOS current-steering D/A converter.
Geert Van der Plas, Jan Vandenbussche, Walter Daems, Antal van den Bosch, Georges G. E. Gielen, Willy M. C. Sansen
2000TACO: timing analysis with coupling.
Ravishankar Arunachalam, Karthik Rajagopal, Lawrence T. Pileggi
2000Task generation and compile-time scheduling for mixed data-control embedded software.
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli
2000Task scheduling with RT constraints.
Marco Di Natale, Alberto L. Sangiovanni-Vincentelli, Felice Balarin
2000Test challenges for deep sub-micron technologies.
Kwang-Ting Cheng, Sujit Dey, Mike Rodgers, Kaushik Roy
2000The design and use of simplepower: a cycle-accurate energy estimation tool.
Wu Ye, Narayanan Vijaykrishnan, Mahmut T. Kandemir, Mary Jane Irwin
2000The future of system design languages (panel session).
Richard Goering, Clifford E. Cummings, Steven E. Schulz, Simon Davidman, John Sanguinetti, Joachim Kunkel, Oz Levia
2000The role of custom design in ASIC Chips.
William J. Dally, Andrew Chang
2000The use of carry-save representation in joint module selection and retiming.
Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.
2000Timing-driven placement based on partitioning with dynamic cut-net control.
Shih-Lian T. Ou, Massoud Pedram
2000To split or to conjoin: the question in image computation.
In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi
2000Unifying behavioral synthesis and physical design.
William E. Dougherty, Donald E. Thomas
2000Universal fault simulation using fault tuples.
Kumar N. Dwarakanath, Ronald D. Blanton
2000Using general-purpose programming languages for FPGA design.
Brad L. Hutchings, Brent E. Nelson
2000Verification of configurable processor cores.
Marinés Puig-Medina, Gülbin Ezer, Pavlos Konas
2000Watermarking while preserving the critical path.
Seapahn Meguerdichian, Miodrag Potkonjak
2000Wave-steering one-hot encoded FSMs.
Luca Macchiarulo, Malgorzata Marek-Sadowska
2000Web-based frameworks to enable CAD RD (abstract).
Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich
2000When bad things happen to good chips (panel session).
N. S. Nagaraj, Andrzej J. Strojwas, Sani R. Nassif, Ray Hokinson, Tak Young, Wonjae L. Kang, David Overhauser, Sung-Mo Kang
2000YAPI: application modeling for signal processing systems.
Erwin A. de Kock, W. J. M. Smits, Pieter van der Wolf, Jean-Yves Brunel, W. M. Kruijtzer, Paul Lieverse, Kees A. Vissers, Gerben Essink