Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 8
Volume 8, Number 1, January 1989
- Steve Shao-Shiun Chung:
A charge-based capacitance model of short-channel MOSFETs. 1-7 - Young Hwan Kim, Seung Ho Hwang, A. Richard Newton:
Electrical-logic simulation and its applications. 8-22 - Kenji Nishi, Kouichi Sakamoto, Shigeki Kuroda, Jun Ueda, Tatsurou Miyoshi, Shintaro Ushio:
A general-purpose two-dimensional process simulator-OPUS for arbitrary structures. 23-32 - Pramod V. Argade:
Sizing an inverter with a precise delay: generation of complementary signals with minimal skew and pulsewidth distortion in CMOS. 33-40 - John Horan, Colin Lyden, Alan Mathewson, Ciaran G. Cahill, W. A. Lane:
Analysis of distributed resistance effects in MOS transistors. 41-45 - Andrzej Krasniewski
, Slawomir Pilarski:
Circular self-test path: a low-cost BIST technique for VLSI circuits. 46-55 - Wing Ning Li, Sudhakar M. Reddy, Sartaj K. Sahni:
On path selection in combinational logic circuits. 56-63 - Gary D. Hachtel, Christopher R. Morrison:
Linear complexity algorithms for hierarchical routing. 64-80 - Fadi J. Kurdahi, Alice C. Parker:
Techniques for area estimation of VLSI layouts. 81-92 - Susheel J. Chandra, Janak H. Patel:
Experimental evaluation of testability measures for test generation (logic circuits). 93-97
Volume 8, Number 2, February 1989
- Gerhard Tröster, Peter Tomaszewski:
Mismatch simulation for layout sensitive parameters of IC components and devices. 101-107 - Eddie van Schie, Jan Middelhoek:
Two methods to improve the performance of Monte Carlo simulations of ion implantation in amorphous targets. 108-113 - Linda S. Milor, V. Visvanathan:
Detection of catastrophic faults in analog integrated circuits. 114-130 - Vishwani D. Agrawal, Kwang-Ting Cheng, Prathima Agrawal:
A directed search method for test generation using a concurrent simulator. 131-138 - Shmuel Wimer, Israel Koren, Israel Cederbaum:
Optimal aspect ratios of building blocks in VLSI. 139-145 - Gopalakrishnan Vijayan, Hai Hsia Chen, Chak-Kuen Wong:
On VHV-routing in channels with irregular boundaries. 146-152 - Rainer Amann, Utz G. Baitinger:
Optimal state chains and state codes in finite state machines. 153-170 - Raul Camposano, Wolfgang Rosenstiel:
Synthesizing circuits from behavioural descriptions. 171-180 - Hi-Keung Tony Ma, Srinivas Devadas, Ruey-Sing Wei, Alberto L. Sangiovanni-Vincentelli:
Logic verification algorithms and their parallel implementation. 181-189
Volume 8, Number 3, March 1989
- M. Sytrzycki:
Modeling of gate oxide shorts in MOS transistors. 193-202 - Michael Nicolaidis:
Self-exercising checkers for unified built-in self-test (UBIST). 203-218 - Teofilo F. Gonzalez, Shashishekhar Kurki-Gowdara:
An approximation algorithm for the via placement problem. 219-228 - Ludo Weyten, Wim De Pauw:
Quad list quad trees: a geometrical data structure with improved performance for large region queries. 229-233 - Peter Ramyalal Suaris, Gershon Kedem:
A quadrisection-based combined place and route scheme for standard cells. 234-244 - Ralph-Michael Kling, Prithviraj Banerjee:
ESp: Placement by simulated evolution. 245-256 - R. Jayakumar, Krishnaiyan Thulasiraman, M. N. S. Swamy:
O(n2) algorithms for graph planarization. 257-267 - Michel R. Dagenais, Nicholas C. Rumin:
On the calculation of optimal clocking parameters in synchronous circuits with level-sensitive latches. 268-278 - Michael L. Bushnell, Stephen W. Director:
Automated design tool execution in the Ulysses design environment. 279-287 - Wayne H. Wolf:
How to build a hardware description and measurement system on an object-oriented programming language. 288-301 - Evangelos Simoudis:
A knowledge-based system for the evaluation and redesign of digital circuit networks. 302-315 - El-Sayed A. Talkhan, Aly M. H. Ahmed, Aly E. Salama:
Microprocessors functional testing techniques. 316-318
Volume 8, Number 4, April 1989
- Scott H. Goodwin-Johansson, Ravi Subrahmanyan, Carey E. Floyd Jr., Hisham Z. Massoud:
Two-dimensional impurity profiling with emission computed tomography techniques. 323-335 - Brian J. Mulvaney, Walter B. Richardson, Timothy L. Crandle:
PEPPER-a process simulator for VLSI. 336-349 - Robert Anholt, Thomas W. Sigmon:
A process and device model for GaAs MESFET technology: GATES. 350-359 - Franco Venturi, R. Kent Smith, Enrico Sangiorgi, Mark R. Pinto, Bruno Riccò:
A general purpose device simulator coupling Poisson and Monte Carlo transport with applications to deep submicron MOSFETs. 360-369 - Chang G. Hwang, Robert W. Dutton:
Improved physical modeling of submicron MOSFETs based on parameter extraction using 2-D simulation. 370-379 - William M. Coughran Jr., Wolfgang Fichtner, Eric H. Grosse:
Extracting transistor changes from device simulations by gradient fitting. 380-394 - Walter R. Curtice:
Intrinsic GaAs MESFET equivalent circuit models generated from two-dimensional simulations. 395-402 - Chang-Sheng Ying, Joshua Sook-Leung Wong:
An analytical approach to floorplanning for hierarchical building blocks layout [VLSI]. 403-412 - Mandalagiri S. Chandrasekhar, Melvin A. Breuer:
Optimal routing of two rectangular blocks. 413-430 - Baher Haroun, Mohamed I. Elmasry:
Architectural synthesis for DSP silicon compilers. 431-447 - David N. Deutsch:
Two new and 'more difficult' channel routing problems. 448
Volume 8, Number 5, May 1989
- Gerhard Hobler, Siegfried Selberherr:
Monte Carlo simulation of ion implantation into two- and three-dimensional structures. 450-459 - Martin D. Giles:
Defect-coupled diffusion at high concentrations. 460-467 - Gen-Lin Tan, Xiao-Li Yuan, Qi-Ming Zhang, Walter H. Ku, An-Jui Shey:
Two-dimensional semiconductor device analysis based on new finite-element discretization employing the S-G scheme. 468-478 - Josef F. Burgler, Randolph E. Bank, Wolfgang Fichtner, R. Kent Smith:
A new discretization scheme for the semiconductor current continuity equations. 479-489 - Paolo Ciampolini, Alessandro Forghieri, Anna Pierantoni, Antonio Gnudi, Massimo Rudan, Giorgio Baccarani:
Adaptive mesh generation preserving the quality of the initial grid. 490-500 - Carl L. Gardner, Joseph W. Jerome, Donald J. Rose:
Numerical methods for the hydrodynamic device model: subsonic flow. 501-507 - Thomas D. Linton Jr., P. A. Blakey:
A fast, general three-dimensional device simulator and its application in a submicron EPROM design study. 508-515 - Jue-Hsien Chern, John T. Maeda, Lawrence A. Arledge Jr., Ping Yang:
SIERRA: a 3-D device simulator for reliability modeling. 516-527 - Ke-Chih Wu, Robert F. Lucas, Ze-Yi Wang, Robert W. Dutton:
New approaches in a 3-D one-carrier device solver. 528-537 - Hal R. Yeager, Robert W. Dutton:
Improvement in norm-reducing Newton methods for circuit simulation. 538-546 - Youn-Sik Hong, Kyu Ho Park, Myunghwan Kim:
A heuristic algorithm for ordering the columns in one-dimensional logica arrays. 547-562 - Joseph F. JáJá, S. Alice Wu:
On routing two-terminal nets in the presence of obstacles. 563-570 - Niraj K. Jha:
Separable codes for detecting unidirectional errors. 571-574 - J. T. Mowchenko:
A lower bound on channel density after global routing. 574-577
Volume 8, Number 6, June 1989
- Pak K. Chan, Martine D. F. Schlag:
Bounds on signal delay in RC mesh networks. 581-589 - Mahesh Sharma, Graham F. Carey:
Semiconductor device simulation using adaptive refinement and flux upwinding. 590-598 - Hiroyuki Umimoto, Shinji Odanaka, Ichiro Nakao, Hideya Esaki:
Numerical modeling of nonplanar oxidation coupled with stress effects. 599-607 - Guang-Wen Pan, Kenneth S. Olson, Barry K. Gilbert:
Improved algorithmic methods for the prediction of wavefront propagation behavior in multiconductor transmission lines for high frequency digital signal processors. 608-621 - Shoichiro Yamada, Hirokai Okude, Tamotsu Kasai:
A hierarchical algorithm for one-dimensional gate assignment based on contraction of nets. 622-629 - S. Chowdhury:
Analytical approaches to the combinatorial optimization in linear placement problems. 630-639 - Kuang-Wei Chiang, Surendra Nahar, Chi-Yuan Lo:
Time-efficient VLSI artwork analysis algorithms in GOALIE2. 640-648 - Toshiaki Tanaka, Tsutomu Kobayashi, Osamu Karatsu:
HARP: FORTRAN to silicon [compilation system]. 649-660 - Pierre G. Paulin, John P. Knight:
Force-directed scheduling for the behavioral synthesis of ASICs. 661-679 - Fathey M. El-Turky, Elizabeth E. Perry:
BLADES: an artificial intelligence approach to analog circuit design. 680-692 - Per Andersson, Lars H. Philipson:
Movie-an interactive environment for silicon compilation tools. 693-701 - Maciej J. Ciesielski:
Layer assignment for VLSI interconnect delay minimization. 702-707
Volume 8, Number 7, July 1989
- Paul J. V. Vandeloo, Willy M. C. Sansen:
Modeling of the MOS transistor for high frequency analog design. 713-723 - Shiuh-Wuu Lee:
Universality of mobility-gate field characteristics of electrons in the inversion charge layer and its application in MOSFET modeling. 724-730 - Niraj K. Jha:
A totally self-checking checker for Borden's code. 731-736 - Reuven Bar-Yehuda, Jack A. Feldman, Ron Y. Pinter, Shmuel Wimer:
Depth-first-search and dynamic programming algorithms for efficient CMOS cell generation. 737-743 - Charles J. Poirier:
Excellerator: custom CMOS leaf cell layout generator. 744-755 - Shuo Huang, Omar Wing:
Gate matrix partitioning. 756-767 - Srinivas Devadas, A. Richard Newton:
Algorithms for hardware allocation in data path synthesis. 768-781 - Min-You Wu, Ibrahim N. Hajj:
Switching network logic approach to sequential MOS circuit design. 782-794 - H. Cai:
On empty rooms in floorplan graphics: comments on a deficiency in two papers. 795-797 - Doron Drusinsky, David Harel:
Using statecharts for hardware description and synthesis. 798-807 - Rochit Rajsuman, Yashwant K. Malaiya, Anura P. Jayasumana:
Limitations of switch level analysis for bridging faults. 807-811 - Michael H. Schulz, Elisabeth Auth:
Improved deterministic test pattern generation with applications to redundancy identification. 811-816 - Harry H. L. Kwok:
Threshold voltage for GaAs MESFET with a recoil-implanted channel profile. 817-820
Volume 8, Number 8, August 1989
- John R. F. McMacken, Savvas G. Chamberlain:
CHORD: a modular semiconductor device simulation development tool incorporating external network models. 826-836 - Rex E. Lowther:
A discretization scheme that allows coarse grid-spacing in finite-difference process simulation. 837-841 - Peter D. Hortensius, Robert D. McLeod, Werner Pries, D. Michael Miller, Howard C. Card:
Cellular automata-based pseudorandom number generators for built-in self-test. 842-859 - Ravi Nair, C. Leonard Berman, Peter S. Hauge, Ellen J. Yoffa:
Generation of performance constraints for layout. 860-874 - Shuo Huang, Omar Wing:
Improved gate matrix layout. 875-889 - Majid Sarrafzadeh, D. T. Lee:
A new approach to topological via minimization. 890-900 - Devadas Varma, Eliezer A. Trachtenberg:
Design automation tools for efficient implementation of logic functions by decomposition. 901-916 - Jitender S. Deogun, Bhargab B. Bhattacharya:
Via minimization in VLSI routing with movable terminals. 917-920 - José Pineda de Gyvez, Jochen A. G. Jess:
On the design and implementation of a wafer yield editor. 920-925 - Wayne H. Wolf, Kurt Keutzer, Janaki Akella:
Addendum to 'A kernel-finding state assignment algorithm for multi-level logic'. 925-927 - George W. Rhyne, Michael Steer, K. S. Kundent, Alberto L. Sangiovanni-Vincentelli:
Comments on 'Simulation of nonlinear circuits in the frequency domain' [with reply]. 927-929 - James B. Kuo, G. P. Rosseel, Robert W. Dutton:
Two-dimensional analysis of a merged BiPMOS device. 929-932
Volume 8, Number 9, September 1989
- Bharat L. Bhuva, John J. Paulos, Ronald S. Gyurcsik, Sherra E. Kerns:
Switch-level simulation of total dose effects on CMOS VLSI circuits. 933-938 - Michael D. Deal, S. E. Hansen, Thomas W. Sigmon:
SUPREM 3.5-process modeling of GaAs integrated circuit technology. 939-951 - Fabrizio Lombardi, Mariagiovanna Sami, Renato Stefanelli:
Reconfiguration of VLSI arrays by covering. 952-965 - Yuzo Takamatsu, Kozo Kinoshita:
CONT: a concurrent test generation system. 966-972 - Sreejit Chakravarty:
On the complexity of computing tests for CMOS gates. 973-980 - Hong Cai, Ralph H. J. M. Otten:
Conflict-free channel definition in building-block layout. 981-988 - I. Vandeweerd, Kris Croes, Luc Rijnders, Paul Six, Hugo De Man:
REDUSA: module generation by automatic elimination of superfluous blocks in regular structures. 989-998 - Xianjin Yao, Masaaki Yamada, C. L. Liu:
A new approach to the pin assignment problem. 999-1006 - B. Gurunath, Nripendra N. Biswas:
An algorithm for multiple output minimization. 1007-1013 - J. E. (Ned) Lecky, O. J. Murphy, Richard Absher:
Graph theoretic algorithms for the PLA folding problem. 1014-1021 - Hideo Fujiwara:
Enhancing random-pattern coverage of programmable logic arrays via masking technique. 1022-1025 - Çetin Kaya Koç, P. F. Ordung:
Schwarz-Christoffel transformation for the simulation of two-dimensional capacitance [VLSI circuits]. 1025-1027 - Young-Hyun Jun, Ki Jun, Song-Bai Park:
An accurate and efficient delay time modeling for MOS logic circuits using polynomial approximation. 1027-1032
Volume 8, Number 10, October 1989
- Mehmet A. Cirit:
The Meyer model revisited: why is charge not conserved? [MOS transistor]. 1033-1037 - James B. Kuo, Tsen-Shau Yang, Robert W. Dutton, Bruce A. Wooley:
Two-dimensional transient analysis of a collector-up ECL inverter. 1038-1045 - Naoyuki Shigyo, Tetsunori Wada, Seiji Yasuda:
Discretization problem for multidimensional current flow. 1046-1050 - Paul F. Cox, Richard Burch, Ping Yang, Dale E. Hocevar:
New implicit integration method for efficient latency exploitation in circuit simulation. 1051-1064 - Chung-Ping Wan, Bing J. Sheu:
Temperature dependence modeling for MOS VLSI circuit simulation. 1065-1073 - André Ivanov, Vinod K. Agarwal:
An analysis of the probabilistic behavior of linear feedback signature registers. 1074-1088 - James L. Olivier, Füsun Özgüner:
Design of concurrent error-detecting systolic arrays using |g 3N|M codes. 1089-1099 - Srinivas Devadas, Hi-Keung Tony Ma, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli:
A synthesis and optimization procedure for fully and easily testable sequential machines. 1100-1107 - Youn-Long Lin, Yu-Chin Hsu, Fur-Shing Tsai:
SILK: a simulated evolution router. 1108-1114 - Robert A. Walker, Donald E. Thomas:
Behavioral transformation for algorithmic level IC design. 1115-1128
Volume 8, Number 11, November 1989
- Maurizio Damiani, Piero Olivo, Michele Favalli, Bruno Riccò:
An analytical model for the aliasing probability in signature analysis testing. 1133-1144 - Chantal Robach, Daniel Lutoff, Nouar Garcia:
Knowledge-based functional specification of test and maintenance programs. 1145-1156 - Anucha Pitaksanonkul, Suchai Thanawastien, Chidchanok Lursinsap:
Comparisons of quad trees and 4-D trees: new results [VLSI layout]. 1157-1164 - Chong S. Rim, Toshinobu Kashiwabara, Kazuo Nakajima:
Exact algorithms for multilayer topological via minimization. 1165-1173 - Sanjeev Rao Maddila, Dian Zhou:
Routing in general junctions. 1174-1184 - Teresa H.-Y. Meng, Robert W. Brodersen, David G. Messerschmitt:
Automatic synthesis of asynchronous circuits from high-level specifications. 1185-1205 - Srinivas Devadas, A. Richard Newton:
Decomposition and factorization of sequential finite state machines. 1206-1217 - Ludo Weyten, Wim De Pauw:
Performance prediction for adaptive quad tree graphical data structures. 1218-1222 - Sandip Kundu:
Design of multioutput CMOS combinational logic circuits for robust testability. 1222-1226 - Takashi Nanya, Hendrik A. Goosen:
The Byzantine hardware fault model. 1226-1231
Volume 8, Number 12, December 1989
- Miriam Leeser:
Reasoning about the function and timing of integrated circuits with interval temporal logic. 1233-1246 - Ramesh Harjani, Rob A. Rutenbar, L. Richard Carley:
OASYS: a framework for analog circuit synthesis. 1247-1266 - Richard W. Linderman, Paul C. Rossbach, David M. Gallagher:
Design and application of an optimizing XROM silicon compiler. 1267-1275 - P. Sadayappan, V. Visvanathan:
Efficient sparse matrix factorization for circuit simulation on vector supercomputers. 1276-1285 - Resve A. Saleh, A. Richard Newton:
The exploitation of latency and multirate behavior using nonlinear relaxation for circuit simulation. 1286-1298 - K. K. Low, Stephen W. Director:
An efficient methodology for building macromodels of IC fabrication processes. 1299-1313 - Charles H. Stapper:
Simulation of spatial fault distributions for integrated circuit yield estimations. 1314-1318 - Armen H. Zemanian, Reginald P. Tewarson, Chi Ping Ju, Juif Frank Jen:
Three-dimensional capacitance computations for VLSI/ULSI interconnections. 1319-1326 - Noriyoshi Itazaki, Kozo Kinoshita:
Test pattern generation for circuits with tri-state modules by Z-algorithm. 1327-1334 - Wayne Wei-Ming Dai:
Hierarchical placement and floorplanning in BEAR. 1335-1349 - Sabih H. Gerez, Otto E. Herrmann:
Switchbox routing by stepwise reshaping. 1350-1361 - Raja Daoud, Füsun Özgüner:
Highly vectorizable fault simulation on the Cray X-MP supercomputer. 1362-1365 - Lee-Sup Kim, Robert W. Dutton:
Modeling of the distributed gate RC effect in MOSFET's. 1365-1367
a service of 
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-04-22 20:03 CEST 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:
