ICCAD 1999:
San Jose, California, USA
Jacob K. White, Ellen Sentovich (Eds.):
Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, 1999, San Jose, California, USA, November 7-11, 1999.
IEEE 1999, ISBN 0-7803-5832-5
- Vijay Sundararajan, Sachin S. Sapatnekar, Keshab K. Parhi:
Marsh: min-area retiming with setup and hold constraints.
2-6

- Robert M. Fuhrer, Steven M. Nowick:
OPTIMISTA: state minimization of asynchronous FSMs for optimum output logic.
7-13

- Kei-Yong Khoo, Zhan Yu, Alan N. Willson Jr.:
Bit-level arithmetic optimization for carry-save additions.
14-19

- Hussein Etawil, Shawki Areibi, Anthony Vannelli:
Attractor-repeller approach for global placement.
20-24

- Ingmar Neumann, Dominik Stoffel, Hendrik Hartje, Wolfgang Kunz:
Cell replication and redundancy elimination during placement for cycle time optimization.
25-30

- Jinan Lou, Wei Chen, Massoud Pedram:
Concurrent logic restructuring and placement for timing closure.
31-36

- Aiguo Xie, Peter A. Beerel:
Implicit enumeration of strongly connected components.
37-40

- In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi:
Least fixpoint approximations for reachability analysis.
41-44

- Hiroyuki Higuchi, Fabio Somenzi:
Lazy group sifting for efficient symbolic state traversal of FSMs.
45-49

- Wolfgang Günther, Rolf Drechsler:
Efficient manipulation algorithms for linearly transformed BDDs.
50-54

- Amit Mehrotra, Alberto L. Sangiovanni-Vincentelli:
Noise analysis of non-autonomous radio frequency circuits.
55-60

- Mark M. Gourary, Sergey L. Ulyanov, Michael M. Zharov, Sergey G. Rusakov:
New methods for speeding up computation of Newton updates in harmonic balance.
61-64

- Maria del Mar Hershenson, Ali Hajimiri, Sunderarajan S. Mohan, Stephen P. Boyd, Thomas H. Lee:
Design and optimization of LC oscillators.
65-69

- Alper Demir, Peter Feldmann:
Modeling and simulation of the interference due to digital switching in mixed-signal ICs.
70-75

- Chunhong Chen, Majid Sarrafzadeh:
Provably good algorithm for low power consumption with dual supply voltages.
76-79

- Khurram Muhammad, Kaushik Roy:
A novel design methodology for high performance and low power digital filters.
80-83

- Shanq-Jang Ruan, Rung-Ji Shang, Feipei Lai, Shyh-Jong Chen, Xian-Jun Huang:
A bipartition-codec architecture to reduce power in pipelined circuits.
84-90

- Tatjana Serdar, Carl Sechen:
AKORD: transistor level and mixed transistor/gate level placement tool for digital data paths.
91-97

- Serkan Askar, Maciej J. Ciesielski:
Analytical approach to custom datapath design.
98-101

- Yanbin Jiang, Sachin S. Sapatnekar:
An integrated algorithm for combined placement and libraryless technology mapping.
102-106

- Min Zhao, Sachin S. Sapatnekar:
Timing-driven partitioning for two-phase domino and mixed static/domino implementations.
107-110

- Ki-Wook Kim, C. L. Liu, Sung-Mo Kang:
Implication graph based domino logic synthesis.
111-114

- Shih-Chieh Chang, Jung-Cheng Chuang, Zhong-Zhen Wu:
Synthesis for multiple input wires replacement of a gate for wiring consideration.
115-119

- Tuyen V. Nguyen, Peter O'Brien, David W. Winston:
Transient sensitivity computation for transistor level analysis and tuning.
120-123

- Yi-Kan Cheng, Sung-Mo Kang:
An efficient method for hot-spot identification in ULSI circuits.
124-127

- Anil Samavedam, Kartikeya Mayaram, Terri S. Fiez:
A scalable substrate noise coupling model for mixed-signal ICs.
128-131

