Marly Roncken

According to our database, Marly Roncken authored at least 33 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Flexible Compilation and Refinement of Asynchronous Circuits.

Ebelechukwu Esimai, Marly Roncken

Proceedings of the 28th IEEE International Symposium on Asynchronous Circuits and Systems, 2023

2022

Flexible Active-Passive and Push-Pull Protocols.

Ebelechukwu Esimai, Marly Roncken

IEEE Embed. Syst. Lett., 2022

2019

Mutual Exclusion Sizing for Hoi Polloi.

Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland, Xiaoyu Song

IEEE Trans. Circuits Syst. II Express Briefs, 2019

A Hierarchical Approach to Self-Timed Circuit Verification.

Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland

Proceedings of the 25th IEEE International Symposium on Asynchronous Circuits and Systems, 2019

2018

Data-Loop-Free Self-Timed Circuit Verification.

Cuong K. Chau, Warren A. Hunt Jr., Matt Kaufmann, Marly Roncken, Ivan E. Sutherland

Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018

2017

A Framework for Asynchronous Circuit Modeling and Verification in ACL2.

Cuong K. Chau, Warren A. Hunt Jr., Marly Roncken, Ivan E. Sutherland

Proceedings of the Hardware and Software: Verification and Testing, 2017

How to think about self-timed systems.

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

Proceedings of the 51st Asilomar Conference on Signals, Systems, and Computers, 2017

2016

Modular Timing Constraints for Delay-Insensitive Systems.

Hoon Park, Anping He, Marly Roncken, Xiaoyu Song, Ivan E. Sutherland

J. Comput. Sci. Technol., 2016

2015

Naturalized Communication and Testing.

Marly Roncken, Swetha Mettala Gilla, Hoon Park, Navaneeth Jamadagni, Chris Cowan, Ivan E. Sutherland

Proceedings of the 21st IEEE International Symposium on Asynchronous Circuits and Systems, 2015

2010

Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.

Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan E. Sutherland

Proceedings of the Concurrency, 2010

Long-Range GasP with Charge Relaxation.

Swetha Mettala Gilla, Marly Roncken, Ivan E. Sutherland

Proceedings of the 16th IEEE International Symposium on Asynchronous Circuits and Systems, 2010

2007

Low Power and Energy Efficient Asynchronous Design.

Peter A. Beerel, Marly Roncken

J. Low Power Electron., 2007

Asynchronous on-Chip Communication: Explorations on the Intel PXA27x Processor Peripheral Bus.

Andrew M. Scott, Mark E. Schuelein, Marly Roncken, Jin-Jer Hwan, John Bainbridge, John R. Mawer, David L. Jackson, Andrew Bardsley

Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC 2007), 2007

2004

Rob Tristan Gerth: 1956?2003.

John O'Leary, Marly Roncken

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2001

An asynchronous instruction length decoder.

Kenneth S. Stevens, Shai Rotem, Ran Ginosar, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun, Rakefet Kol, Charles Dike, Marly Roncken

IEEE J. Solid State Circuits, 2001

2000

Fsimac: a fault simulator for asynchronous sequential circuits.

Susmita Sur-Kolay, Marly Roncken, Ken S. Stevens, Parimal Pal Chaudhuri, Rob Roy

Proceedings of the 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, 2000

DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits.

Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen, Marly Roncken

Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000

CA-BIST for Asynchronous Circuits: A Case Study on the RAPPID Asynchronous Instruction Length Decoder.

Marly Roncken, Ken S. Stevens, Rajesh Pendurkar, Shai Rotem, Parimal Pal Chaudhuri

Proceedings of the 6th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 2000), 2000

1999

Defect-oriented testability for asynchronous ICs.

Marly Roncken

Proc. IEEE, 1999

CAD Directions for High Performance Asynchronous Circuits.

Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken

Proceedings of the 36th Conference on Design Automation, 1999

RAPPID: An Asynchronous Instruction Length Decoder.

Shai Rotem, Ken S. Stevens, Charles Dike, Marly Roncken, Boris Agapiev, Ran Ginosar, Rakefet Kol, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun

Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '99), 1999

1996

Test Quality of Asynchronous Circuits: A Defect-oriented Evaluation.

Marly Roncken, Eric Bruls

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

Optimal Scan for Pipelined Testing: An Asynchronous Foundation.

Marly Roncken, Emile H. L. Aarts, Wim F. J. Verhaegh

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

Asynchronous Design: Working the Fast Lane.

Marly Roncken

Proceedings of the Proceedings IEEE International Test Conference 1996, 1996

1995

A single-rail re-implementation of a DCC error detector using a generic standard-cell library.

Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Ad M. G. Peeters, Marly Roncken, Frits D. Schalij, Rik van de Wiel

Proceedings of the Second Working Conference on Asynchronous Design Methodologies, 1995

1994

A fully asynchronous low-power error corrector for the DCC player.

Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Ad M. G. Peeters, Marly Roncken, Frits D. Schalij

IEEE J. Solid State Circuits, December, 1994

Asynchronous Circuits for Low Power: A DCC Error Corrector.

Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Marly Roncken, Frits D. Schalij, Ad M. G. Peeters

IEEE Des. Test Comput., 1994

Partial scan test for asynchronous circuits illustrated on a DCC error corrector.

Marly Roncken

Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, 1994

1993

Linear Test Times for Delay-Insensitive Circuits: a Compilation Strategy.

Marly Roncken, Ronald Saeijs

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

Characterization and Evaluation of a Compiled Asynchronous IC.

Kees van Berkel, Ronan Burgess, Joep L. W. Kessels, Marly Roncken, Frits D. Schalij

Proceedings of the Asynchronous Design Methodologies, Proceedings of the IFIP WG10.5 Working Conference on Asynchronous Design Methodologies, Manchester, UK, 31 March, 1993

1991

The VLSI-programming language tangram and its translation into handshake circuits.

Kees van Berkel, Joep L. W. Kessels, Marly Roncken, Ronald Saeijs, Frits D. Schalij

Proceedings of the conference on European design automation, 1991

1982

Procedures and concurrency: A study in proof.

Rob Gerth, Willem P. de Roever, Marly Roncken

Proceedings of the International Symposium on Programming, 1982

1981

A Proof System for Brinch Hansen's Distributed Processes.

Marly Roncken, Rob Gerth, Willem P. de Roever

Proceedings of the GI, 1981