Kenneth S. Stevens

发表

RAPPID: an asynchronous instruction length decoder

Ran Ginosar, Peter A. Beerel, Shai Rotem, 1999, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems.

Algorithms forMISVector Generation andPruning

Kenneth S. Stevens, Florentin Dartu, 2006 .

Testing the consequences of specifications in modal /spl mu/

Kenneth S. Stevens, Graham Birtwistle, Ying Liu, 1993, Proceedings of Canadian Conference on Electrical and Computer Engineering.

Congruent weak conformance

Kenneth S. Stevens, R. W. Brower, K. Stevens, 2001, Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257).

Proceedings of the great lakes symposium on VLSI

Joseph R. Cavallaro, Kenneth S. Stevens, Tong Zhang, 2012, GLSVLSI 2012.

Automatic synthesis of computation interference constraints for relative timing verification

Yang Xu, Kenneth S. Stevens, Yang Xu, 2009, 2009 IEEE International Conference on Computer Design.

Power reduction through physical placement of asynchronous routers

Kenneth S. Stevens, Daniel Gebhardt, 2009, 2009 3rd ACM/IEEE International Symposium on Networks-on-Chip.

Editorial - Selected papers from the 16th IEEE International Symposium on Asynchronous Circuits and Systems

Kenneth S. Stevens, Alexandre Yakovlev, 2011, IET Comput. Digit. Tech..

Link pipelining strategies for an application-specific asynchronous NoC

Kenneth S. Stevens, Daniel Gebhardt, JunBok You, 2011, Proceedings of the Fifth ACM/IEEE International Symposium.

CASE STUDIES IN ASYNCHRONOUS DESIGN. PART I: AMM ARCHITECTUREPART II: A 4 STROKE AMM

Kenneth S. Stevens, Graham M. Birtwistle, John Aldwinckle, 1993 .

Algorithms for automatic generation of relative timing constraints

Kenneth S. Stevens, Yang Xu, 2011 .

Automatic Synthesis of Fast Compact Self-Timed Control Circuits

Kenneth S. Stevens, Alexander Davis, William S. Coates, 1993 .

Algorithms for MIS vector generation and pruning

Kenneth S. Stevens, Florentin Dartu, 2006, ICCAD.

Energy and performance models for clocked and asynchronous communication

Kenneth S. Stevens, K. Stevens, 2003, Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings..

Symbolic verification of timed asynchronous hardware protocols

Kenneth S. Stevens, Krishnaji Desai, John O'Leary, 2013, 2013 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

A Design Space and its Patterns: Modelling 2phase Asynchronous Pipelines

Kenneth S. Stevens, Graham M. Birtwistle, K. Stevens, 2014, HOWARD-60.

Guest Editors' Introduction: GALS Design and Validation

Sandeep K. Shukla, Kenneth S. Stevens, Michael Kishinevsky, 2007, IEEE Design & Test of Computers.

SAS: Source Asynchronous Signaling Protocol for Asynchronous Handshake Communication Free from Wire Delay Overhead

Kenneth S. Stevens, Shomit Das, Vikas S. Vij, 2013, 2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems.

Path Based Timing Validation for Timed Asynchronous Design

Kenneth S. Stevens, William Lee, Tannu Sharma, 2016, 2016 29th International Conference on VLSI Design and 2016 15th International Conference on Embedded Systems (VLSID).

Practical verification and synthesis of low latency asynchronous systems

Kenneth S. Stevens, Graham Birtwistle, K. Stevens, 1994 .

Qualifying Relative Timing Constraints for Asynchronous Circuits

Kenneth S. Stevens, Jotham Vaddaboina Manoranjan, K. Stevens, 2016, 2016 22nd IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).

Network Simplicity for Latency Insensitive Cores

Kenneth S. Stevens, Daniel Gebhardt, Junbok You, 2008 .

Dynamic gates with hysteresis and configurable noise tolerance

Kenneth S. Stevens, Krishna Santhanam, 2007, 2007 IFIP International Conference on Very Large Scale Integration.

An asynchronous instruction length decoder

Ran Ginosar, Peter A. Beerel, Shai Rotem, 2001, IEEE J. Solid State Circuits.

Reconfigurable circuit for implementation of family of 4-phase latch protocols

Kenneth S. Stevens, Jotham Vaddaboina Manoranjan, 2016, 2016 26th International Conference on Field Programmable Logic and Applications (FPL).

A Transmission Line Enabled Deadlock Free Toroidal Network-on-Chip using Asynchronous Handshake Protocols

Kenneth S. Stevens, Shomit Das, Mackenzie J. Wibbels, 2019, 2019 25th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC).

Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions

Luciano Lavagno, Kenneth S. Stevens, Alexandre Yakovlev, 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