- Pinhong Chen, Kurt Keutzer:
Towards true crosstalk noise analysis.
132-138

- Paul Tafertshofer, Andreas Ganz:
SAT based ATPG using fast justification and propagation in the implication graph.
139-146

- Xijiang Lin, Irith Pomeranz, Sudhakar M. Reddy:
Techniques for improving the efficiency of sequential circuit test generation.
147-151

- Fatih Kocan, Daniel G. Saab:
Concurrent D-algorithm on reconfigurable hardware.
152-156

- Ion I. Mandoiu, Vijay V. Vazirani, Joseph L. Ganley:
A new heuristic for rectilinear Steiner trees.
157-162

- Jason Cong, Jie Fang, Kei-Yong Khoo:
An implicit connection graph maze routing algorithm for ECO routing.
163-167

- Yu Chen, Andrew B. Kahng, Gang Qu, Alexander Zelikovsky:
The associative-skew clock routing problem.
168-172

- Shantanu Dutt, Vimalvel Shanmugavel, Steven Trimberger:
Efficient incremental rerouting for fault reconfiguration in field programmable gate arrays.
173-177

- David S. Kung, Ruchir Puri:
Optimal P/N width ratio selection for standard cell libraries.
178-184

- Rajeev Murgai:
Performance optimization under rise and fall parameters.
185-190

- Yutaka Tamiya:
Performance optimization using separator sets.
191-194

- Martin Charles Golumbic, Aviad Mintz:
Factoring logic functions using graph partitioning.
195-199

- Bernard N. Sheehan:
TICER: realizable reduction of extracted RC circuits.
200-203

- Anirudh Devgan, Peter R. O'Brien:
Realizable reduction for RC interconnect circuits.
204-207

- Xiaodong Yang, Walter H. Ku, Chung-Kuan Cheng:
RLC interconnect delay estimation via moments of amplitude and phase response.
208-213

- Altan Odabasioglu, Mustafa Celik, Lawrence T. Pileggi:
Practical considerations for passive reduction of RLC circuits.
214-220

- Ellen Sentovich, David L. Dill, Serdar Tasiran:
Formal verification meets simulation (tutorial abstract).
221

- Mattan Kamon, Steve McCormick, Ken Sheperd:
Interconnect parasitic extraction in the digital IC design methodology.
223-231

- Christoph Albrecht, Bernhard Korte, Jürgen Schietke, Jens Vygen:
Cycle time and slack optimization for VLSI-chips.
232-238

- Ivan S. Kourtev, Eby G. Friedman:
Clock skew scheduling for improved reliability via quadratic programming.
239-243

- Chandramouli Visweswariah, Andrew R. Conn:
Formulation of static circuit optimization with reduced size, degeneracy and redundancy by timing graph manipulation.
244-252

- Rainer Leupers, Peter Marwedel:
Function inlining under code size constraints for embedded processors.
253-256

- Daniel Benyamin, William H. Mangione-Smith:
Function unit specialization through code analysis.
257-260

- Margarida F. Jacome, Gustavo de Veciana:
Lower bound on latency for VLIW ASIP datapaths.
261-269

- Tony Givargis, Jörg Henkel, Frank Vahid:
Interface and cache power exploration for core-based embedded system design.
270-273

- Eui-Young Chung, Luca Benini, Giovanni De Micheli:
Dynamic power management using adaptive learning tree.
274-279

- Giuseppe Bernacchia, Marios C. Papaefthymiou:
Analytical macromodeling for high-level power estimation.
280-283

- Alessandro Bogliolo, Roberto Corgnati, Enrico Macii, Massimo Poncino:
Parameterized RTL power models for combinational soft macros.
284-288

- Arani Sinha, Sandeep K. Gupta, Melvin A. Breuer:
Validation and test generation for oscillatory noise in VLSI interconnects.
289-296

- Michael Cuviello, Sujit Dey, Xiaoliang Bai, Yi Zhao:
Fault modeling and simulation for crosstalk in system-on-chip interconnects.
297-303

