Recent publications of Kenneth S. Stevens

Ken Stevens

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

e-mail: kstevens@ece.utah.edu


Copyright notice:

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. For papers published by the International Federation for Information Processing (IFIP):

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than IFIP must be honored. Abstracting without credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee.


Publication List:

(All documents are in pdf format)


Interfacing synchronous and asynchronous domains for Open Core Protocol vlsi 14, vij, gudla, stevens, jan 14.
o Graham M. Birtwistle and Kenneth S. Stevens.
Modelling Mixed 4phase Pipelines: Structures and Patterns.
20th International Symposium on Asynchronous Circuits and Systems, pp. 27-36, May 2014.

o Vikas S. Vij, Raghu Prasad Gudla, and Kenneth S. Stevens.
Interfacing Synchronous and Asynchronous Domains for Open Core Protocol.
20th International Converence on VLSI Design, pp. 282-287, January 2014.

o Graham Birtwistle and Kenneth S. Stevens.
A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines.
In HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. Andrei Voronkov and Margarita Korovina, editors, pp. 34--65, Easychair, 2014.

o Krishnaji Desai, Kenneth S. Stevens, John O'Leary.
Symbolic Verification of Timed Asynchronous Hardware Protocols.
In the Annual Symposium on VLSI (ISVLSI), pp. 147-152, August 2013.

o Dipanjan Bhadra, Vikas S. Vij, and Kenneth S. Stevens
A Low Power UART Design Based on Asynchronous Techniques.
In the IEEE 56th International Midwest Symposium on Circuits and Systems (MWSCAS), pp. 21-24, August 2013.

o Shomit Das, Vikas Vij, and Kenneth S. Stevens.
SAS: Source Asynchronous Signaling Protocol for Asynchronous Handshake Communication Free From Wire Delay Overhead.
In The International Symposium on Asynchronous Circuits and Systems, pp. 107-114, May 2013.

o Shomit Das, Georgios Manetas, Kenneth S. Stevens, and Roberto Suaya.
Leveraging the geometric properties of on-chip transmission line structures to improve interconnect performance: A case study in 65nm.
In The International Symposium on Network-on-Chip (NOCS), pp. 1-2, April 2013.

o William Lee, Vikas S. Vij, Anthony R. Thatcher, and Kenneth S. Stevens.
Design of Low Energy, High Performance Synchronous and Asynchronous 64-Point FFT.
In Design, Automation & Test in Europe (DATE), pp. 242-247, March 2013.

o Eliyah Kilada and Kenneth S. Stevens.
Design and Verification of Lazy and Hybrid Implementations of the SELF Protocol.
Book Chapter in VLSI-SoC: Forward-Looking Trends in IC and System Design, Editors: Jose L. Ayala, David Atienza and Ricardo Reis. Springer-Verlag New York, ISBN 9783642285653, February 2012.

o Eliyah Kilada and Kenneth S. Stevens
Synchronous Elasticization at a Reduced Cost: Utilizing the Ultra Simple Fork and Controller Merging.
In the International Conference on Computer Aided Design (ICCAD), pp. 794-801, Nov. 2011.

o Daniel Gebhardt, JunBok You, and Kenneth S. Stevens.
Design of an Energy-Efficient Asynchronous NoC and its Optimization Tools for Heterogeneous SoCs.
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 30, No. 9, pp. 1387-1399, September 2011.

o Kenneth S. Stevens and Alexandre Yakovlev.
Selected papers from the 16th IEEE International Symposium on Asynchronous Circuits and Systems.
In The Institute of Engineering and Technology Computers and Digital Techniquies, Vol. 5, Issue 4, pp. 316-317, July 2011.

o Daniel Gebhardt, JunBok You, and Kenneth S. Stevens.
Link Pipelining Strategies for an Application-Specific Asynchronous NoC.
In International Symposium on Networks-on-Chip (NOCS), pp. 185 - 192, May 2011.

o Kenneth S. Stevens, Pankaj Golani, and Peeter A. Beerel.
Energy and Performance Models for Synchronous and Asynchronous Communication.
In IEEE Transactions on Very Large Scale Integration, pp. 369 - 382, Vol. 19, No. 3, March 2011.

o Daniel Gebhardt, JunBok You, and Kenneth S. Stevens.
Link Pipelining for an Energy-Efficient Asynchronous Network-on-Chip.
In the Workshop on SoC Architecture, Accelerators and Workloads in conjunction with HPCA, 6 pages, Feb. 2011.

