Mark R. Greenstreet

According to our database, Mark R. Greenstreet authored at least 77 papers between 1987 and 2022.

Collaborative distances:

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

2022

Shellac: A Compiler Synthesizer for Concurrent Programs.

Christopher K. Chen, Margo I. Seltzer, Mark R. Greenstreet

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

2020

Optimization and Comparison of Synchronizers.

Justin Reiher, Mark R. Greenstreet

Proceedings of the 26th IEEE International Symposium on Asynchronous Circuits and Systems, 2020

2019

Integrating SMT with Theorem Proving for Verification of Analog and Mixed-Signal Circuits (Invited Tutorial).

Mark R. Greenstreet

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

Finding All DC Operating Points Using Interval Arithmetic Based Verification Algorithms.

Itrat A. Akhter, Justin Reiher, Mark R. Greenstreet

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Verifying Timed, Asynchronous Circuits using ACL2.

Yan Peng, Mark R. Greenstreet

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

2018

Smtlink 2.0.

Yan Peng, Mark R. Greenstreet

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Convex Functions in ACL2(r).

Carl Kwan, Mark R. Greenstreet

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r).

Carl Kwan, Mark R. Greenstreet

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, 2018

Explaining Metastability in Real Synchronizers.

Justin Reiher, Mark R. Greenstreet, Ian W. Jones

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

2017

Interleaved Architectures for High-Throughput Synthesizable Synchronization FIFOs.

Ameer M. S. Abdelhadi, Mark R. Greenstreet

Proceedings of the 23rd IEEE International Symposium on Asynchronous Circuits and Systems, 2017

2016

Finding Glitches Using Formal Methods.

Yan Peng, Ian W. Jones, Mark R. Greenstreet

Proceedings of the 22nd IEEE International Symposium on Asynchronous Circuits and Systems, 2016

2015

Extending ACL2 with SMT Solvers.

Yan Peng, Mark R. Greenstreet

Proceedings of the Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, 2015

Integrating SMT with Theorem Proving for Analog/Mixed-Signal Circuit Verification.

Yan Peng, Mark R. Greenstreet

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Verifying global start-up for a Möbius ring-oscillator.

Chao Yan, Mark R. Greenstreet, Suwen Yang

Formal Methods Syst. Des., 2014

Response property checking via distributed state space exploration.

Brad D. Bingham, Mark R. Greenstreet

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Verifying global convergence for a digital phase-locked loop.

Jijie Wei, Yan Peng, Ge Yu, Mark R. Greenstreet

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Distributed Explicit State Model Checking of Deadlock Freedom.

Brad D. Bingham, Jesse D. Bingham, John Erickson, Mark R. Greenstreet

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Modeling Energy-Time Trade-Offs in VLSI Computation.

Brad D. Bingham, Mark R. Greenstreet

IEEE Trans. Computers, 2012

Oscillator verification with probability one.

Chao Yan, Mark R. Greenstreet

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

On the Energy Complexity of Parallel Algorithms.

Vijay Anand Korthikanti, Gul Agha, Mark R. Greenstreet

Proceedings of the International Conference on Parallel Processing, 2011

Parameterized verification of deadlock freedom in symmetric cache coherence protocols.

Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Synchronizer Performance in Deep Sub-Micron Technology.

Suwen Yang, Ian W. Jones, Mark R. Greenstreet

Proceedings of the 17th IEEE International Symposium on Asynchronous Circuits and Systems, 2011

2010

Varactor-based signal restoration for near-speed-of-light surfing global interconnect.

Suwen Yang, Robert J. Drost, Mark R. Greenstreet, Shahriar Mirabbasi, Frank O'Mahony

Proceedings of the IEEE Custom Integrated Circuits Conference, 2010

Formal Verification of an Arbiter Circuit.

Chao Yan, Mark R. Greenstreet, Jochen Eisinger

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

2009

Estimating reliability and throughput of source-synchronous wave-pipelined interconnect.

Paul Teehan, Guy G. Lemieux, Mark R. Greenstreet

Proceedings of the Third International Symposium on Networks-on-Chips, 2009

A modular synchronizing FIFO for NoCs.

Tarik Ono-Tesfaye, Mark R. Greenstreet

Proceedings of the Third International Symposium on Networks-on-Chips, 2009

Towards reliable 5Gbps wave-pipelined and 3Gbps surfing interconnect in 65nm FPGAs.

Paul Teehan, Guy G. Lemieux, Mark R. Greenstreet

Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, 2009

Verifying VLSI Circuits.

Mark R. Greenstreet

Proceedings of the Automated Technology for Verification and Analysis, 2009

Synchronizer Behavior and Analysis.

Ian W. Jones, Suwen Yang, Mark R. Greenstreet

Proceedings of the 15th IEEE Symposium on Asynchronous Circuits and Systems, 2009

2008

Practical Asynchronous Interconnect Network Design.

Bradley R. Quinton, Mark R. Greenstreet, Steven J. E. Wilton

IEEE Trans. Very Large Scale Integr. Syst., 2008

Energy Optimal Scheduling on Multiprocessors with Migration.

Brad D. Bingham, Mark R. Greenstreet

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds.

Brad D. Bingham, Mark R. Greenstreet

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2008

Verifying start-up conditions for a ring oscillator.

Mark R. Greenstreet, Suwen Yang

Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

Verifying an Arbiter Circuit.

Chao Yan, Mark R. Greenstreet

Proceedings of the Formal Methods in Computer-Aided Design, 2008

Faster projection based methods for circuit level verification.

Chao Yan, Mark R. Greenstreet

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007

An efficient linear programming solver for optimal filter synthesis.

Jihong Ren, Chen Greif, Mark R. Greenstreet

Numer. Linear Algebra Appl., 2007