- Alfred V. Gomes, Abhijit Chatterjee:
Robust optimization based backtrace method for analog circuits.
304-308

- Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli:
A methodology for correct-by-construction latency insensitive design.
309-315

- Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev:
What is the cost of delay insensitivity?
316-323

- Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens:
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions.
324-331

- Sung Tae Jung, Chris J. Myers:
Direct synthesis of timed asynchronous circuits.
332-338

- David L. Rhodes, Wayne Wolf:
Co-synthesis of heterogeneous multiprocessor systems using arbitrated communication.
339-342

- Gang Qu, Miodrag Potkonjak:
Power minimization using system-level partitioning of applications with quality of service requirements.
343-346

- Felice Balarin:
Worst-case analysis of discrete systems.
347-353

- Hung-Ming Chen, Hai Zhou, Fung Yu Young, D. F. Wong, Hannah Honghua Yang, Naveed A. Sherwani:
Integrated floorplanning and interconnect planning.
354-357

- Jason Cong, Tianming Kong, David Zhigang Pan:
Buffer block planning for interconnect-driven floorplanning.
358-363

- Mango Chia-Tso Chao, Guang-Ming Wu, Iris Hui-Ru Jiang, Yao-Wen Chang:
A clustering- and probability-based approach for time-multiplexed FPGA partitioning.
364-369

- Janet Meiling Wang, Ernest S. Kuh, Qingjian Yu:
The Chebyshev expansion based passive model for distributed interconnect networks.
370-375

- Emad Gad, Michel S. Nakhla:
Model reduction for DC solution of large nonlinear circuits.
376-379

- Jing-Rebecca Li, Jacob White:
Efficient model reduction of interconnect via approximate system gramians.
380-384

- Srivaths Ravi, Ganesh Lakshminarayana, Niraj K. Jha:
A framework for testing core-based systems-on-a-chip.
385-390

- Krishnendu Chakrabarty:
Test scheduling for core-based systems.
391-394

- Qiushuang Zhang, Ian G. Harris:
Partial BIST insertion to eliminate data correlation.
395-399

- Huiqun Liu, D. F. Wong:
A graph theoretic optimal algorithm for schedule compression in time-multiplexed FPGA partitioning.
400-405

- Inki Hong, Miodrag Potkonjak, Lisa M. Guerra:
Throughput optimization of general non-linear computations.
406-409

- Junhyung Um, Taewhan Kim, C. L. Liu:
Optimal allocation of carry-save-adders in arithmetic optimization.
410-413

- Soha Hassoun, Carolyn McCreary:
Regularity extraction via clan-based structural circuit decomposition.
414-419

- Yehea I. Ismail, Eby G. Friedman, José Luis Neves:
Repeater insertion in tree structured inductive interconnect.
420-424

- Ron Ho, Ken Mai, Hema Kapadia, Mark Horowitz:
Interconnect scaling implications for CAD.
425-429

- Charles J. Alpert, Anirudh Devgan, Stephen T. Quay:
Is wire tapering worthwhile?
430-436

- Michael W. Beattie, Lawrence T. Pileggi:
Electromagnetic parasitic extraction via a multipole method with hierarchical refinement.
437-444

- A. J. Dammers, N. P. van der Meijs:
Virtual screening: a step towards a sparse partial inductance matrix.
445-452

- Junfeng Wang, Johannes Tausch, Jacob K. White:
A wide frequency range surface integral formulation for 3-D RLC extraction.
453-458

- Sani R. Nassif, Tuyen V. Nguyen:
SOI technology and tools (abstract).
459

- Rolf Ernst, Kees A. Vissers, Pieter van der Wolf, Gert-Jan van Rootselaar:
System level design and debug of high-performance embedded media systems (tutorial).
461

- Irith Pomeranz, Sudhakar M. Reddy:
An approach for improving the levels of compaction achieved by vector omission.
463-466

