Marly Roncken

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 8

Top Topics

Asynchronous Circuits

Mutual Exclusion

Real Time Databases

Timing Constraints

Top Venues

IEEE Embed. Syst. Lett.

IEEE Trans. Circuits Syst. II Express Briefs

Publications

Ebelechukwu Esimai, Marly Roncken
Flexible Compilation and Refinement of Asynchronous Circuits. ASYNC (2023)
Ebelechukwu Esimai, Marly Roncken
Flexible Active-Passive and Push-Pull Protocols. IEEE Embed. Syst. Lett. 14 (3) (2022)
Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland
A Hierarchical Approach to Self-Timed Circuit Verification. ASYNC (2019)
Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland, Xiaoyu Song
Mutual Exclusion Sizing for Hoi Polloi. IEEE Trans. Circuits Syst. II Express Briefs (6) (2019)
Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland
Data-Loop-Free Self-Timed Circuit Verification. ASYNC (2018)
Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland
A Framework for Asynchronous Circuit Modeling and Verification in ACL2. Haifa Verification Conference (2017)
Marly Roncken, Ivan E. Sutherland, Chris Chen, Yong Hei, Warren A. Hunt Jr., Cuong K. Chau, Swetha Mettala Gilla, Hoon Park, Xiaoyu Song, Anping He, Hong Chen
How to think about self-timed systems. ACSSC (2017)
Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan E. Sutherland
Modular Timing Constraints for Delay-Insensitive Systems. J. Comput. Sci. Technol. 31 (1) (2016)
Marly Roncken, Swetha Mettala Gilla, Hoon Park, Navaneeth Jamadagni, Chris Cowan, Ivan E. Sutherland
Naturalized Communication and Testing. ASYNC (2015)
Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment. Concurrency, Compositionality, and Correctness (2010)
Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland
Long-Range GasP with Charge Relaxation. ASYNC (2010)
Andrew M. Scott, Mark E. Schuelein, Marly Roncken, Jin-Jer Hwan, John Bainbridge, John R. Mawer, David L. Jackson, Andrew Bardsley
Asynchronous on-Chip Communication: Explorations on the Intel PXA27x Processor Peripheral Bus. ASYNC (2007)
Peter A. Beerel, Marly Roncken
Low Power and Energy Efficient Asynchronous Design. J. Low Power Electron. 3 (3) (2007)
John O'Leary, Marly Roncken
Rob Tristan Gerth: 1956?2003. CAV (2004)
Kenneth S. Stevens, Shai Rotem, Ran Ginosar, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun, Rakefet Kol, Charles Dike, Marly Roncken
An asynchronous instruction length decoder. IEEE J. Solid State Circuits 36 (2) (2001)
Marly Roncken, Ken S. Stevens, Rajesh Pendurkar, Shai Rotem, Parimal Pal Chaudhuri
CA-BIST for Asynchronous Circuits: A Case Study on the RAPPID Asynchronous Instruction Length Decoder. ASYNC (2000)
Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen, Marly Roncken
DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits. ASYNC (2000)
Susmita Sur-Kolay, Marly Roncken, Ken S. Stevens, Parimal Pal Chaudhuri, Rob Roy
Fsimac: a fault simulator for asynchronous sequential circuits. Asian Test Symposium (2000)
Shai Rotem, Ken S. Stevens, Charles Dike, Marly Roncken, Boris Agapiev, Ran Ginosar, Rakefet Kol, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun
RAPPID: An Asynchronous Instruction Length Decoder. ASYNC (1999)
Marly Roncken
Defect-oriented testability for asynchronous ICs. Proc. IEEE 87 (2) (1999)
Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken
CAD Directions for High Performance Asynchronous Circuits. DAC (1999)
Marly Roncken, Emile H. L. Aarts, Wim F. J. Verhaegh
Optimal Scan for Pipelined Testing: An Asynchronous Foundation. ITC (1996)
Marly Roncken, Eric Bruls
Test Quality of Asynchronous Circuits: A Defect-oriented Evaluation. ITC (1996)
Marly Roncken
Asynchronous Design: Working the Fast Lane. ITC (1996)
Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Ad M. G. Peeters, Marly Roncken, Frits D. Schalij, Rik van de Wiel
A single-rail re-implementation of a DCC error detector using a generic standard-cell library. ASYNC (1995)
Marly Roncken
Partial scan test for asynchronous circuits illustrated on a DCC error corrector. ASYNC (1994)
Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Marly Roncken, Frits D. Schalij, Ad M. G. Peeters
Asynchronous Circuits for Low Power: A DCC Error Corrector. IEEE Des. Test Comput. 11 (2) (1994)
Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Ad M. G. Peeters, Marly Roncken, Frits D. Schalij
A fully asynchronous low-power error corrector for the DCC player. IEEE J. Solid State Circuits 29 (12) (1994)
Marly Roncken, Ronald Saeijs
Linear Test Times for Delay-Insensitive Circuits: a Compilation Strategy. Asynchronous Design Methodologies (1993)
Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Marly Roncken, Frits D. Schalij
Characterization and Evaluation of a Compiled Asynchronous IC. Asynchronous Design Methodologies (1993)
Kees van Berkel, Joep L. W. Kessels, Marly Roncken, Ronald Saeijs, Frits D. Schalij
The VLSI-programming language tangram and its translation into handshake circuits. EURO-DAC (1991)
Rob Gerth, Willem P. de Roever, Marly Roncken
Procedures and concurrency: A study in proof. Symposium on Programming (1982)
Marly Roncken, Rob Gerth, Willem P. de Roever
A Proof System for Brinch Hansen's Distributed Processes. GI Jahrestagung (1981)