Mark R. Greenstreet

2009
44	EE	Paul Teehan, Guy G. Lemieux, Mark R. Greenstreet: Towards reliable 5Gbps wave-pipelined and 3Gbps surfing interconnect in 65nm FPGAs. FPGA 2009: 43-52
2008
43	EE	Mark R. Greenstreet, Suwen Yang: Verifying start-up conditions for a ring oscillator. ACM Great Lakes Symposium on VLSI 2008: 201-206
42	EE	Chao Yan, Mark R. Greenstreet: Faster projection based methods for circuit level verification. ASP-DAC 2008: 410-415
41	EE	Brad D. Bingham, Mark R. Greenstreet: Computation with Energy-Time Trade-Offs: Models, Algorithms and Lower-Bounds. ISPA 2008: 143-152
40	EE	Brad D. Bingham, Mark R. Greenstreet: Energy Optimal Scheduling on Multiprocessors with Migration. ISPA 2008: 153-161
39	EE	Bradley R. Quinton, Mark R. Greenstreet, Steven J. E. Wilton: Practical Asynchronous Interconnect Network Design. IEEE Trans. VLSI Syst. 16(5): 579-588 (2008)
2007
38	EE	Suwen Yang, Mark R. Greenstreet, Jihong Ren: A Jitter Attenuating Timing Chain. ASYNC 2007: 25-38
37	EE	Suwen Yang, Mark R. Greenstreet: Simulating Improbable Events. DAC 2007: 154-157
36	EE	Suwen Yang, Mark R. Greenstreet: Computing synchronizer failure probabilities. DATE 2007: 1361-1366
35	EE	Chao Yan, Mark R. Greenstreet: Circuit Level Verification of a High-Speed Toggle. FMCAD 2007: 199-206
34	EE	Paul Teehan, Mark R. Greenstreet, Guy Lemieux: A Survey and Taxonomy of GALS Design Styles. IEEE Design & Test of Computers 24(5): 418-428 (2007)
2006
33	EE	Mark R. Greenstreet, Jihong Ren: Surfing Interconnect. ASYNC 2006: 98-106
32	EE	Suwen Yang, Mark R. Greenstreet: Analysing the Robustness of Surfing Circuits. Electr. Notes Theor. Comput. Sci. 153(3): 65-77 (2006)
2005
31	EE	Suwen Yang, Brian D. Winters, Mark R. Greenstreet: Energy Efficient Surfing. ASYNC 2005: 2-11
30	EE	Jihong Ren, Mark R. Greenstreet: A unified optimization framework for equalization filter synthesis. DAC 2005: 638-643
29		Suwen Yang, Mark R. Greenstreet: Noise margin analysis for dynamic logic circuits. ICCAD 2005: 406-412
28	EE	Bradley R. Quinton, Mark R. Greenstreet, Steven J. E. Wilton: Asynchronous IC Interconnect Network Design and Implementation Using a Standard ASIC Flow. ICCD 2005: 267-274
2004
27	EE	Jihong Ren, Mark R. Greenstreet: A Signal Integrity Test Bed for PCB Buses. ICCD 2004: 132-137
26	EE	Jihong Ren, Mark R. Greenstreet: Crosstalk Cancellation for Realistic PCB Buses. PATMOS 2004: 48-57
2003
25	EE	Ajanta Chakraborty, Mark R. Greenstreet: Efficient Self-Timed Interfaces for Crossing Clock Domains. ASYNC 2003: 78-88
24	EE	Jihong Ren, Mark R. Greenstreet: Synthesizing optimal filters for crosstalk-cancellation for high-speed buses. DAC 2003: 592-597
23	EE	Jihong Ren, Mark R. Greenstreet: Equalizing Filter Design for Crosstalk Cancellation. ISVLSI 2003: 272-274
22	EE	Brian D. Winters, Mark R. Greenstreet: Surfing: a robust form of wave pipelining using self-timed circuit techniques. Microprocessors and Microsystems 27(9): 409-419 (2003)
2002
21		Claire Tomlin, Mark R. Greenstreet: Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings Springer 2002
20	EE	Mark R. Greenstreet, Brian D. Winters: A Negative-Overhead, Self-Timed Pipeline. ASYNC 2002: 37-46
19	EE	Mark R. Greenstreet, Anthony Winstanley, Aurelien Garivier: An Event Spacing Experiment. ASYNC 2002: 47-
2001
18	EE	Mark R. Greenstreet, Brian de Alwis: How to Achieve Worst-Case Performance. ASYNC 2001: 206-
17	EE	Anthony Winstanley, Mark R. Greenstreet: Temporal Properties of Self-Timed Rings. CHARME 2001: 140-154
16	EE	Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet: A light-weight framework for hardware verification. STTT 3(3): 286-313 (2001)
1999
15	EE	Mark R. Greenstreet, Tarik Ono-Tesfaye: A Fast, asP*, RGD Arbiter. ASYNC 1999: 173-185
14	EE	Mark R. Greenstreet: Real-Time Merging. ASYNC 1999: 186-
13	EE	Mark R. Greenstreet, Ian Mitchell: Reachability Analysis Using Polygonal Projections. HSCC 1999: 103-116
12	EE	Christoph Kern, Tarik Ono-Tesfaye, Mark R. Greenstreet: A Light-Weight Framework for Hardware Verification. TACAS 1999: 330-344
11	EE	Christoph Kern, Mark R. Greenstreet: Formal verification in hardware design: a survey. ACM Trans. Design Autom. Electr. Syst. 4(2): 123-193 (1999)
1998
10	EE	Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet: Verifying a Self-Timed Divider. ASYNC 1998: 146-158
9		Mark R. Greenstreet, Ian Mitchell: Integrating Projections. HSCC 1998: 159-174
1997
8	EE	Peggy B. K. Pang, Mark R. Greenstreet: Self-Timed Meshes Are Faster Than Synchronous. ASYNC 1997: 30-
1996
7		Mark R. Greenstreet: Verifying Safety Properties of Differential Equations. CAV 1996: 277-287
1995
6	EE	Mark R. Greenstreet: Implementing a STARI chip. ICCD 1995: 38-43
5	EE	Trevor Wing Sang Lee, Mark R. Greenstreet, Carl-Johan H. Seger: Automatic Verification of Asynchronous Circuits. IEEE Design & Test of Computers 12(1): 24-31 (1995)
1994
4		Trevor Wing Sang Lee, Mark R. Greenstreet, Carl-Johan H. Seger: Automatic Verification of Refinement. ICCD 1994: 225-229
1992
3		Mark R. Greenstreet: Using Synchronized Transitions for Simulation and Timing Verification. Designing Correct Circuits 1992: 215-236
1990
2	EE	Mark R. Greenstreet, Kenneth Steiglitz: Bubbles can make self-timed pipelines fast. VLSI Signal Processing 2(3): 139-148 (1990)
1988
1		Jørgen Staunstrup, Mark R. Greenstreet: From High-Level Descriptions to VLSI Circuits. BIT 28(3): 620-638 (1988)

Coauthor Index

1	Brian de Alwis	[18]
2	Brad D. Bingham	[40] [41]
3	Ajanta Chakraborty	[25]
4	Aurelien Garivier	[19]
5	Christoph Kern	[10] [11] [12] [16]
6	Trevor Wing Sang Lee	[4] [5]
7	Guy Lemieux	[34]
8	Guy G. Lemieux	[44]
9	Ian M. Mitchell (Ian Mitchell)	[9] [13]
10	Tarik Ono-Tesfaye	[10] [12] [15] [16]
11	Peggy B. K. Pang	[8]
12	Bradley R. Quinton	[28] [39]
13	Jihong Ren	[23] [24] [26] [27] [30] [33] [38]
14	Carl-Johan H. Seger	[4] [5]
15	Jørgen Staunstrup	[1]
16	Kenneth Steiglitz	[2]
17	Paul Teehan	[34] [44]
18	Claire Tomlin	[21]
19	Steven J. E. Wilton	[28] [39]
20	Anthony Winstanley	[17] [19]
21	Brian D. Winters	[20] [22] [31]
22	Chao Yan	[35] [42]
23	Suwen Yang	[29] [31] [32] [36] [37] [38] [43]

Colors in the list of coauthors