o Junbok You, Daniel Gebhardt, and Kenneth S. Stevens.
Bandwidth Optimization in Asynchronous NoCs by Customizing Link Wire Length.
In the International Conference on Computer Design, pp. 455-461, October, 2010.

o Eliyah Kilada, Shomit Das, and Kenneth S. Stevens.
Synchronous Elasticization: Considerations for Correct Implementation and MiniMIPS Case Study.
In the International Conference on Very Large Scale Integration, VLSI-SOC 2010. pp. 7-12, September 2010.

o Santosh N. Varanasi, Kenneth S. Stevens, and Graham Birtwistle.
Concurrency Reduction of Untimed Latch Protocols - Theory and Practice.
16th International Symposium on Asynchronous Circuits and Systems, pp. 26-37, May 2010.

o Daniel Gebhardt, JunBok You, and Kenneth S. Stevens.
Comparing Energy and Latency of Asynchronous and Synchronous NoCs for Embedded SoCs.
In the Fourth International Symposium on Networks-on-Chip (NOCS), pp. 115-122, May 2010.

o Krishnaji Desai and Kenneth S. Stevens.
Scalable Asynchronous Hardware Protocol Verification for Compositions with Relative Timing.
In the TAU 2010 Workshop, March, 2010.

o Eliyah Kilada and Kenneth S. Stevens.
Control Network Generator for Latency Insensitive Designs.
In Design, Autoamation, & Test Europe, pp. 1773 - 1778, March 2010.

o Yang Xu and Kenneth S. Stevens.
Automatic Synthesis of Computation Interference Constraints for Relative Timing Verification.
In 26th International Conference on Computer Design, pp. 16-22, October, 2009.

o HoSuk Han and Kenneth S. Stevens.
Clocked and Asynchronous FIFO Characterization and Comparison.
In 17th IFIP/IEEE International Conference on Very Large Scale Integration. pp. 101-108, October, 2009

o Kenneth S. Stevens, Daniel Gebhardt, Junbok You, Yang Xu, Vikas Vij, Shomit Das, and Krishnaji Desai
The Future of Formal Methods and GALS Design.
In Electronic Notes in Theoretical Computer Science, Vol. 245, No. 1, pages 115-134, August 2009.

o Eric Quist, Peter Beerel, and Kenneth S. Stevens
Enhanced SDC Support for Relative Timing Designs.
In Digital Automation Conference, User Track Poster, July 2009. Presentation can also be found on DAC web page: http://www.dac.com/46th/proceedings/slides/B_12.pdf

o David J. Barnhart, Tanya Vladimirova, Martin N. Sweeting, and Kenneth S. Stevens
Radiation Hardening by Design of Asynchronous Logic for Hostile Environments.
IEEE Journal of Solid State Circuits, 44(5), May 2009.

o Kenneth S. Stevens, Yang Xu, and Vikas Vij.
Characterization of Asynchronous Templates for Integration into Clocked CAD Flows.
15th International Symposium on Asynchronous Circuits and Systems, pp. 151-161, May 2009.

o Daniel Gebhardt and Kenneth S. Stevens
Power Reduction through Physical Placement of Asynchronous Routers.
3rd IEEE International Symposium on Network-on-Chip, page 92, May 2009.

o Robert L. Ewing, Hoda S. Abdel-Aty-Zohdy, Michael C. Hollenbeck, Ronald W. Brower, and Kenneth S. Stevens.
Fractional-Order Signal Processing using a Polymer-Electrolyte Transistor.
In the Proceedings of the Midwest Symposium on Circuits and Systems, pages 601-604, Aug. 2008.

o Michael C. Hollenbeck, Kenneth Stevens, Ronald Brower, Robert Ewing and Hoda Abdel-Aty-Zohdy
Capacitive Ionic Current Measurement in a Polymer-Electrolyte Transistor.
In Proceedings of the National Aerospace Electronics Conference, pages 129-132, July, 2008.

o Graham Birtwistle and Kenneth S. Stevens.
The Family of 4-phase Latch Protocols.
14th International Symposium on Asynchronous Circuits and Systems, pp. 71-82, April 2008.

o Daniel Gebhardt, Junbok You, W. Scott Lee, and Kenneth S. Stevens.
Network Simplicity for Latency Insensitive Cores.
2nd International Symposium on Network-on-Chip, pp. 209-210, April 2008.

o Michael C. Hollenbeck, Hoda Abdel-Aty-Zohdy, Ronald Brower, Robert Ewing, and Kenneth Stevens.
Hybrid Polymer-Electrolyte Transistors for Optical Computing.
In Proceedings of the Nanoscale Science and Engineering Conference, 2008.

o 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.

o 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.

o 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.

o Krishna Santhanam and Kenneth S. Stevens.
Dynamic Gates with Hysteresis and Configurable Noise Tolerance.
In 15th Annual IFIP International Conference on Very Large Scale Integration, VLSI-SOC 2007. pp. 184-189, October, 2007.

o Mike Kishinevsky and Sandeep K. Shukla and Kenneth S. Stevens.
Guest Editors' Introduction: GALS Design and Validation".
In IEEE Design and Test of Computers, Vol. 24, Issue 5, pp. 414-416, Sept.-Oct. 2007.

o 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.

o Sanjit A. Seshia, Randal E. Bryant, and Kenneth S. Stevens.
Modeling and Verifying Circuits Using Generalized Relative Timing.
In 11th International Symposium on Asynchronous Circuits and Systems, March 2005, pp 98-108

o Kenneth S. Stevens.
Energy and Performance Models for Clocked and Asynchronous Communication.
In 9th International Symposium on Asynchronous Circuits and Systems, May 2003, pp. 56-66.

o 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.

o 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.

o H. Kim, P. A. Beerel, and K. S. Stevens.
Relative Timing Based Verification of Timed Circuits and Systems.
In 8th International Symposium on Asynchronous Circuits and Systems, Apr. 2002, pp. 115-126.

o 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.

o Ronald W. Brower and Kenneth S. Stevens
Congruent Weak Conformance.
In the 44th IEEE Midwest Symposium of Circuits and Systems (MWSCAS 2001), pp. 666-669, Aug. 2001.

o 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.

o 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 9th Asian Test Symposium (ATS2000), pp. 114-119, Dec. 2000.

o 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 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-2000), pp. 62-72, April 2000.

o 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.

o 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.

o 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.

o 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 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-99). pp. 60-70, April 1999.
Received the Best Paper Award

o Kenneth S. Stevens, Ran Ginosar, and Shai Rotem.
Relative Timing.
In Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-99). pp. 208-218, April 1999.

o 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.

o 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.

o 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.

o 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.

o 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 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-98). pp. 216-223, April 1998.

o 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 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC-98). pp. 80-91, April 1998.

o 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.

o Kenneth S. Stevens.
Practical Verification and Synthesis of Low Latency Asynchronous Systems.
PhD Thesis, University of Calgary, September 1994.

o Bill Coates, Al Davis, and Ken Stevens.
The Post Office Experience: Designing a Large Asynchronous Chip.
Integration, the VLSI Journal, Vol 15, No 3, pp 341-366, October 1993.

o 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.

o 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.

o 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.

o Kenneth S. Stevens, Alan L. Davis, and William S. Coates.
The Post Office Experience: Designing a Large Asynchronous Chip.
In Proceedings of the 26th Hawaii International Conference on System Sciences, Vol I pp 409-418, January 1993.

o Kenneth S. Stevens.
Automatic Synthesis of Fast, Compact Self-Timed Control
University of Calgary Research Report No. 92/495/33, December 1992.

o Kenneth S. Stevens.
``Performance Analysis of Interconnection Networks for Highly Replicated VLSI Multiprocessors''.
In Proceedings of the 1988 Banff VLSI Frontiers Workshop

o 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

o Kenneth S. Stevens, Shane V Robison, and Alan L. Davis.
The Post Office - Communication Support for Distributed Ensemble Architectures.
In Proceedings of 6th International Conference on Distributed Computing Systems, pp 160-166, May 1986.
Received the Best Paper award.

o Kenneth S. Stevens.
``The Soft Controller: A Self-Timed Microsequencer for Distributed Parallel Architectures''.
Master's Thesis, University of Utah, September 1984.

o Kent F. Smith, Brent E. Nelson, and Kenneth S. Stevens.
``Student-Designed VLSI at the University of Utah''.
In IEEE 2nd CAD/CAM Educational Meeting, December 1983.


Comments are welcome. Please send e-mail to kstevens@ece.utah.edu
Copyright © 1997-2003 - All rights reserved
Last Modified: