Volume 11,
Number 1,
January 1992
- Tracy Larrabee:
Test pattern generation using Boolean satisfiability.
4-15
Electronic Edition (link) BibTeX
- Dhiren Xavier, Robert C. Aitken, André Ivanov, Vinod K. Agarwal:
Using an asymmetric error model to study aliasing in signature analysis registers.
16-25
Electronic Edition (link) BibTeX
- Hans-Joachim Wunderlich, Sybille Hellebrand:
The pseudoexhaustive test of sequential circuits.
26-33
Electronic Edition (link) BibTeX
- Thomas M. Sarfert, Remo G. Markgraf, Michael H. Schulz, Erwin Trischler:
A hierarchical test pattern generation system based on high-level primitives.
34-44
Electronic Edition (link) BibTeX
- John D. Calhoun, Franc Brglez:
A framework and method for hierarchical test generation.
45-67
Electronic Edition (link) BibTeX
- W. David Ballew, Lauren M. Streb:
Board-level boundary scan: regaining observability with an additional IC.
68-75
Electronic Edition (link) BibTeX
- David L. Landis:
A test methodology for wafer scale system.
76-82
Electronic Edition (link) BibTeX
- Paul H. Bardell:
Calculating the effects of linear dependencies in m-sequences used as test stimuli.
83-86
Electronic Edition (link) BibTeX
- Srinivas Devadas, Kurt Keutzer:
Synthesis of robust delay-fault-testable circuits: theory.
87-101
Electronic Edition (link) BibTeX
- Lawrence L. Larmore, Daniel D. Gajski, Allen C.-H. Wu:
Layout placement for sliced architecture.
102-114
Electronic Edition (link) BibTeX
- Chung-Kuan Cheng, David N. Deutsch, Craig Shohara, Mark Taparauskas, Mark Bubien:
Geometric compaction on channel routing.
115-127
Electronic Edition (link) BibTeX
- Gerd Nanz, Peter Dickinger, Siegfried Selberherr:
Calculation of contact currents in device simulation.
128-136
Electronic Edition (link) BibTeX
Volume 11,
Number 2,
February 1992
- Bo-Gwan Kim, Donald L. Dietmeyer:
Multilevel logic synthesis with extended arrays.
142-157
Electronic Edition (link) BibTeX
- David W. Knapp, Marianne Winslett:
A prescriptive formal model for data-path hardware.
158-184
Electronic Edition (link) BibTeX
- Kuochen Wang, Sy-Yen Kuo:
Computer-aided modeling and evaluation of reconfigurable VLSI processor arrays with VHDL.
185-197
Electronic Edition (link) BibTeX
- Thomas M. Niermann, Wu-Tung Cheng, Janak H. Patel:
PROOFS: a fast, memory-efficient sequential circuit fault simulator.
198-207
Electronic Edition (link) BibTeX
- Mary L. Bailey:
How circuit size affects parallelism.
208-215
Electronic Edition (link) BibTeX
- Uminder Singh, C. Y. Roger Chen:
From logic to symbolic layout for gate matrix.
216-227
Electronic Edition (link) BibTeX
- Takayasu Sakurai, Bill Lin, A. Richard Newton:
Fast simulated diffusion: an optimization algorithm for multiminimum problems and its application to MOSFET model parameter extraction.
228-234
Electronic Edition (link) BibTeX
- Yusuf Leblebici, Sung-Mo Kang:
Modeling of nMOS transistors for simulation of hot-carrier-induced device and circuit degradation.
235-246
Electronic Edition (link) BibTeX
- Irith Pomeranz, Zvi Kohavi:
A limited exponential complexity algorithm for increasing the testability of digital circuits by testing-module insertion.
247-259
Electronic Edition (link) BibTeX
- Thomas M. Niermann, Rabindra K. Roy, Janak H. Patel, Jacob A. Abraham:
Test compaction for sequential circuits.
260-267
Electronic Edition (link) BibTeX
- Xiaoyu Song:
An algorithm for L-shaped channel routing in a diagonal model.
267-270
Electronic Edition (link) BibTeX
Volume 11,
Number 3,
March 1992
- Srinivas Devadas, Kurt Keutzer:
Synthesis of robust delay-fault-testable circuits: practice.
277-300
Electronic Edition (link) BibTeX
- Bernhard Eschermann, Hans-Joachim Wunderlich:
Optimized synthesis techniques for testable sequential circuits.
301-312
Electronic Edition (link) BibTeX
- Gary D. Hachtel, Reily M. Jacoby, Kurt Keutzer, Christopher R. Morrison:
On properties of algebraic transformations and the synthesis of multifault-irredundant circuits.
313-321
Electronic Edition (link) BibTeX
- Karem A. Sakallah, Trevor N. Mudge, Oyekunle A. Olukotun:
Analysis and design of latch-controlled synchronous digital circuits.
322-333
Electronic Edition (link) BibTeX
- Bixia Li, Deren Gu:
SSCNAP: a program for symbolic analysis of switched capacitor circuits.
334-340
Electronic Edition (link) BibTeX
- Tak K. Tang, Michel S. Nakhla:
Analysis of high-speed VLSI interconnects using the asymptotic waveform evaluation technique.
341-352
Electronic Edition (link) BibTeX
- Bradly J. Cooke, John L. Prince, Andreas C. Cangellaris:
S-parameter analysis of multiconductor, integrated circuit interconnect systems.
353-360
Electronic Edition (link) BibTeX
- Maria C. Bernardo, Robert J. Buck, Lihsin Liu, William A. Nazaret, Jerome Sacks, William J. Welch:
Integrated circuit design optimization using a sequential strategy.
361-372
Electronic Edition (link) BibTeX
- Srinivas Devadas, Kurt Keutzer, Jacob K. White:
Estimation of power dissipation in CMOS combinational circuits using Boolean function manipulation.
373-383
Electronic Edition (link) BibTeX
- Michel Dagenais, Serge Gaiotti, Nicholas C. Rumin:
Transistor-level estimation of worst-case delays in MOS VLSI circuits.
384-395
Electronic Edition (link) BibTeX
- B. Baccus, D. Collard, E. Dubois:
Adaptive mesh refinement for multilayer process simulation using the finite element method.
396-403
Electronic Edition (link) BibTeX
- Miron Abramovici, David T. Miller, Rabindra K. Roy:
Dynamic redundancy identification in automatic test generation.
404-407
Electronic Edition (link) BibTeX
- Hyung K. Lee, Dong S. Ha:
Comments on `A method of fault simulation based on stem regions'.
407-408
Electronic Edition (link) BibTeX
Volume 11,
Number 4,
April 1992
- Stefaan Note, Francky Catthoor, Gert Goossens, Hugo De Man:
Combined hardware selection and pipelining in high-performance data-path design.
413-423
Electronic Edition (link) BibTeX
- Thomas F. Hayes, John J. Barrett:
Modeling of multiconductor systems for packaging and interconnecting high-speed digital IC's.
424-431
Electronic Edition (link) BibTeX
- Eugene Z. Xia, Resve A. Saleh:
Parallel waveform-Newton algorithms for circuit simulation.
432-442
Electronic Edition (link) BibTeX
- Eduard Cerny, John P. Hayes, Nicholas C. Rumin:
Accuracy of magnitude-class calculations in switch-level modeling.
443-452
Electronic Edition (link) BibTeX
- Allen C.-H. Wu, Daniel D. Gajski:
Partitioning algorithms for layout synthesis from register-transfer netlists.
453-463
Electronic Edition (link) BibTeX
- Nobuo Funabiki, Yoshiyasu Takefuji:
A parallel algorithm for channel routing problems [VLSI].
464-474
Electronic Edition (link) BibTeX
- Chung-Kuan Cheng, Ximtie Deng, Yuh-Zen Liao, So-Zen Yao:
Symbolic layout compaction under conditional design rules.
475-486
Electronic Edition (link) BibTeX
- Walter B. Richardson, Graham F. Carey, Brian J. Mulvaney:
Modeling phosphorus diffusion in three dimensions.
487-496
Electronic Edition (link) BibTeX
- Zeyi Wang, Qiming Wu:
A two-dimensional resistance simulator using the boundary element method.
497-504
Electronic Edition (link) BibTeX
- Keith R. Green, Jerry G. Fossum:
A pragmatic approach to integrated process/device/circuit simulation for IC technology development.
505-512
Electronic Edition (link) BibTeX
- George L. Matthaei, Gilbert C. Chinn, Charles H. Plott, Nadir Dagli:
A simplified means for computation for interconnect distributed capacitances and inductances.
513-524
Electronic Edition (link) BibTeX
- Jien-Chung Lo, Suchai Thanawastien, T. R. N. Rao, Michael Nicolaidis:
An SFS Berger check prediction ALU and its application to self-checking processor designs.
525-540
Electronic Edition (link) BibTeX
Volume 11,
Number 5,
May 1992
- TingTing Hwang, Robert Michael Owens, Mary Jane Irwin:
Efficiently computing communication complexity for multilevel logic synthesis.
545-554
Electronic Edition (link) BibTeX
- David M. Lewis:
A compiled-code hardware accelerator for circuit simulation.
555-565
Electronic Edition (link) BibTeX
- Luis Miguel Silveira, Jacob K. White, Horácio C. Neto, Luís M. Vidigal:
On exponential fitting for circuit simulation.
566-574
Electronic Edition (link) BibTeX
- Rakesh Chadha, Chandramouli Visweswariah, Chin-Fu Chen:
M3-a multilevel mixed-mode mixed A/D simulator.
575-585
Electronic Edition (link) BibTeX
- John Y. Lee, Xiaoli Huang, Ronald A. Rohrer:
Pole and zero sensitivity calculation in asymptotic waveform evaluation.
586-597
Electronic Edition (link) BibTeX
- Donald J. Erdman, Donald J. Rose:
Newton waveform relaxation techniques for tightly coupled systems.
598-606
Electronic Edition (link) BibTeX
- John F. Beetem:
Hierarchical topological sorting of apparent loops via partitioning.
607-619
Electronic Edition (link) BibTeX
- Stephen Dean Brown, Jonathan Rose, Zvonko G. Vranesic:
A detailed router for field-programmable gate arrays.
620-628
Electronic Edition (link) BibTeX
- John R. F. McMacken, Savvas G. Chamberlain:
A numerical model for two-dimensional transient simulation of amorphous silicon thin-film transistors.
629-637
Electronic Edition (link) BibTeX
- José Pineda de Gyvez, Chennian Di:
IC defect sensitivity for footprint-type spot defects.
638-658
Electronic Edition (link) BibTeX
- Kuen-Jong Lee, Melvin A. Breuer:
Design and test rules for CMOS circuits to facilitate IDDQ testing of bridging faults.
659-670
Electronic Edition (link) BibTeX
- Deodatta R. Apte, Mark E. Law:
Comparison of iterative methods for AC analysis in PISCES-IIB.
671-673
Electronic Edition (link) BibTeX
Volume 11,
Number 6,
June 1992
- David W. Knapp:
Fasolt: a program for feedback-driven data-path optimization.
677-695
Electronic Edition (link) BibTeX
- David C. Ku, Giovanni De Micheli:
Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits.
696-718
Electronic Edition (link) BibTeX
- Yung-Ho Shih, Sung-Mo Kang:
Analytic transient solution of general MOS circuit primitives.
719-731
Electronic Edition (link) BibTeX
- Terence B. Hook:
Automatic extraction of circuit models from layout artwork for a BiCMOS technology.
732-738
Electronic Edition (link) BibTeX
- Jason Cong, Andrew B. Kahng, Gabriel Robins, Majid Sarrafzadeh, Chak-Kuen Wong:
Provably good performance-driven global routing.
739-752
Electronic Edition (link) BibTeX
- Charles R. Bonapace, Chi-Yuan Lo:
An O(n log m) algorithm for VLSI design rule checking.
753-758
Electronic Edition (link) BibTeX
- Joohyun Jin, Jerry G. Fossum:
Non-quasi-static modeling/implementation of BJT current crowding for seminumerical mixed-mode device/circuit simulation.
759-767
Electronic Edition (link) BibTeX
- André Ivanov, Yervant Zorian:
Count-based BIST compaction schemes and aliasing probability computation.
768-777
Electronic Edition (link) BibTeX
- Janusz Rajski, Jagadeesh Vasudevamurthy:
The testability-preserving concurrent decomposition and factorization of Boolean expressions.
778-793
Electronic Edition (link) BibTeX
- Silvia Ercolani, Michele Favalli, Maurizio Damiani, Piero Olivo, Bruno Riccò:
Testability measures in pseudorandom testing.
794-800
Electronic Edition (link) BibTeX
- Michael J. Bryan, Srinivas Devadas, Kurt Keutzer:
Necessary and sufficient conditions for hazard-free robust transistor stuck-open-fault testability in multilevel networks.
800-803
Electronic Edition (link) BibTeX
Volume 11,
Number 7,
July 1992
- Tom Dhaene, Daniel De Zutter:
Selection of lumped element models for coupled lossy transmission lines.
805-815
Electronic Edition (link) BibTeX
- Mary L. Bailey:
A time-based model for investigating parallel logic-level simulation.
816-824
Electronic Edition (link) BibTeX
- Sharad Malik, Luciano Lavagno, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Symbolic minimization of multilevel logic and the input encoding problem.
825-843
Electronic Edition (link) BibTeX
- Sung-Soo Kim, Chong-Min Kyung:
Circuit placement on arbitrarily shaped regions using the self-organization principle.
844-854
Electronic Edition (link) BibTeX
- Stephan Müller, Kevin Kells, Wolfgang Fichtner:
Automatic rectangle-based adaptive mesh generation without obtuse angles.
855-863
Electronic Edition (link) BibTeX
- Kenneth M. McDonald, Joseph G. Peters:
Smallest paths in simple rectilinear polygons.
864-875
Electronic Edition (link) BibTeX
- Hans-Rudolf Heeb, Wolfgang Fichtner:
A module generator based on the PQ-tree algorithm.
876-884
Electronic Edition (link) BibTeX
- Scott W. Hadley, Brian L. Mark, Anthony Vannelli:
An efficient eigenvector approach for finding netlist partitions.
885-892
Electronic Edition (link) BibTeX
- Andrew B. Kahng, Gabriel Robins:
A new class of iterative Steiner tree heuristics with good performance.
893-902
Electronic Edition (link) BibTeX
- Shankar Pennathur, Harry H. L. Kwok:
Simulation of charge transfer in GaAs Cermet-Gate CCDs.
903-910
Electronic Edition (link) BibTeX
- Edward W. Scheckler, Alexander S. Wong, Robert K. Wang, Goodwin R. Chin, John R. Camagna, Andrew R. Neureuther, Robert W. Dutton:
A utility-based integrated system for process simulation.
911-920
Electronic Edition (link) BibTeX
- Hiroyoshi Tanimoto, Naoyuki Shigyo:
Discretization error in MOSFET device simulation.
921-925
Electronic Edition (link) BibTeX
- Eun Sei Park, M. Ray Mercer:
An efficient delay test generation system for combinational logic circuits.
926-938
Electronic Edition (link) BibTeX
Volume 11,
Number 8,
August 1992
- Maciej J. Ciesielski, Seiyang Yang:
PLADE: a two-stage PLA decomposition.
943-954
Electronic Edition (link) BibTeX
- Rajiv Jain, Alice C. Parker, Nohbyung Park:
Predicting system-level area and delay for pipelined and nonpipelined designs.
955-965
Electronic Edition (link) BibTeX
- Albert V. Ferris-Prabhu:
On the assumptions contained in semiconductor yield models.
966-975
Electronic Edition (link) BibTeX
- Chia-Chun Tsai, Sao-Jie Chen, Wu-Shiung Feng:
An H-V alternating router.
976-991
Electronic Edition (link) BibTeX
- Ting-Chi Wang, Martin D. F. Wong:
Optimal floorplan area optimization.
992-1002
Electronic Edition (link) BibTeX
- Kartikeya Mayaram, Donald O. Pederson:
Coupling algorithms for mixed-level circuit and device simulation.
1003-1012
Electronic Edition (link) BibTeX
- Mamoru Kurata, Shin Nakamura:
An explicit method of numerical integration for the complete set of semiconductor device equations.
1013-1023
Electronic Edition (link) BibTeX
- Yeong-Yil Yang, Chong-Min Kyung:
HALO: an efficient global placement strategy for standard cells.
1024-1031
Electronic Edition (link) BibTeX
- J. Richard Griffith, Michel S. Nakhla:
Mixed frequency/time domain analysis of nonlinear circuits.
1032-1043
Electronic Edition (link) BibTeX
- Somchai Prasitjutrakul, William J. Kubitz:
A performance-driven global router for custom VLSI chip design.
1044-1051
Electronic Edition (link) BibTeX
Volume 11,
Number 9,
September 1992
- Fur-Shing Tsai, Yu-Chin Hsu:
STAR: An automatic data path allocator.
1053-1064
Electronic Edition (link) BibTeX
- Kwang-Ting Cheng, Jing-Yang Jou:
A functional fault model for sequential machines.
1065-1073
Electronic Edition (link) BibTeX
- Lars W. Hagen, Andrew B. Kahng:
New spectral methods for ratio cut partitioning and clustering.
1074-1085
Electronic Edition (link) BibTeX
- Xiaodong Zhang:
Dynamic and static load balancing for solving block bordered circuit equations on multiprocessors.
1086-1094
Electronic Edition (link) BibTeX
- Majid Sarrafzadeh, Chak-Kuen Wong:
Hierarchical Steiner tree construction in uniform orientations.
1095-1103
Electronic Edition (link) BibTeX
- Tsuneo Okubo, Takashi Watanabe, Kou Wada, Kazuyuki Saito:
A novel geometric resizing technique for data conversion from CAD data to electron beam exposure data.
1104-1113
Electronic Edition (link) BibTeX
- Masayoshi Shirahata, Hiromi Kusano, Norihiko Kotani, Shigeru Kusanoki, Yoichi Akasaka:
A mobility model including the screening effect in MOS inversion layer.
1114-1119
Electronic Edition (link) BibTeX
- Peter M. Maurer:
Two new techniques for unit-delay compiled simulation.
1120-1130
Electronic Edition (link) BibTeX
- Larry G. Jones:
An incremental zero/integer delay switch-level simulation environment.
1131-1139
Electronic Edition (link) BibTeX
- Mark Hirsch, Daniel P. Siewiorek:
The effect of placement of automatically extracted structure.
1140-1152
Electronic Edition (link) BibTeX
- Weiping Shi, W. Kent Fuchs:
Probabilistic analysis and algorithms for reconfiguration of memory arrays.
1153-1160
Electronic Edition (link) BibTeX
- Wu-Tung Cheng, James L. Lewandowski, Eleanor Wu:
Optimal diagnostic methods for wiring interconnects.
1161-1166
Electronic Edition (link) BibTeX
- Abhijit Ghosh, Srinivas Devadas, A. Richard Newton:
Heuristic minimization of Boolean relations using testing techniques.
1166-1172
Electronic Edition (link) BibTeX
Volume 11,
Number 10,
October 1992
- Shinichiro Haruyama, Martin D. F. Wong, Donald S. Fussell:
Topological channel routing [VLSI].
1177-1197
Electronic Edition (link) BibTeX
- Kevin S. Eshbaugh:
Generation of correlated parameters for statistical circuit simulation.
1198-1206
Electronic Edition (link) BibTeX
- Bogdan J. Falkowski, Ingo Schäfer, Marek A. Perkowski:
Effective computer methods for the calculation of Rademacher-Walsh spectrum for completely and incompletely specified Boolean functions.
1207-1226
Electronic Edition (link) BibTeX
- Mark William Kahrs:
Silicon compilation of very high level language.
1227-1246
Electronic Edition (link) BibTeX
- Hong June Park, Ping Keung Ko, Chenming Hu:
A non-quasi-static MOSFET model for SPICE-AC analysis.
1247-1257
Electronic Edition (link) BibTeX
- Rui Wang, Omar Wing:
Transient analysis of dispersive VLSI interconnects terminated in nonlinear loads.
1258-1277
Electronic Edition (link) BibTeX
- Abu S. M. Hassan, Vinod K. Agarwal, Benoit Nadeau-Dostie, Janusz Rajski:
BIST of PCB interconnects using boundary-scan architecture.
1278-1288
Electronic Edition (link) BibTeX
- Sy-Yen Kuo, Ing-Yi Chen:
Efficient reconfiguration algorithms for degradable VLSI/WSI arrays.
1289-1300
Electronic Edition (link) BibTeX
- Slawomir Pilarski, Andrzej Krasniewski, Tiko Kameda:
Estimating testing effectiveness of the circular self-test path technique.
1301-1316
Electronic Edition (link) BibTeX
- Uwe Hinsberger, Reiner Kolla:
A cell-based approach to performance optimization of fanout-free circuits.
1317-1322
Electronic Edition (link) BibTeX
Volume 11,
Number 11,
November 1992
- Thang Nguyen Bui, Willie Hsu, SingLing Lee:
A 2.5 approximation algorithm for the multi-via assignment problem.
1325-1333
Electronic Edition (link) BibTeX
- Ze-Yi Wang, Ke-Chih Wu, Robert W. Dutton:
An approach to construct pre-conditioning matrices for block iteration of linear equations.
1334-1343
Electronic Edition (link) BibTeX
- Carlos H. Díaz, Sung-Mo Kang:
New algorithms for circuit simulation of device breakdown.
1344-1354
Electronic Edition (link) BibTeX
- Gerard A. Allan, Anthony J. Walton, Robert J. Holwill:
A yield improvement technique for IC layout using local design rules.
1355-1362
Electronic Edition (link) BibTeX
- Tom Chanak, Rakesh Chadha, Kishore Singhal:
Switched-capacitor simulation models for full-chips verification.
1363-1371
Electronic Edition (link) BibTeX
- Colin Gordon, Thomas Blazeck, Raj Mittra:
Time-domain simulation of multiconductor transmission lines with frequency-dependent losses.
1372-1387
Electronic Edition (link) BibTeX
- Cheryl Harkness, Daniel P. Lopresti:
Interval methods for modeling uncertainty in RC timing analysis.
1388-1401
Electronic Edition (link) BibTeX
- J. Paul Harvey, Mohamed I. Elmasry, Bosco Leung:
STAIC: an interactive framework for synthesizing CMOS and BiCMOS analog circuits.
1402-1417
Electronic Edition (link) BibTeX
- James A. Power, W. A. Lane:
An enhanced SPICE MOSFET model suitable for analog applications.
1418-1425
Electronic Edition (link) BibTeX
- Peter Vanbekbergen, Gert Goossens, Francky Catthoor, Hugo De Man:
Optimized synthesis of asynchronous control circuits from graph-theoretic specifications.
1426-1438
Electronic Edition (link) BibTeX
- Vijay S. Iyengar, Gopalakrishnan Vijayan:
Optimized test application timing for AC test.
1439-1449
Electronic Edition (link) BibTeX
- Michel Renovell, Gaston Cambon:
Electrical analysis and modeling of floating-gate fault.
1450-1458
Electronic Edition (link) BibTeX
- Michele Favalli, Piero Olivo, Bruno Riccò:
A probabilistic fault model for `analog' faults in digital CMOS circuits.
1459-1462
Electronic Edition (link) BibTeX
- Andrew B. Kahng, Gabriel Robins:
On the performance bounds for a class of rectilinear Steiner tree heuristics in arbitrary dimension.
1462-1465
Electronic Edition (link) BibTeX
Volume 11,
Number 12,
December 1992
Copyright © Sun May 17 00:23:10 2009
by Michael Ley (ley@uni-trier.de)