Modeling and verifying circuits using generalized relative timing

Kenneth S. Stevens, Sanjit A. Seshia, Randal E. Bryant, 2005, 11th IEEE International Symposium on Asynchronous Circuits and Systems.

Relative timing based verification of timed circuits and systems

Peter A. Beerel, Kenneth S. Stevens, Hoshik Kim, 2002, Proceedings Eighth International Symposium on Asynchronous Circuits and Systems.

CAD directions for high performance asynchronous circuits

Ran Ginosar, Shai Rotem, Kenneth S. Stevens, 1999, DAC '99.

Interfacing Synchronous and Asynchronous Domains for Open Core Protocol

Kenneth S. Stevens, Vikas S. Vij, Raghu Prasad Gudla, 2014, 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems.

Clocked and asynchronous FIFO characterization and comparison

Kenneth S. Stevens, HoSuk Han, 2009, 2009 17th IFIP International Conference on Very Large Scale Integration (VLSI-SoC).

Characterization of Asynchronous Templates for Integration into Clocked CAD Flows

Yang Xu, Kenneth S. Stevens, Vikas S. Vij, 2009, 2009 15th IEEE Symposium on Asynchronous Circuits and Systems.

Design of a multi-style and multi-frequency FPGA

Kenneth S. Stevens, Jotham Vaddaboina Manoranjan, Solomon Surya Tej Mano Sajjan, 2016, 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).

The Future of Formal Methods and GALS Design

Yang Xu, Kenneth S. Stevens, Shomit Das, 2009, FMGALS@DATE.

Relative timing driven multi-synchronous design: enabling order-of-magnitude energy reduction

Kenneth S. Stevens, 2013, ISPD '13.

A low power UART design based on asynchronous techniques

Kenneth S. Stevens, Vikas S. Vij, Dipanjan Bhadra, 2013, 2013 IEEE 56th International Midwest Symposium on Circuits and Systems (MWSCAS).

Burst-mode asynchronous controller implementation on FPG using relative timing

Kenneth S. Stevens, Jotham Vaddaboina Manoranjan, 2014, 2014 IX Southern Conference on Programmable Logic (SPL).

Preface

Sandeep K. Shukla, Kenneth S. Stevens, Montek Singh, 2006, Electron. Notes Theor. Comput. Sci..

A mathematical approach to a low power FFT architecture

Kenneth S. Stevens, B. W. Suter, 1998, ISCAS '98. Proceedings of the 1998 IEEE International Symposium on Circuits and Systems (Cat. No.98CH36187).

Energy and Performance Models for Synchronous and Asynchronous Communication

Pankaj Golani, Peter A. Beerel, Kenneth S. Stevens, 2011, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

Synchronous elasticization: Considerations for correct implementation and MiniMIPS case study

Kenneth S. Stevens, Shomit Das, Eliyah Kilada, 2010, 2010 18th IEEE/IFIP International Conference on VLSI and System-on-Chip.

Design and Verification of Lazy and Hybrid Implementations of the SELF Protocol

Kenneth S. Stevens, Eliyah Kilada, 2010, VLSI-SoC.

Automatic addition of reset in asynchronous sequential control circuits

Kenneth S. Stevens, Vikas S. Vij, 2013, 2013 IFIP/IEEE 21st International Conference on Very Large Scale Integration (VLSI-SoC).

Low-power high-performance approach for time-frequency/time-scale computations

Kenneth S. Stevens, Bruce W. Suter, B. Suter, 1998, Optics & Photonics.

Leveraging the geometric properties of on-chip transmission line structures to improve interconnect performance: A case study in 65nm

Kenneth S. Stevens, Roberto Suaya, Shomit Das, 2013, 2013 Seventh IEEE/ACM International Symposium on Networks-on-Chip (NoCS).

Synthesis of asynchronous control circuits with automatically generated relative timing assumptions

Kenneth S. Stevens, Steven M. Burns, Jordi Cortadella, 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).

Relative timing

Ran Ginosar, Shai Rotem, Kenneth S. Stevens, 1999, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems.

Design of low energy, high performance synchronous and asynchronous 64-point FFT

Kenneth S. Stevens, Vikas S. Vij, William Lee, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Fsimac: a fault simulator for asynchronous sequential circuits

Susmita Sur-Kolay, Kenneth S. Stevens, Marly Roncken, 2000, Proceedings of the Ninth Asian Test Symposium.

An a-FPGA architecture for relative timing based asynchronous designs

Kenneth S. Stevens, Jotham Vaddaboina Manoranjan, 2014, 2014 International Conference on ReConFigurable Computing and FPGAs (ReConFig14).

Physical Design Variation in Relative Timed Asynchronous Circuits

