default search action
ISCAS 1994: London, UK - Volume 1
- 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994. IEEE 1994, ISBN 0-7803-1916-8
CAD 1: Simulation & Systolic Analysis
- Jai-Cheol Lee, Yu Hen Hu:
EDLICS: A New Relaxation-Based Electrical Circuit Simulation Technique. 1-4 - Takeshi Senoo, Hiroaki Makino, Hideki Asai:
Relaxation-Based Steady-State Analysis of Single- and Multi-Conductor Transmission Lines in Frequency Domain. 5-8 - Masakatsu Nishigaki, Nobuyuki Tanaka, Hideki Asai:
Mixed Mode Circuit Simulator SPLIT2.1 using Dynamic Network Separation and Selective Trace. 9-12 - Abdolreza Nabavi-Lishi, Nicholas C. Rumin:
Inverter-based Models for Current Analysis of CMOS Logic Circuits. 13-16 - Krzysztof Zamlynski, Jan Ogrodzki:
Electro-Thermal Analysis of IC's. 17-20 - Shyh-Jye Jou, Mei-Fang Perng, Chauchin Su, C. K. Wang:
Hierarchical Techniques for Symbolic Analysis of Large Electronic Circuits. 21-24 - Francisco V. Fernández, Piet Wambacq, Georges G. E. Gielen
, Ángel Rodríguez-Vázquez, Willy M. C. Sansen:
Symbolic Analysis of Large Analog Integrated Circuits by Approximation During Expression Generation. 25-28 - Scott E. Greenfield, Marwan M. Hassoun:
Direct Hierarchical Symbolic Transient Analysis of Linear Circuits. 29-32 - Wlodzimierz M. Zuberek, Agnieszka Konczykowska, D. Martin:
An Approach to Integrated Numerical & Symbolic Circuit Analysis. 33-36
CAD 2: Datapath Synthesis
- Ching-Chuen Jong, Y. Y. H. Lam, S. S. Lim, T. S. Teng:
Time-Zone: A New Algorithm for Register Allocation in Data Path Synthesis. 37-40 - N. A. Ramakrishna, Magdy A. Bayoumi:
Storage Allocation Strategies for Data Path Synthesis of ACICs. 41-44 - Jer-Min Jou, Ren-Der Chen, Shiann-Rong Kuang:
Multiport Memory Based Data Path Allocation Focusing on Interconnection Optimization. 45-48 - Kwangsoo Seo, Jeongyop Lee, Moonkey Lee:
Allocation of Multiport Memories in ASIC Data Path Synthesis. 49-52 - Bruce A. Johnston, Peter J. W. Graumann, Laurence E. Turner:
DSP System Synthesis Including Variable Data Path Width. 53-56 - Yuan Hu, Bradley S. Carlson:
A Unified Algorithm for Estimation and Scheduling in Data Path Synthesis. 57-60 - Santanu Dutta, Sudip Nag, Kaushik Roy:
ASAP: A Transistor Sizing Tool for Speed Area and Power Optimization of Static CMOS Circuits. 61-64 - Naim Ben-Hamida, Bozena Kaminska:
High Level Synthesis with Testability Constraints. 65-68
CAD 3: POSTER - Layout, Thermal & Test
- Shujian Zhang, Rod Byrne, Jon C. Muzio, D. Michael Miller:
Why Cellular Automata are better than LFSRs as Built-in Self-test Generators for Sequential-type Faults. 69-72 - Akachai Sang-In, Peter Y. K. Cheung:
A Method of Representative Fault Selection in Digital Circuits for ATPG. 73-76 - Beom-Ik Cheon, Walter Anheier, Rainer Laur:
A New Strategy for Test Pattern Generation in Sequential Circuits. 77-80 - Cristiana Bolchini, Franco Fummi, Donatella Sciuto:
Two-Dimensional Sequential Array Architectures: Design for Testability Approaches. 81-84 - Jer-Min Jou, Shung-Chih Chen, Ren-Der Chen:
A Super Fast & Memory Efficient Diagnostic Simulation Algorithm for Combinatorial Circuits. 85-88 - Mokhtar Hirech, Olivier Florent, Alain Greiner, El Housseine Rejouan:
A Redefinable Symbolic Simulation Technique to Testability Design Rules Checking. 89-92 - Mineo Kaneko, Kazuhiro Sakaguchi:
Oscillation Fault Diagnosis for Analog Circuits based on Boundary Search with Perturbation Model. 93-96 - Mariusz Ziólko:
Optimal Placement of Heat Dissipating Elements. 97-99 - H. Mauritz, Wolfgang Mathis:
Integration System as Adaptive Control System. 101-104 - Jin-Tai Yan, Pei-Yung Hsiao:
Region Definition of Minimizing the Number of Switchboxes and Ordering Assignment. 105-108 - N. S. Nagaraj, Paul Krivacek, Mark Harward:
Approximate Computation of Signal Characteristics of On-chip RC Interconnect Trees. 109-112 - Joseph L. Ganley, James P. Cohoon:
Routing a Multi-Terminal Critical Net: Steiner Tree Construction in the Presence of Obstacles. 113-116 - Dilvan de Abreu Moreira, Les T. Walczowski:
Automated Placement for a Leaf Cell Generator. 117-120
CAD 4: Statistical Design
- Ming Qu, M. A. Styblinski:
Statistical Characterization and Modeling of Analog Functional Blocks. 121-124 - Jin-Qin Lu, Kimihiro Ogawa, Takehiko Adachi, Andrzej J. Strojwas:
Stochastic Interpolation Model Scheme for Statistical Circuit Design. 125-128 - John W. Bandler, S. H. Chen, R. M. Biernacki, Kim Halskov Madsen:
The Huber Concept in Device Modeling, Circuit Diagnosis and Design Centering. 129-132 - Hua Su, Christopher Michael, Mohammed Ismail:
Statistical Constrained Optimization of Analog CMOS Circuits using Empirical Performance Models. 133-136 - Leszek J. Opalski, Jacek Wojciechowski:
Application of the Piecewise Ellipsoidal Approximation Technique to Design Centering. 137-140 - Morie E. Malowany, Gordon W. Roberts, Vinod K. Agarwal:
VAMP: A Hierarchical Framework for Design for Manufacturability. 141-144 - John W. Bandler, R. M. Biernacki, S. H. Chen, P. A. Grobelny:
A CAD Environment for Performance and Yield Driven Circuit Design Employing Electromagnetic Field Simulators. 145-148 - Syed A. Aftab, M. A. Styblinski:
IC Variability Minimization using a New Cp and Cpk Based Variability/Performance Measure. 149-152 - J. C. Zhang:
Worst Case Design of Digital Integrated Circuits. 153-156
CAD 5: Placement
- Abdelhakim Safir, Baher Haroun, Krishnaiyan Thulasiraman:
A Floorplanner driven by Structural & Timing Constraints. 157-160 - Cheng-Hsi Chen, Ioannis G. Tollis:
A New Approach to Floorplan Area Optimization: To Slice or not to Slice? 161-164 - Tetsushi Koide, Yoshinori Katsura, Katsumi Yamatani, Shin'ichi Wakabayashi, Noriyoshi Yoshida:
A Floorplanning Method with Topological Constraint Manipulation. 165-168 - P. Chin, Anthony Vannelli:
Interior Point Methods for Placement. 169-172 - Achim G. Hoffmann:
The Dynamic Locking Heuristic - A New Graph Partitioning Algorithm. 173-176 - Carsten F. Ball, Peter V. Kraus, Dieter A. Mlynski:
Fuzzy Partitioning applied to VLSI-Floorplanning and Placement. 177-180 - M. Kemal Unaltuna, Vijay Pitchumani:
A Stochastic Reward & Punishment Neural Network Algorithm for Circuit Bipartitioning. 181-184 - Masahiko Toyonaga, Shih-Tsung Yang, Toshiro Akino, Isao Shirakawa:
A New Approach of Fractional-Dimension Based Module Clustering for VLSI Layout. 185-188 - Yhonkyong Choi, Juhyun Lee, Chong S. Rim:
Automatic Functional Cell Generation in the Sea-of-Gates Layout Style. 189-192
CAD 6: POSTERS - Synthesis & DSP CAD
- Masaki Hashizume, Takeomi Tamesada, Akio Sakamoto:
A Maximum Clique Derivation Algorithm for Simplification of Incompletely Specified Machines. 193-196 - Bogdan J. Falkowski, Chip-Hong Chang:
Efficient Algorithms for the Calculation of Arithmetic Spectrum from OBDD & Synthesis of OBDD from Arithmetic Spectrum for Incompletely Specified Boolean Functions. 197-200 - Stanislaw Deniziak, Krzysztof Sapiecha:
Cupland - A Behavioral Level Description Compiler for Designing of PLD/EPLD-Based Systems. 201-204 - Uwe F. Baake, Sorin A. Huss:
Scheduling of Signal Transition Graphs under Timing Constraints. 205-208 - Jazi Eko Istiyanto, Sean Monaghan:
FPGA-Memory Tradeoff in the High-Level Synthesis of FPGA-Based Reconfigurable Systems. 209-212 - Sanjive Agarwala, Patrick W. Bosshart:
A Linear Time Algorithm for Timing Directed Circuit Optimizations. 213-216 - Chris J. Rousse, Alison J. Carter:
Exploring Delay/Area Trade-Offs of an LDI Filter Using a Natural Based Algorithm. 217-220 - Kunihiro Fujiyoshi, Yoji Kajitani, Hiroshi Niitsu:
Design of Optimum Totally Perfect Connection-Blocks of FPGA. 221-224 - Shin'ichi Wakabayashi, Kazunori Isomoto, Tetsushi Koide, Noriyoshi Yoshida:
A Systolic Graph Partitioning Algorithm for VLSI Design. 225-228 - Michael F. Dossis, James M. Noras, Gary J. Porter:
Synthesis of Customized Hardware from ADA. 229-232 - M. J. M. Heijiligers, H. A. Hilderink, Adwin H. Timmer, Jochen A. G. Jess:
NEAT: An Object Oriented High-Level Synthesis Interface. 233-236 - Ning Song, Malgorzata Chrzanowska-Jeske:
Output Column Folding for Cellular-Architecture FPGAs. 237-240 - Giuseppe Caruso:
An Improved Algorithm for Boolean Factoring. 241-244 - Karim Khordoc, Eduard Cerny:
Modeling Cell Processing Hardware with Action Diagrams. 245-248 - Minjoong Rim, Rajiv Jain:
Estimating Performance Characteristics of Loop Transformations. 249-252 - William Y. M. Lai, C. K. Tse, C. H. Szeto:
Computer Formulation of Averaged Models for Periodically-Switched Networks. 253-256 - Jukka Lahti:
Graphical Specification Methods for Digital Telecommuniation ASICs. 257-260 - Tolga Çiloglu, Zafer Ünver:
A Novel Method for Discrete Coefficient FIR Digital Filter Design. 261-264 - Jouni Isoaho, Jari Nurmi:
An Overall FIR Filter Optimization Tool for High Granularity Implementation Technologies. 265-268
CAD 7: FORUM - Mixed Analog-Digital Simulation
- John Harris, Mark Chadwick, Tom Quan, Norbert Diesing, Edward MacRobbie:
Mixed Analog-Digital Simulation: The tools are here... is anyone really using them? 269-274
CAD 8: Synthesis & Test
- Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer:
Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams. 275-278 - Loïc Vandeventer, Jean François Santucci:
Using Binary Decision Diagrams to Speed up the Test Pattern Generation of Behavioral Circuit Descriptions Written in Hardware Description Languages. 279-282 - Liang-Fang Chao, Edwin Hsing-Mean Sha:
Retiming and Clock Skew for Synchronous Systems. 283-286 - Chien-Chung Tsai, Malgorzata Marek-Sadowska:
Detecting Symmetric Variables in Boolean Functions using Generalized Reel-Muller Forms. 287-290 - Jérôme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli:
A Synthesis Framework Based on Trace and Automata Theory. 291-294 - Yuan Hu, Bradley S. Carlson:
Improved Lower Bounds for the Scheduling Optimization Problem. 295-298 - Gianpiero Cabodi, Paolo Camurati, Stefano Quer:
Detecting hard faults with combined approximate forward/backward symbolic techniques. 299-302 - João P. Marques Silva, Karem A. Sakallah:
Efficient and Robust Test Generation-Based Timing Analysis. 303-306 - Sung Tae Jung, Chu Shik Jhon:
Direct Synthesis of Efficient Speed-Independent Circuits from Deterministic Signal Transition Graphs. 307-310
CAD 9: Modeling & Simulation
- Robert Chen-Hao Chang, Bing J. Sheu:
An Analog MOS Model for Circuit Simulation and Benchmark Test Results. 311-314 - M. E. Kole, J. Smith, O. E. Herrmann:
Modeling Symmetry in Analog Electronic Circuits. 315-318 - Dongfeng Zhao, Ray R. Chen:
GODPE: Global Optimization in Small Signal Device Model Parameter Extraction. 319-322 - Jack Lau, Ping K. Ko, Philip C. Chan:
On the Modelling of a CMOS Magnetic Sensor. 323-326 - Christophe Lallement, R. Bouchakour, T. Maurel:
A VDMOS transistor model taking into account the thermoelectrical interactions. 327-330 - David I. Long, Saad Sabih Ahmed Medhat:
Behavioural Modelling of Mixed Signal ASICs: A new multi-level approach. 331-334 - Ayman I. Kayssi, Karem A. Sakallah:
Macromodel Simplification Using Dimensional Analysis. 335-338 - Nicolas Moenclaey, Andreas Kaiser:
Accurate Modelling of the Non-Linear Settling Behaviour of Current Memory Circuits. 339-342 - Hans Georg Brachtendorf, Rainer Laur:
Modeling of Frequency-dependent Hysteresis with SPICE. 343-346
CAD 10: Analog CAD
- Zhihua Wang, Georges G. E. Gielen
A Novel Method for the Fault Detection of Analog Integrated Circuits. 347-350 - Salman Ahmed, Peter Y. K. Cheung:
Analog Fault Diagnosis - A Practical Approach. 351-354 - Margherita Pillan, Donatella Sciuto:
Constraint Generation & Placement for Automatic Layout Design of Analog Integrated Circuits. 355-358 - K. K. Wee, R. J. Mack:
Towards Expandable and Generalised Analogue Design Automation. 359-362 - Ronald S. Gyurcsik, George Gad-El-Karim, Griff L. Bilbro:
Sensitivity-Driven Placement of Analog Modules. 363-366 - Jorge Chávez Orzáez, Antonio Jesús Torralba Silgado, Leopoldo García Franquelo:
A Fuzzy-logic based Tool for Topology Selection in Analog Synthesis. 367-370 - Nuno C. G. Horta, José E. Franca:
A Methodology for Automatic Generation of Data Conversion Topologies from Algorithms. 371-374 - Miguel Angel Aguirre Echánove, Jorge Chávez Orzáez, Antonio Jesús Torralba Silgado, Leopoldo García Franquelo:
Analog Design optimization by means of a Tabu Search Approach. 375-378
CAD 11: POSTER - Simulation, Modelling & Statistical Design
- Mustafa Çelik, Ogan Ocali, Mehmet Ali Tan, Abdullah Atalar:
Improving AWE Accuracy Using Multipoint Padé Approximation. 379-382 - Jan Ogrodzki, Dariusz Bukat:
Compact Modelling in Circuit Simulation: the General Purpose Analyser OPTIMA-3. 383-386 - Hans Peter Amann, Philippe Moeschler, Fausto Pellandini, Alain Vachoux, Charles Munk, Daniel Mlynek:
High-Level Specification of Behavioural Hardware Models with MODES. 387-390 - Mitiko Miura-Mattausch, Alexander Rahm, Michael Bollu, Ute Feldmann, Dominique Savignac:
A Novel Consistent MOSFET Model for CAD Application with Reduced Calculation Time. 391-394 - Hannu Jokinen, Martti Valtonen:
Small-Signal Analysis of Nonideal Switched-Capacitor Circuits. 395-398 - Erik Stoy, Zebo Peng:
An Integrated Modelling Technique for Hardware/Software Systems. 399-402 - Paul Van Halen:
A Physical Charge-Based Model for the Space Charge Region of Abrupt and Linear Semiconductor Junctions. 403-406 - Rahul B. Deokar, Sachin S. Sapatnekar:
A Graph-Theoretic Approach to Clock Skew Optimization. 407-410 - Masaki Ishida, Koichi Hayashi, Masakatsu Nishigaki, Hideki Asai:
Iterated Timing Analysis with Dynamic Partitioning Technique for Bipolar Transistor Circuits. 411-414 - Bengt-Arne Molin, Sven Mattisson:
Concurrent Switch-Level Timing Simulation Based on Waveform Relaxation. 415-418 - Vijaya Gopal Bandi, Hideki Asai:
Transient Simulation of Coupled Lossy Interconnects by Window Partitioning Technique. 419-422 - Ying-Wen Bai:
Interval Finite-Difference Methods for Digital MOS Circuits Simulation. 423-426 - Keng-Hua Shi, A. K. Jastrzebski, Les T. Walczowski, J. Barnaby:
A Multi-Mode Simulation System for GaAs Circuits. 427-430 - Kewei Yang, Richard C. Meitzler, Andreas G. Andreou:
A Model for MOS Effective Channel Mobility with Emphasis in the Subthreshold and Transition Region. 431-434 - Harish Kriplani, Farid N. Najm, Ibrahim N. Hajj:
Improved Delay and Current Models for Estimating Maximum Currents in CMOS VLSI Circuits. 435-438 - Luís Felipe Uebel, Sergio Bampi:
A Timing Model for VLSI CMOS Circuits Verification and Optimization. 439-442 - A. B. van der Wal, Robert G. J. Arendsen, Aarnout Brombacher, O. E. Herrmann:
Hierarchical Statistical Verification of Large Full Custom CMOS Circuits. 443-446 - Hsiao-Dong Chiang, Chia-Chi Chu
A Systematic Search Method for Obtaining Multiple Local Optimal Solutions of Nonlinear Programming Problems. 447-450
CAD 12: FORUM - Symbolic Analysis
- Francisco V. Fernández, Georges G. E. Gielen
Pleasures, Perils and Pitfalls of Symbolic Analysis. 451-457
CAD 13: Routing
- Qi-Jun Zhang, Michel S. Nakhla:
Signal Integrity Analysis and Optimization of VLSI Interconnects using Neural Network Models. 459-462 - Todd D. Hodes, Bernard A. McCoy, Gabriel Robins:
Dynamically-Wiresized Elmore-Based Routing Constructions. 463-466 - Wasim Khan, Sreekrishna Madhwapathy, Naveed A. Sherwani:
A Hierarchical Approach to Clock Routing in High Performance Systems. 467-470 - T. W. Her, D. F. Wong
Over-the-Cell Routing with Cell Orientations Consideration. 471-474 - Naresh Kumar Seghal, C. Y. Roger Chen, John M. Acken:
A High Performance General Purpose Multi-Point Signal Router. 475-478 - Ira Pramanick, Hyder Ali:
Analysis and Experiments for a Parallel Solution to the All Pairs Shortest Path Problem. 479-482 - Nozomu Togawa, Masao Sato, Tatsuo Ohtsuki:
A Simultaneous Placement and Global Routing Algorithm for FPGAs. 483-486 - Henning Spruth, Frank M. Johannes, Kurt Antreich:
PHIroute: A Parallel Hierarchical Sea-of-Gates Router. 487-490 - Juan A. Prieto, José M. Quintana, Adoración Rueda, José L. Huertas:
An Algorithm for the Place-and-Route Problem in the Layout of Analog Circuits. 491-494
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.
last updated on 2024-12-23 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: