Volume 11, Number 1, January 1992
: Test pattern generation using Boolean satisfiability.
Paul H. Bardell
: Calculating the effects of linear dependencies in m-sequences used as test stimuli.
Volume 11, Number 2, February 1992
, Sy-Yen Kuo
: Computer-aided modeling and evaluation of reconfigurable VLSI processor arrays with VHDL.
, Sung-Mo Kang
: Modeling of nMOS transistors for simulation of hot-carrier-induced device and circuit degradation.
, Zvi Kohavi
: A limited exponential complexity algorithm for increasing the testability of digital circuits by testing-module insertion.
: An algorithm for L-shaped channel routing in a diagonal model.
Volume 11, Number 3, March 1992
, Deren Gu
: SSCNAP: a program for symbolic analysis of switched capacitor circuits.
Volume 11, Number 4, April 1992
, Qiming Wu
: A two-dimensional resistance simulator using the boundary element method.
Volume 11, Number 5, May 1992
David M. Lewis
: A compiled-code hardware accelerator for circuit simulation.
John F. Beetem
: Hierarchical topological sorting of apparent loops via partitioning.
Volume 11, Number 6, June 1992
David W. Knapp
: Fasolt: a program for feedback-driven data-path optimization.
Terence B. Hook
: Automatic extraction of circuit models from layout artwork for a BiCMOS technology.
, Jerry G. Fossum
: Non-quasi-static modeling/implementation of BJT current crowding for seminumerical mixed-mode device/circuit simulation.
Volume 11, Number 7, July 1992
Mary L. Bailey
: A time-based model for investigating parallel logic-level simulation.
Volume 11, Number 8, August 1992
, Shin Nakamura
: An explicit method of numerical integration for the complete set of semiconductor device equations.
Volume 11, Number 9, September 1992
: Dynamic and static load balancing for solving block bordered circuit equations on multiprocessors.
Peter M. Maurer
: Two new techniques for unit-delay compiled simulation.
Larry G. Jones
: An incremental zero/integer delay switch-level simulation environment.
Volume 11, Number 10, October 1992
Kevin S. Eshbaugh
: Generation of correlated parameters for statistical circuit simulation.
, Omar Wing
: Transient analysis of dispersive VLSI interconnects terminated in nonlinear loads.
Volume 11, Number 11, November 1992
Volume 11, Number 12, December 1992
: A theory and implementation of sequential hardware equivalence.
, W.-S. Feng
, James B. Kuo
: An improved analytical short-channel MOSFET model valid in all regions of operating for analog/digital circuit simulation.
: Verified functions for generating signed-binary arithmetic hardware.