Get started
Author

Mark R. Greenstreet

Observed names: M. Greenstreet, M. R. Greenstreet, M.R. Greenstreet, Mark Greenstreet
Observed institutions: Natural Sciences and Engineering Research Council of Canada, Intel (United States), University of British Columbia, Princeton University, Aarhus University, University of Bristol
ORCID: 0000-0002-1864-9495
Observed ORCID: 0000-0002-1864-9495
OpenAlex ID: A5087823003
Formal verification in hardware design
1999 · Christoph Kern, Mark R. Greenstreet · ACM Transactions on Design Automation of Electronic Systems · 284
System-on-Chip: Reuse and Integration
2006 · R. Saleh, S. Wilton, et al. · Proceedings of the IEEE · 271
A Survey and Taxonomy of GALS Design Styles
2007 · Paul Teehan, Mark Greenstreet, et al. · IEEE Design & Test of Computers · 177
Efficient self-timed interfaces for crossing clock domains
2003 · A. Chakraborty, M.R. Greenstreet · Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems · 123
Reachability Analysis Using Polygonal Projections
1999 · Mark R. Greenstreet, Ian Mitchell · Lecture notes in computer science · 99
Energy Optimal Scheduling on Multiprocessors with Migration
2008 · Brad D. Bingham, Mark R. Greenstreet · IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) · 74
Bubbles can make self-timed pipelines fast
1990 · Mark R. Greenstreet, Kenneth Steiglitz · The Journal of VLSI Signal Processing Systems for Signal Image and Video Technology · 65
Implementing a STARI chip
2002 · M.R. Greenstreet · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 53
Integrating projections
1998 · Mark R. Greenstreet, Ian Mitchell · Lecture notes in computer science · 51
An event spacing experiment
2004 · A.J. Winstanley, A. Garivier, et al. · Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems · 45
Verifying safety properties of differential equations
1996 · Mark R. Greenstreet · Lecture notes in computer science · 44
Temporal Properties of Self-Timed Rings
2001 · Anthony Winstanley, Mark Greenstreet · Lecture notes in computer science · 37
Stari: a technique for high-bandwidth communication
1993 · Mark R. Greenstreet · 36
A modular synchronizing FIFO for NoCs
2009 · Tarik Ono, Mark Greenstreet · ACM/IEEE International Symposium on Networks-on-Chip (NOCS) · 35
Computing Synchronizer Failure Probabilities
2007 · Suwen Yang, Mark Greenstreet · Design, Automation, and Test in Europe · 35
Synchronizer Behavior and Analysis
2009 · Ian W. Jones, Suwen Yang, et al. · 34
Computing synchronizer failure probabilities
2007 · Suwen Yang, Mark R. Greenstreet · 32
A negative-overhead, self-timed pipeline
2004 · B.D. Winters, M.R. Greenstreet · Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems · 31
Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds
2008 · Brad D. Bingham, Mark R. Greenstreet · IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) · 24
Verifying an Arbiter Circuit
2008 · Chao Yan, Mark R. Greenstreet · Formal Methods in Computer-Aided Design · 22
Asynchronous IC interconnect network design and implementation using a standard ASIC flow
2006 · B.R. Quinton, M.R. Greenstreet, et al. · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · 22
Self-Timed Iteration
1987 · Mark R. Greenstreet, Jørgen Staunstrup, et al. · DAIMI Report Series · 21
PDF
Towards reliable 5Gbps wave-pipelined and 3Gbps surfing interconnect in 65nm FPGAs
2009 · Paul Teehan, Guy G.F. Lemieux, et al. · ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA) · 20
Verifying start-up conditions for a ring oscillator
2008 · Mark R. Greenstreet, Suwen Yang · ACM Great Lakes Symposium on VLSI (GLSVLSI) · 20
Practical Asynchronous Interconnect Network Design
2008 · B.R. Quinton, M.R. Greenstreet, et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 20
Works count: 127
Citation count: 2,101
H-index: 21
I10-index: 42
Year
Topic
Type