Surfing Pipelines: Theory and Implementation.

Suwen Yang, Brian D. Winters, Mark R. Greenstreet

IEEE J. Solid State Circuits, 2007

A Survey and Taxonomy of GALS Design Styles.

Paul Teehan, Mark R. Greenstreet, Guy G. Lemieux

IEEE Des. Test Comput., 2007

Circuit Level Verification of a High-Speed Toggle.

Chao Yan, Mark R. Greenstreet

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

Computing synchronizer failure probabilities.

Suwen Yang, Mark R. Greenstreet

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Simulating Improbable Events.

Suwen Yang, Mark R. Greenstreet

Proceedings of the 44th Design Automation Conference, 2007

A Jitter Attenuating Timing Chain.

Suwen Yang, Mark R. Greenstreet, Jihong Ren

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

2006

System-on-Chip: Reuse and Integration.

Resve A. Saleh, Steven J. E. Wilton, Shahriar Mirabbasi, Alan J. Hu, Mark R. Greenstreet, Guy Lemieux, Partha Pratim Pande, Cristian Grecu, André Ivanov

Proc. IEEE, 2006

Surfing Interconnect.

Mark R. Greenstreet, Jihong Ren

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

2005

Analysing the Robustness of Surfing Circuits.

Suwen Yang, Mark R. Greenstreet

Proceedings of the First Workshop on Formal Verification of Analog Circuits, 2005

Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow.

Bradley R. Quinton, Mark R. Greenstreet, Steven J. E. Wilton

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Noise margin analysis for dynamic logic circuits.

Suwen Yang, Mark R. Greenstreet

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

A unified optimization framework for equalization filter synthesis.

Jihong Ren, Mark R. Greenstreet

Proceedings of the 42nd Design Automation Conference, 2005

Energy Efficient Surfing.

Suwen Yang, Brian D. Winters, Mark R. Greenstreet

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

2004

Crosstalk Cancellation for Realistic PCB Buses.

Jihong Ren, Mark R. Greenstreet

Proceedings of the Integrated Circuit and System Design, 2004

A Signal Integrity Test Bed for PCB Buses.

Jihong Ren, Mark R. Greenstreet

Proceedings of the 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 2004

2003

Surfing: a robust form of wave pipelining using self-timed circuit techniques.

Brian D. Winters, Mark R. Greenstreet

Microprocess. Microsystems, 2003

Equalizing Filter Design for Crosstalk Cancellation.

Jihong Ren, Mark R. Greenstreet

Proceedings of the 2003 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2003), 2003

Synthesizing optimal filters for crosstalk-cancellation for high-speed buses.

Jihong Ren, Mark R. Greenstreet

Proceedings of the 40th Design Automation Conference, 2003

Efficient Self-Timed Interfaces for Crossing Clock Domains.

Ajanta Chakraborty, Mark R. Greenstreet

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

2002

An Event Spacing Experiment.

Mark R. Greenstreet, Anthony Winstanley, Aurélien Garivier

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

A Negative-Overhead, Self-Timed Pipeline.

Mark R. Greenstreet, Brian D. Winters

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

2001

A light-weight framework for hardware verification.

Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet

Int. J. Softw. Tools Technol. Transf., 2001

Temporal Properties of Self-Timed Rings.

Anthony Winstanley, Mark R. Greenstreet

Proceedings of the Correct Hardware Design and Verification Methods, 2001

How to Achieve Worst-Case Performance.

Mark R. Greenstreet, Brian de Alwis

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

2000

Pragmatic verification for hybrid and real-time designs.

Mark R. Greenstreet

Proceedings of the American Control Conference, 2000

1999

Formal verification in hardware design: a survey.

Christoph Kern, Mark R. Greenstreet

ACM Trans. Design Autom. Electr. Syst., 1999

Reachability Analysis Using Polygonal Projections.

Mark R. Greenstreet, Ian Mitchell

Proceedings of the Hybrid Systems: Computation and Control, Second International Workshop, 1999

A Fast, asP*, RGD Arbiter.

Mark R. Greenstreet, Tarik Ono-Tesfaye

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

Real-Time Merging.

Mark R. Greenstreet

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

1998

Integrating Projections.

Mark R. Greenstreet, Ian Mitchell

Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

Verifying a Self-Timed Divider.

Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet

Proceedings of the 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '98), 30 March, 1998

1997

Self-Timed Meshes Are Faster Than Synchronous.

Peggy B. K. Pang, Mark R. Greenstreet

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

1996

Verifying Safety Properties of Differential Equations.

Mark R. Greenstreet

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Automatic Verification of Asynchronous Circuits.

Trevor Wing Sang Lee, Mark R. Greenstreet, Carl-Johan H. Seger

IEEE Des. Test Comput., 1995

Implementing a STARI chip.

Mark R. Greenstreet

Proceedings of the 1995 International Conference on Computer Design (ICCD '95), 1995

1994

Automatic Verification of Refinement.

Trevor Wing Sang Lee, Mark R. Greenstreet, Carl-Johan H. Seger

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

How fast will the flip flop?

Mark R. Greenstreet, Peter Cahoon

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

1992

Using Synchronized Transitions for Simulation and Timing Verification.

Mark R. Greenstreet

Proceedings of the Designing Correct Circuits, 1992

1990

Bubbles can make self-timed pipelines fast.

Mark R. Greenstreet, Kenneth Steiglitz

J. VLSI Signal Process., 1990

1988

From High-Level Descriptions to VLSI Circuits.

Jørgen Staunstrup, Mark R. Greenstreet

BIT, 1988

1987

VLSI with a very low scale investment.

Mark R. Greenstreet, Peter Møller-Nielsen, Jørgen Staunstrup

Integr., 1987