- Bapiraju Vinnakota:
Deep submicron defect detection with the energy consumption ratio.
467-470

- Pankaj Pant, Abhijit Chatterjee:
Efficient diagnosis of path delay faults in digital logic circuits.
471-476

- Preeti Ranjan Panda:
Memory bank customization and assignment in behavioral synthesis.
477-481

- Kamal S. Khouri, Ganesh Lakshminarayana, Niraj K. Jha:
Memory binding for performance optimization of control-flow intensive behaviors.
482-488

- Dirk Herrmann, Rolf Ernst:
Improved interconnect sharing by identity operation insertion.
489-493

- Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani:
Formal specification and verification of a dataflow processor array.
494-499

- Dragos Lungeanu, C.-J. Richard Shi:
Distributed simulation of VLSI systems via lookahead-free self-adaptive optimistic and conservative synchronization.
500-504

- Harry Hsieh, Felice Balarin:
Synchronous equivalence for embedded systems: a tool for design exploration.
505-510

- Rajeev Murgai:
On the global fanout optimization problem.
511-515

- Peyman Rezvani, Amir H. Ajami, Massoud Pedram, Hamid Savoj:
LEOPARD: a Logical Effort-based fanout OPtimizer for ARea and Delay.
516-519

- Jie-Hong Roland Jiang, Iris Hui-Ru Jiang:
Optimum loading dispersion for high-speed tree-type decision circuitry.
520-525

- Clayton B. McDonald, Randal E. Bryant:
Symbolic functional and timing verification of transistor-level circuits.
526-530

- Kenneth L. Shepard, Dae-Jin Kim:
Body-voltage estimation in digital PD-SOI circuits and its application to static timing analysis.
531-538

- Alexander Saldanha:
Functional timing optimization.
539-543

- Yuji Kukimoto, Robert K. Brayton:
Timing-safe false path removal for combinational modules.
544-550

- Rachid Helaihel, Kunle Olukotun:
JMTP: an architecture for exploiting concurrency in embedded Java applications with real-time considerations.
551-557

- Lothar Thiele, Karsten Strehl, Dirk Ziegenbein, Rolf Ernst, Jürgen Teich:
FunState - an internal design representation for codesign.
558-565

- Kanishka Lahiri, Anand Raghunathan, Sujit Dey:
Fast performance analysis of bus-based system-on-chip communication architectures.
566-573

- Andreas Kuehlmann, Kenneth L. McMillan, Robert K. Brayton:
Probabilistic state space search.
574-579

- Jules P. Bergmann, Mark Horowitz:
Improving coverage analysis and test generation for large designs.
580-583

- Jun Yuan, Kurt Shultz, Carl Pixley, Hillel Miller, Adnan Aziz:
Modeling design constraints and biasing in simulation using BDDs.
584-590

- Edoardo Charbon, Ilhami Torunoglu:
Copyright protection of designs based on multi source IPs.
591-595

- Darko Kirovski, Miodrag Potkonjak:
Localized watermarking: methodology and application to operation scheduling.
596-599

- Andrew B. Kahng, Darko Kirovski, Stefanus Mantik, Miodrag Potkonjak, Jennifer L. Wong:
Copy detection for intellectual property protection of VLSI designs.
600-605

- Jacob White, Gary K. Fedder, Tamal Mukherjee:
Path toward future CAD environments for MEMS (tutorial abstract).
606

- Nikil D. Dutt, Eric M. Foster:
Design of a set-top box system on a chip (abstract).
608

- Nikil D. Dutt, Brian Kelley:
On the rapid prototyping and design of a wireless communication system on a chip (abstract).
609

- Jacob White, Jacob Avidan, Abe Elfadel, D. F. Wong:
Advances in transistor timing, simulation, and optimization (tutorial abstract).
611

- Reinaldo A. Bergamaschi, Brian M. Barry, John Duimovich:
Embedded Java: techniques and applications (tutorial abstract).
613

Last update Sun May 19 22:29:54 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page