default search action
12th VLSI Design 1999: Goa, India
- 12th International Conference on VLSI Design (VLSI Design 1999), 10-13 January 1999, Goa, India. IEEE Computer Society 1999, ISBN 0-7695-0013-7
Invited Talks
- Robert A. Pease:
Invited Talk: The Information Appliance and Its Interface to the Analog World: Easy - Or Not So Easy.
TCAD to ECAD I
- Nagaraj Ns, Poras T. Balsara, Cyrus D. Cantrell:
Mini-Tutorial: Bridging the Gap between TCAD and ECAD Methodologies in Deep Sub-Micron Interconnect Extraction and Analysis. 6-11 - Li-Fu Chang, Abhay Dubey, Keh-Jeng Chang, Robert Mathews, Ken Wong:
Incorporating Process Induced Effects into RC Extraction. 12-17 - Marko P. Chew, Sharad Saxena, Thomas F. Cobourn, Purnendu K. Mozumder, Andrzej J. Strojwas:
A New Methodology for Concurrent Technology Development and Cell Library Optimization. 18-25
Low Power I
- Bedabrata Pain, Guang Yang, Brita Olson, Timothy Shaw, Monico Ortiz, Julie Heynssens, Chris Wrigley, Charlie Ho:
A Low-Power Digital Camera-on-a-Chip Implemented in CMOS Active Pixel Approach. 26-31 - Anantha P. Chandrakasan, Abram P. Dancy, James Goodman, Thomas Simon:
A Low-Power Wireless Camera System. 32-36 - Paulo F. Flores, José C. Costa, Horácio C. Neto, José Monteiro, João Marques-Silva:
Assignment and Reordering of Incompletely Specified Pattern Sequences Targetting Minimum Power Dissipation. 37-41 - Mahesh Mehendale, Sunil D. Sherlekar:
Low Power Code Generation of Multiplication-free Linear Transforms. 42-47 - Nithya Raghavan, Venkatesh Akella, Smita Bakshi:
Automatic Insertion of Gated Clocks at Register Transfer Level. 48-54 - Kavita Nair, Ramesh Harjani:
Compact, Ultra Low Power, Programmable Continuous-Time Filter Banks for Feedback Cancellation in Hearing Aid. 55-60 - P. K. Singh, Sriram Jayasimha:
A Low-Complexity, Reduced-Power Viterbi Algorithm. 61-66 - Basabi Bhaumik, Pravas Pradhan, G. S. Visweswaran, Rajamohan Varambally, Anand Hardi:
A Low Power 256 KB SRAM Design. 67-71
Testing I
- Yoshinobu Higami, Kewal K. Saluja, Kozo Kinoshita:
Efficient Techniques for Reducing IDDQ Observation Time for Sequential Circuits. 72-77 - R. D. (Shawn) Blanton:
IDDQ-Testability of Tree Circuits. 78-86 - M. Jamoussi:
Test-Vector Prediction of M-Testable Iterative Arrays. 87-90 - C. P. Ravikumar, Manish Sharma, R. K. Patney:
Improving the Diagnosability of Digital Circuits. 629-634 - Sujit T. Zachariah, Sreejit Chakravarty:
A Comparative Study of Pseudo Stuck-At and Leakage Fault Model. 91-94 - C. P. Ravikumar, Ajay Mittal:
Hierarchical Delay Fault Simulation. 635- - Basabi Bhaumik, G. S. Visweswaran, R. Lakshminarasimhan:
A New Test Compression Scheme. 95-99 - Vinod K. Agarwal:
Invited Talk: Embedded Test for Systems-on-a-Chip.
TCAD to ECAD II
- Andrew B. Kahng:
Mini-Tutorial: IC Layout and Manufacturability: Critical Links and Design Flow Implications. 100-105 - Andrew B. Kahng, Gabriel Robins, Anish Singh, Alexander Zelikovsky:
New and Exact Filling Algorithms for Layout Density Control. 106-110 - Fang-Cheng Chang, Melissa Kwok, Kenneth Rachlin, Robert Pack:
Silicon-Level Physical Verification of Sub Wavelength(tm) Designs. 603- - Franklin M. Schellenberg:
Design for Manufacturing in the Semiconductor Industry: The Litho/Design Workshops. 111-119 - Akis Doganis, James C. Chen:
Interconnect Simple, Accurate and Statistical Models Using On-Chip Measurements for Calibration. 120-127
Co-Design and Synthesis
- Rashmi Goswami, V. Srinivasan, M. Balakrishnan:
MPEG-2 Video Data Simulator: A Case Study in Constrained HW-SW Codesign. 128-132 - V. Rajesh, Rajat Moona:
Processor Modeling for Hardware Software Codesign. 132-137 - Mattias O'Nils, Axel Jantsch:
Synthesis of DMA Controllers from Architecture Independent Descriptions of HW/SW Communication Protocols. 138-145 - Apostolos A. Kountouris, Christophe Wolinski:
Hierarchical Conditional Dependency Graphs for Mutual Exclusiveness Identification. 146-150 - Ludovic Jacomme, Frédéric Pétrot, Rajesh K. Bawa:
Formal Analysis of Single WAIT VHDL processes for Semantic Based Synthesis. 151-156 - Manpreet S. Khaira:
nvited Talk: Micro-2010: Lead Microprocessor for 2010 - Myth or Reality? 157-159
Analog Design I
- Satrajit Gupta, Lalit M. Patnaik:
Exact Output Response Computation of RC Interconnects under Polynomial Input Waveforms. 160-163 - A. B. Bhattacharyya, Saudas Dey:
Sub-Circuit Analysis for Power Supply Rejection Ratio in Regulated Cascode Operational Transconductance Amplifiers and Filters. 164-168 - Shabbir H. Batterywala, H. Narayanan:
Efficient DC Analysis of RVJ Circuits for Moment and Derivative Commutations of Interconnect Networks. 169-174 - Savithri Sundareswaran, David T. Blaauw, Abhijit Dharchoudhury:
A Three-Tier Assertion Technique for Spice Verification of Transistor Level Timing Analysis. 175-180 - Robert A. Thacker, Wendy Belluomini, Chris J. Myers:
Timed Circuit Synthesis Using Implicit Methods. 181-188 - Pradip Mandal, V. Visvanathan:
A New Approach for CMOS Op-Amp Synthesis. 189-195
Multi-Valued Logic
- Robert K. Brayton, Sunil P. Khatri:
Multi-Valued Logic Synthesis. 196-105 - Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Sequential Multi-Valued Network Simplification using Redundancy Removal. 206-211 - Shugang Wei, Kensuke Shimizu:
Residue Arithmetic Multiplier Based on the Radix-4 Signed-Digit Multiple-Valued Arithmetic Circuits. 212-217 - Luca Macchiarulo, Pierluigi Civera:
Functional Decomposition through Structural Analysis of Decision Diagrams - the Binary and Multiple-Valued Cases. 218-
Verification I
- Partha Pratim Chakrabarti, Pallab Dasgupta, Partha Pratim Das, Arnob Roy, Shuvendu K. Lahiri, Mrinal Bose:
Controlling State Explosion in Static Simulation by Selective Composition. 226-231 - Rathish Jayabharathi, Manuel A. d'Abreu, Jacob A. Abraham:
FzCRITIC - A Functional Timing Verifier Using a Novel Fuzzy Delay Model. 232-235 - Peter M. Maurer:
Efficient Simulation for Hierarchical and Partitioned Circuits. 236-241 - Ajoy C. Siddabathuni, M. Balakrishnan:
Simulation and Modeling of a Multicast ATM Switch. 242- - Ramayya Kumar:
Invited Talk: Practical Use of Formal Verification - Where are we? Where do we go?
Testing II
- Irith Pomeranz, Sudhakar M. Reddy:
VERSE: A Vector Replacement Procedure for Improving Test Compaction in Synchronous Sequential Circuits. 250-255 - Pradip A. Thaker, Mona E. Zaghloul, Minesh B. Amin:
Study of Correlation of Testability Aspects of RTL Description and Resulting Structural Implementations. 256-259 - Zbigniew Kalbarczyk, Janak H. Patel, Myeong S. Lee, Ravishankar K. Iyer:
An Approach to Evaluating the Effects of Realistic Faults in Digital Circuits. 260-265 - Debaleena Das, Nur A. Touba:
A Low Cost Approach for Detecting, Locating, and Avoiding Interconnect Faults in FPGA-Based Reconfigurable Systems. 266-269 - Bernard Courtois, Jean-Michel Karam, Salvador Mir, Marcelo Lubaszewski, Vladimír Székely, Márta Rencz, Klaus Hofmann, Manfred Glesner:
Design and Test of MEMs. 270-
Verification II
- Vishnu A. Patankar, Alok Jain, Randal E. Bryant:
Formal Verification of an ARM Processor. 282-287 - Srivatsan Srinivasan, Parminder Singh Chhabra, Praveen Kumar Jaini, Adnan Aziz, Lizy Kurian John:
Formal Verification of a Snoop-Based Cache Coherence Protocol Using Symbolic Model Checking. 288-293 - Jatindra Kumar Deka, Pallab Dasgupta, P. P. Chakrabarti:
An Efficiently Checkable Subset of TCTL for Formal Verification of Transition Systems with Delays. 294-299 - Noppanunt Utamaphethai, R. D. (Shawn) Blanton, John Paul Shen:
Superscalar Processor Validation at the Microarchitecture Level. 300-305 - Tamarah Arons, Amir Pnueli:
Verifying Tomasulo's Algoithm by Refinement. 306-309 - Jeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman:
Logic Verification of Very Large Circuits Using Shark. 310-317 - Ingo Sander, Axel Jantsch:
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons. 318-323 - Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti:
Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. 324-
DSP
- Anupam Basu, Rainer Leupers, Peter Marwedel:
Array Index Allocation under Register Constraints in DSP Programs. 330-335 - D. V. R. Murthy, Seetharaman Ramachandran, S. Srinivasan:
Parallel Implementation of 2D-Discrete Cosine Transform Using EPLDs. 336-339 - Bupesh Pandita, Subir K. Roy:
Design and Implementation of Viterbi Decoder Using FPGAs. 611- - M. N. Mahesh, Satrajit Gupta, Mahesh Mehendale:
Improving Area Efficiency of Residue Number System based Implementation of DSP Algorithms. 340-345 - Avinash K. Gautam, Jagdish C. Rao, Rohit Rathi, H. Udayakumar:
A Design-in Methodology to Ensure First Time Success of Complex Digital Signal Processors. 346-349 - S. Ramanathan, V. Visvanathan, S. K. Nandy:
Synthesis of Configurable Architectures for DSP Algorithms. 350-357 - Sudhakar Bobba, Ibrahim N. Hajj, Naresh R. Shanbhag:
Analytical Expressions for Power Dissipation of Macro-blocks in DSP Architectures. 358-
Logic Synthesis
- Peichen Pan, Guohua Chen:
Optimal Retiming for Initial State Computation. 366-371 - Tai-Hung Liu, Malay K. Ganai, Adnan Aziz, Jeffrey L. Burns:
Performance Driven Synthesis for Pass-Transistor Logic. 372-377 - B. N. V. Malleswara Gupta, H. Narayanan, Madhav P. Desai:
A State Assignment Scheme Targeting Performance and Area. 378-383 - S. Ramesh:
Efficient Translation of Statecharts to Hardware Circuits. 384-389 - Chitrasena Bhat, Niranjan N. Chiplunkar:
Heuristic Technology Mapper For Lut Based Fpgas. 390-393 - Rajeev Murgai, Jawahar Jain, Masahiro Fujita:
Efficient Scheduling Techniques for ROBDD Construction. 394-401 - Prashant Saxena, Peichen Pan, C. L. Liu:
The Retiming of Single-Phase Clocked Circuits Containing Level-Sensitive Latches. 402-407 - Amit Narayon:
Recent Advances in BDD Based Representations for Boolean Functions: A Survey. 408-
Low Power II
- Xiaodong Zhang, Kaushik Roy, Sudipta Bhawmik:
POWERTEST: A Tool for Energy Conscious Weighted Random Pattern Testing. 416-422 - Pradeep Prabhakaran, Prithviraj Banerjee, Jim E. Crenshaw, Majid Sarrafzadeh:
Simultaneous Scheduling, Binding and Floorplanning for Interconnect Power Optimization. 423-427 - Mircea R. Stan:
Optimal Voltages and Sizing for Low Power. 428-433 - Vishwani D. Agrawal, Michael L. Bushnell, Ganapathy Parthasarathy, Rajesh Ramadoss:
Digital Circuit Design for Minimum Transient Energy and a Linear Programming Method. 434-439 - Unni Narayanan, Georgios I. Stamoulis, Rabindra K. Roy:
Characterizing Individual Gate Power Sensitivity in Low Power Design. 625- - Vamsi Krishna, N. Ranganathan, Narayanan Vijaykrishnan:
Energy Efficient Datapath Synthesis Using Dynamic Frequency Clocking and Multiple Voltages. 440-
Physical Design I
- Bulent Basaran, Kiran Ganesh, Raymond Y. K. Lau, Artour Levin, Miles McCoo, Srinivasan Rangarajan, Naresh Sehgal:
GeneSys: A Leaf-Cell Layout Synthesis System for GHz VLSI Designs. 448-452 - Avaneendra Gupta, John P. Hayes:
Near-Optimum Hierarchical Layout Synthesis of Two-Dimensional CMOS Cells. 453-459 - C. S. Raghu, Suravi Bhowmik, Poorvaja Ramani, S. Sundaram:
COST Circuit Optimization SysTem in ASIC Library Development Environment. 460-463 - Andrew B. Kahng, Sudhakar Muddu, Egino Sarto:
Interconnect Optimization Strategies for High-Performance VLSI Designs. 464-469 - Ashok Vittal, Lauren Hui Chen, Malgorzata Marek-Sadowska, Kai-Ping Wang, Sherry Yang:
Modeling Crosstalk in Resistive VLSI Interconnections. 470-475 - Noel Menezes, Chung-Ping Chen:
Spec-Based Repeater Insertion and Wire Sizing for On-chip Interconnect. 476-
Testing III
- Keerthi Heragu, Janak H. Patel, Vishwani D. Agrawal:
A Test Generator for Segment Delay Faults. 484-491 - Subhashis Majumder, Bhargab B. Bhattacharya, Vishwani D. Agrawal, Michael L. Bushnell:
A Complete Characterization of Path Delay Faults through Stuck-at Faults. 492-497 - Jue Wu, Elizabeth M. Rudnick:
A Diagnostic Fault Simulator for Fast Diagnosis of Bridge Faults. 498-505 - Shashank K. Mehta, Sharad C. Seth:
Empirical Computation of Reject Ratio in VLSI Testing. 506-511 - Susanta Chakraborty, Sandip Das, Debesh K. Das, Bhargab B. Bhattacharya:
Synthesis of Symmetric Functions for Path-Delay Fault Testability. 512-517 - Sudip Chakrabarti, Abhijit Chatterjee:
Diagnostic Test Pattern Generation for Analog Circuits Using Hierarchical Models. 518-523
Digital Design and Applications
- Rajiv V. Joshi, Wei Hwang:
Design Considerations and Implementation of a High Performance Dynamic Register File. 526-531 - Kolin Paul, P. Dutta, Dipanwita Roy Chowdhury, Prasanta Kumar Nandi, Parimal Pal Chaudhuri:
A VLSI Architecture for On-Line Image Decompression Using GF(28) Cellular Automata. 532-537 - Jacob Augustine, William E. Lynch, Yuke Wang, Asim J. Al-Khalili:
Lossy Compression of Images Using Logic Minimization. 538-543 - Swarup Bhunia, Soumya K. Ghosh, Pramod Kumar, Partha Pratim Das, Jayanta Mukherjee:
Design, Simulation and Synthesis of an ASIC for Fractal Image Compression. 544-547 - Lov K. Grover:
Invited Talk: Quantum Computation. 548-
Physical Design II
- Sree Ganesan, Ranga Vemuri:
FAAR: A Router for Field-Programmable Analog Arrays. 556-563 - Sandip Das, Subhas C. Nandy, Bhargab B. Bhattacharya:
High Performance MCM Routing: A New Approach. 564-569 - Jayadeva:
Sequential Chaotic Annealing and its Application to Multilayer Channel Routing. 570-573 - Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar:
Satisfiability-Based Detailed FPGA Routing. 574-577 - Pradip K. Kar, Subir K. Roy:
TECHMIG: A Layout Tool for Technology Migration. 615-620 - Andrew B. Kahng, Sudhakar Muddu:
Improved Effective Capacitance Computations for Use in Logic and Layout Optimization. 578-583
Analog Design II
- Onuttom Narayan, Jaijeet S. Roychowdhury:
Analyzing Forced Oscillators with Multiple Time Scales. 621- - Joonbae Park, Yido Koo, Wonchan Kim:
A Semi-Digital Delay Locked Loop for Clock Skew Minimization. 584-588 - Nagu R. Dhanwada, Adrián Núñez-Aldana, Ranga Vemuri:
Component Characterization and Constraint Transformation Based on Directed Intervals for Analog Synthesis. 589-596 - Pramodchandran N. Variyam, Junwei Hou, Abhijit Chatterjee:
Test Generation for Analog Circuits Using Partial Numerical Simulation. 597-602
Tutorials
- Srinivas Devadas, Sharad Malik, José Monteiro, Luciano Lavagno:
CAD Techniques for Embedded System Design. 608 - Manuel d'Arbreu, Abhijit Chatterjee:
Manufacturability of Mixed Signal Systems. 608 - Kaushik Roy, Anand Raghunathan, Sujit Dey:
Low Power Design Methodologies for Systems-on-Chips. 609 - Rahul Razdan, Apurva Kalia, Manu Lauria:
Verification of Systems-on-Chip Designs. 609 - Sudip Nag, H. K. Verma, Kaushik Roy:
VLSI Signal Processing in FPGAs. 609 - Janusz Rajski, Jerzy Tyszer, Sanjay Patel:
Built-In Self-Test for Systems on Silicon. 609-610
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.