Recent publications of Kenneth S. Stevens

Ken Stevens

Associate Professor
University of Utah
Electrical and Computer Engineering
Salt Lake City UT

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

For all papers published by the IEEE:

Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution or servers or lists or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

Publication List:

(All documents are in pdf format)

Graham Birtwistle and Kenneth S. Stevens. The Family of 4-phase Latch Protocols. 14^th International Symposium on Asynchronous Circuits and Systems, pp. 71-82, April 2008.
Daniel Gebhardt, Junbok You, W. Scott Lee, and Kenneth S. Stevens. Network Simplicity for Latency Insensitive Cores. 2^nd International Symposium on Network-on-Chip, pp. 209-210, April 2008.
Daniel Gebhardt and Kenneth S. Stevens. Elastic Flow in an Application Specific Network-on-Chip. In Elsevier Electronic Notes in Theoretical Computer Science, Vol. 200, No. 1, pages 3-15, February 2008.
Junbok You, Yang Xu, Hosuk Han, and Kenneth S. Stevens. Performance Evaluation of Elastic GALS Interfaces and Network Fabric. In Elsevier Electronic Notes in Theoretical Computer Science, Vol. 200, No. 1, pages 17-32, February 2008.
M. C. Hollenbeck, H. Abdel-Aty-Zohdy, R. Brower, R. Ewing and K. Stevens. Dynamic Response Characteristics of a Novel Electrolyte Transistor. In Proceedings of the COMSOL Conference. Boston, MA. pp. 19--24, October, 2007.
Krishna Santhanam and Kenneth S. Stevens. Dynamic Gates with Hysteresis and Configurable Noise Tolerance. In 15 Annual IFIP International Conference on Very Large Scale Integration, VLSI-SOC 2007. pp. 184-189, October, 2007.
Kenneth S. Stevens and Florentin Dartu. Algorithms for MIS Vector Generation and Pruning. In Proceedings of the International Conference on Computer-Aided Design (ICCAD-06). pp. 408-414, November 2006.
Sanjit A. Seshia, Randal E. Bryant, and Kenneth S. Stevens. Modeling and Verifying Circuits Using Generalized Relative Timing. In 11^th International Symposium on Asynchronous Circuits and Systems, March 2005, pp 98-108
Kenneth S. Stevens. Energy and Performance Models for Clocked and Asynchronous Communication. In 9^th International Symposium on Asynchronous Circuits and Systems, May 2003, pp. 56-66.
Kenneth S. Stevens, Ran Ginosar, and Shai Rotem Relative Timing. In IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 11(1), Feb. 2003, pp. 129-140.
Ronald W. Brower and Kenneth S. Stevens Congruent Weak Conformance, a Partial Order among Processes. In Formal Techniques for Networked and Distributed Systems (FORTE 2002), D. Peled and M. Vardi (Editors), Lecture Notes in Computer Science 2529, Springer-Verlag, Nov. 2002, pp. 34-49.
H. Kim, P. A. Beerel, and K. S. Stevens. Relative Timing Based Verification of Timed Circuits and Systems. In 8^th International Symposium on Asynchronous Circuits and Systems, Apr. 2002, pp. 115-126.
J. Cortadella, M. Kishinevsky, S. M. Burns, A. Kondratyev, L. Lavagno, K. S. Stevens, A. Taubin, and A. Yakovlev. Lazy Transition Systems and Asynchronous Circuit Synthesis with Relative Timing Assumptions. In IEEE Transactions on CAD, 21(2), Feb. 2002, pp. 109-130.
Ronald W. Brower and Kenneth S. Stevens Congruent Weak Conformance. In the 44^th IEEE Midwest Symposium of Circuits and Systems (MWSCAS 2001), pp. 666-667, Aug. 2001.
K. S. Stevens, S. Rotem, R. Ginosar, P. Beerel, C. Myers, K. Yun, R. Kol, C. Dike, and M. Roncken. An Asynchronous Instruction Length Decoder. In IEEE Journal of Solid State Circuits, 36(2), Feb. 2001, pp 217-228.
Susmita Sur-Kolay, Marly Roncken, Ken Stevens, Parimal Pal Chaudhuri, and Rob Roy. Fsimac: A Fault Simulator for Asynchronous Sequential Circuits. In Proceedings of the 9^th Asian Test Symposium (ATS2000), pp. 114-119, Dec. 2000.
Marly Roncken, Ken Stevens, Rajesh Pendurkar, Shai Rotem, and Parimal Pal Chaudhuri. CA-BIST for Asynchronous Circuits: A Case Study on the RAPPID Asynchronous Instruction Length Decoder. In Proceedings of the 6^th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-2000), pp. 62-72, April 2000.
D Barnhart, P. Duggan, B. Suter, C. Brothers and K. S. Stevens. Total Ionizing Dose Characterization of a Commercially Fabricated Asynchronous FFT for Space Applications. In Journal of Radiation Effects, Research, and Engineering. March 2000.
Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, and Kenneth S. Stevens. Synthesis of Asynchronous Control Circuits with Automatically Generated Relative Timing Assumptions. In Proceedings of the International Conference on Computer-Aided Design (ICCAD-99). pp. 324-331, November 1999.
K. S. Stevens, S. Rotem, S. M. Burns, J. Cortadella, R. Ginosar, M. Kishinevsky, and M. Roncken. CAD Directions for High Performance Asynchronous Circuits. In Proceedings of the Digital Automation Conference (DAC99). pp. 116-121, June 1999.
S. Rotem, K. S. Stevens, R. Ginosar, P. Beerel, C. Myers, K. Yun, R. Kol, C. Dike, M. Roncken, and B. Agapiev.
RAPPID: An Asynchronous Instruction Length Decoder.
In Proceedings of the 5^th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-99). pp. 60-70, April 1999.
Received the Best Paper Award
Kenneth S. Stevens, Ran Ginosar, and Shai Rotem. Relative Timing. In Proceedings of the 5^th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-99). pp. 208-218, April 1999.
F. C. D. Young, K. S. Stevens, and R. P. Graham Jr. Timed Logic Conformance and its Application. In Proceedings of the International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems (TAU99). pp. 95-100, March 1999.
Bruce W. Suter, Kenneth S. Stevens, Scott R. Velasques, and Truong Nguyen. Multirate as a Hardware Paradigm. In Proceedings of the International Conference on Acoustics, Speech, and Signal Processing (ICASSP-99). Vol. IV, pp. 1885-1888, March 1999.
Bruce W. Suter and Kenneth S. Stevens. A Low Power, High Performance approach for Time-Frequency / Time-Scale Computations. In Proceedings of the Conference on Advanced Signal Processing Algorithms, Architectures and Implementations VIII (SPIE-98). Vol 3461, pp. 86-90, July 1998.
K. S. Stevens and B. W. Suter A Mathematical Approach to a Low Power FFT Architecture . In Proceedings of the International Symposium on Circuits and Systems (ISCAS-98). Vol II, pp. 21-24, June 1998.
B. W. Hunt, K. S. Stevens, B. W. Suter, and D. S. Gelosh. A Single Chip Low Power Asynchronous Implementation of an FFT Algorithm for Space Applications . In Proceedings of the 4^th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-98). pp. 216-223, April 1998.
W. Chou, P. A. Beerel, R. Ginosar, R. Kol, C. J. Myers, S. Rotem, K. S. Stevens, and K. Y. Yun. Average-Case Optimized Technology Mapping of One-Hot Domino Circuits. In Proceedings of the 4^th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-98). pp. 80-91, April 1998.
B. W. Suter and K. S. Stevens Low Power, High Performance FFT Design . In Proceedings of IMACS World Congress on Scientific Computation, Modeling, and Applied Mathematics. Vol 1, pp. 99-104, July 1997.
Kenneth S. Stevens. Practical Verification and Synthesis of Low Latency Asynchronous Systems. PhD Thesis, University of Calgary, September 1994.
G. Birtwistle, Y. Liu, D. Spooner, J. Aldwinckle, K. S. Stevens, and W. Yu.
``Case Studies in Asynchronous Design. Part II: A 4-Stroke AMM''.
University of Calgary Research Report No. 93/530/34, December 1993.
G. Birtwistle, Y. Liu, D. Spooner, J. Aldwinckle, K. S. Stevens, and W. Yu.
``Case Studies in Asynchronous Design. Part I: AMM Architecture''.
University of Calgary Research Report No. 93/529/34, December 1993.
William S. Coates, Alan L. Davis, and Kenneth S. Stevens. The Post Office Experience: Designing a Large Asynchronous Chip. Integration, the VLSI Journal, Vol 15, No 3, pp 341-366, October 1993.
Ken Stevens, John Aldwinckle, Graham Birtwistle, and Ying Liu. Designing Parallel Specifications in CCS. In Canadian Conference on Electrical and Computer Engineering, Vol II pp 983-986, September 1993.
Ying Liu, John Aldwinckle, Graham Birtwistle, and Ken Stevens. Testing the Consequences of Specifications in the Modal-mu Calculus. In Canadian Conference on Electrical and Computer Engineering Vol II pp 987-990, September 1993.
William S. Coates, Alan L. Davis, and Kenneth S. Stevens. Automatic Synthesis of Fast Compact Self-Timed Control Circuits. In Proceedings of the IFIP Working Conference on Asynchronous Design Methodologies, April 1993.
Kenneth S. Stevens, Alan L. Davis, and William S. Coates. The Post Office Experience: Designing a Large Asynchronous Chip. In Proceedings of the 26^th Hawaii International Conference on System Sciences, Vol I pp 409-418, January 1993.
Kenneth S. Stevens. Automatic Synthesis of Fast, Compact Self-Timed Control University of Calgary Research Report No. 92/495/33, December 1992.
A. L. Davis, W. S. Coates, R. D. Hodgson, R. Schediwy, and K. S. Stevens.
``Mayfly System Hardware''.
Technical Report Hewlett-Packard Labs HPL-SAL-89-23, April 1989.
Kenneth S. Stevens.
``Performance Analysis of Interconnection Networks for Highly Replicated VLSI Multiprocessors''.
In Proceedings of the 1988 Banff VLSI Frontiers Workshop
A. L. Davis and K. S. Stevens.
``SBC: A Multiport Memory Building Block for Asynchronous Systems''.
Submitted for publication in the proceedings of the 15th annual International Symposium on Computer Architecture.
J. M. Anderson, W. S. Coates, A. L. Davis, R. W. Hon, I. N. Robinson, S. V Robison, and K. S. Stevens.
``The Architecture of FAIM-1''.
Computer, 20(1):55-65, January 1987
Kenneth S. Stevens, Shane V Robison, and Alan L. Davis.
``The Post Office - Communication Support for Distributed Ensemble Architectures''.
In Proceedings of 6^th International Conference on Distributed Computing Systems, pp 160-166, May 1986.
Received the Best Paper award.
J. M. Anderson, W. S. Coates, A. L. Davis, R. W. Hon, I. N. Robinson, S. V Robison, and K. S. Stevens.
``FAIM-1: The General Architecture''.
Technical Report 61, Schlumberger Palo Alto Research Center, 3340 Hillview Ave, Palo Alto, CA. 94304. April 1986.
Kenneth S. Stevens.
``The Communications Framework for a Distributed Ensemble Architecture''.
Technical Report 47, Schlumberger Palo Alto Research Center, 3340 Hillview Ave, Palo Alto, CA. 94304. February 1986.
Kenneth S. Stevens.
``The Soft Controller: A Self-Timed Microsequencer for Distributed Parallel Architectures''.
Master's Thesis, University of Utah, September 1984.
Kent F. Smith, Brent E. Nelson, and Kenneth S. Stevens.
``Student-Designed VLSI at the University of Utah''.
In IEEE 2^nd CAD/CAM Educational Meeting, December 1983.