Kenneth S. Stevens, Tannu Sharma, 2017, 2017 IEEE Computer Society Annual Symposium on VLSI (ISVLSI).

Multirate as a hardware paradigm

Truong Q. Nguyen, Kenneth S. Stevens, Bruce W. Suter, 1999, 1999 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings. ICASSP99 (Cat. No.99CH36258).

Low Power SPI Design Based on Relative Timing Techniques

Kenneth S. Stevens, Guillermo H. Makar, Francisco J. Badenas, 2019, 2019 26th IEEE International Conference on Electronics, Circuits and Systems (ICECS).

AUTOMATIC SYNTHESIS OF FAST, COMPACT SELF-TIMED STATE MACHINES

Kenneth S. Stevens, 1992 .

Average-case optimized technology mapping of one-hot domino circuits

Ran Ginosar, Peter A. Beerel, Shai Rotem, 1998, Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems.

A single chip low power asynchronous implementation of an FFT algorithm for space applications

Kenneth S. Stevens, Bruce W. Suter, Donald S. Gelosh, 1998, Proceedings Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems.

The Architecture of FAIM-1

Kenneth S. Stevens, Al Davis, Ian N. Robinson, 1987, Computer.

Control network generator for latency insensitive designs

Kenneth S. Stevens, Eliyah Kilada, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Design of an Energy-Efficient Asynchronous NoC and Its Optimization Tools for Heterogeneous SoCs

Kenneth S. Stevens, Daniel Gebhardt, JunBok You, 2011, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Elastic Flow in an Application Specific Network-on-Chip

Kenneth S. Stevens, Daniel Gebhardt, 2008, Electron. Notes Theor. Comput. Sci..

Modelling Mixed 4phase Pipelines: Structures and Patterns

Kenneth S. Stevens, Graham M. Birtwistle, 2014, 2014 20th IEEE International Symposium on Asynchronous Circuits and Systems.

Synchronous elasticization at a reduced cost: Utilizing the ultra simple fork and controller merging

Kenneth S. Stevens, Eliyah Kilada, K. Stevens, 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

Network Simplicity for Latency Insensitive Cores

Kenneth S. Stevens, Daniel Gebhardt, JunBok You, 2008, Second ACM/IEEE International Symposium on Networks-on-Chip (nocs 2008).

STUDENT-DESIGNED VLSI AT THE UNIVERSITY OF UTAH.

Kenneth S. Stevens, Brent E. Nelson, Kent F. Smith, 1983 .

The Post Office-Communication Support for Distributed Ensemble Architectures

Kenneth S. Stevens, Al Davis, Shane V. Robison, 1986, IEEE International Conference on Distributed Computing Systems.

Performance Evaluation of Elastic GALS Interfaces and Network Fabric

Yang Xu, Kenneth S. Stevens, Hosuk Han, 2008, Electron. Notes Theor. Comput. Sci..

Comparing Energy and Latency of Asynchronous and Synchronous NoCs for Embedded SoCs

Kenneth S. Stevens, Daniel Gebhardt, JunBok You, 2010, 2010 Fourth ACM/IEEE International Symposium on Networks-on-Chip.

CA-BIST for asynchronous circuits: a case study on the RAPPID asynchronous instruction length decoder

Shai Rotem, Kenneth S. Stevens, Marly Roncken, 2000, Proceedings Sixth International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000) (Cat. No. PR00586).

Concurrency Reduction of Untimed Latch Protocols - Theory and Practice

Kenneth S. Stevens, Graham M. Birtwistle, Santosh N. Varanasi, 2010, 2010 IEEE Symposium on Asynchronous Circuits and Systems.

Timing Path-Driven Cycle Cutting for Sequential Controllers

Kenneth S. Stevens, Vikas S. Vij, William Lee, 2016, TODE.

The Family of 4-phase Latch Protocols

Kenneth S. Stevens, Graham M. Birtwistle, 2008, 2008 14th IEEE International Symposium on Asynchronous Circuits and Systems.

Bandwidth optimization in asynchronous NoCs by customizing link wire length

Kenneth S. Stevens, Daniel Gebhardt, JunBok You, 2010, 2010 IEEE International Conference on Computer Design.

Congruent Weak Conformance, a Partial Order among Processes

Kenneth S. Stevens, Ronald W. Brower, K. Stevens, 2002, FORTE.

Design of a low power, relative timing based asynchronous MSP430 microprocessor

Kenneth S. Stevens, Dipanjan Bhadra, 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

Causal Path Identification for Timed and Sequential Circuits

Kenneth S. Stevens, Mackenzie J. Wibbels, K. Stevens, 2022, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Relative Placement in Timed Asynchronous Design

Kenneth S. Stevens, Tannu Sharma, William Lee, 2016 .