Most of Mark's Publications

2007

• ``Surfing Pipelines: Theory and Implementation,'' with Suwen Yang and Brian Winters. IEEE Journal of Solid State Circuits, (to appear).
  Abstract  
• ``Simulating Improbable Events,'' with Suwen Yang, 44th ACM/IEEE Design Automation Conference (DAC'2007), (to appear, June 2007).
  Abstract  
• ``Computing Synchronizer Failure Probabilities,'' with Suwen Yang, 10th Design Automation, and Test, Europe Conference (DATE'2007), (to appear, April 2007).
  Abstract  
• ``A Jitter Attenuating Timing Chain,'' with Suwen Yang and Jihong Ren. 13th International Symposium on Asynchronous Circuits and Systems (ASYNC'2007), March 2007.
  Here's the IEEExplore link.

2006

• ``A Novel Distributed and Interleaved FIFO for Source-Synchronous Interconnect,'' with Santosh Sood and Resve Saleh. 10th VLSI Design and Test Symposium (VDAT'2006), August 2006.
• ``A Robust Linear Program Solver for Reachability Analysis,'' with Chao Yan and Marius Laza. International Conference on Mathematical Aspects of Computer and Information Sciences (MACIC'2006), July 2006.
• ``System-on-Chip: Reuse and Integration,'' with Resve Saleh, with Steve Wilton, with Shahriar Miribbasi, with Alan Hu, with Andre Ivanov, with Partha Pande, and Christian Grecu. Proceedings of the IEEE, June 2006. Here's the IEEExplore link.
• ``Surfing Interconnect,'' with Jihong Ren. 12th International Symposium on Asynchronous Circuits and Systems (ASYNC'2006), April 2006.
  Here's the IEEExplore link.

2005

• ``Noise Margin Analysis for Dynamic Logic Circuits,'' with Suwen Yang. IEEE/ACM International Conference on Computer Aided Design(ICCAD'2005), November 2005.
  Here's the IEEExplore link.
• ``Asynchronous IC Network Interconnect Design and Implementation Using a Standard ASIC Design Flow,'' with Bradley R. Quinton and Steven J.E. Wilton. 23rd IEEE International Conference on Computer Design(ICCD'2005), October 2005. Here's the IEEExplore link.
• ``A Unified Optimization Framework for Equalization Filter Synthesis,'' with Jihong Ren. 42nd ACM/IEEE Design Automation Conference (DAC'2005), June 2005.
  Here's the ACM Digital Library link.
• ``Analysing the Robustness of Surfing Circuits,'' with Suwen Yang. Workshop on Formal Verification of Analog Circuits, April 2005.
  Abstract   PDF   Postscript  
• ``Energy Efficient Surfing,'' with Suwen Yang. 11th International Symposium on Asynchronous Circuits and Systems (ASYNC'2005), March 2005.
  Here's the IEEExplore link.

2004

• ``A Signal Integrity Test Bed for PCB Buses,'' with Jihong Ren, 22nd IEEE International Conference on Computer Design(ICCD'2005), October 2005.
  Here's the IEEExplore link.
• ``Crosstalk Cancellation for Realistic PCB Buses.'' with Jihong Ren, 14th International Workshop on Power and Timing, Modeling, Optimization and Synthesis (PATMOS'2004), September 2004.
  Here's a link to Springer LNCS volume 3254 where the paper appears.

2003

• ``Synthesizing Optimal Filters for Crosstalk-cancellation for High-Speed Buses,'' with Jihong Ren, Proceedings of 40th ACM/IEEE Design Automation Conference (DAC'2003), pages 592-597.
  Abstract   Bibtex   PDF   Postscript  
• ``Efficient Self-Timed Interfaces for Crossing Clock Domains,'' with Ajanta Chakraborty, Proceedings of 9th Int'l. Symp. on Asynchronous Circuits and Systems (ASYNC'2003), pages 78-88.
  Abstract   Bibtex   PDF   Postscript  
• ``Equalizing Filter Design for Crosstalk Cancellation,'' with Jihong Ren, Proceedings of 2003 IEEE Computer Society Annual Symposium on VLSI (ISVLSI'2003), pages 272-274.
  Abstract   Bibtex   PDF   Postscript  

2002

• ``A Minimalist Source-Synchronous Interface,'' with Ajanta Chakraborty, Proceedings of The 15th IEEE ASIC/SOC Conference, pages 443-447.
  Abstract   Bibtex   PDF   Postscript  
• ``A Negative Overhead, Self-Timed Pipeline'', with Brian D. Winters, Proceedings of ASYNC'2002, pages 32-41.
  Abstract   Bibtex   PDF   Postscript  
• ``An Event Spacing Experiment,'' with Anthony Winstanley and Aurelien Garivier, Proceedings of ASYNC'2002, pages 42-51.
  Abstract   Bibtex   PDF   Postscript  

2001

• ``Temporal Properties of Self-Timed Rings,'' with Anthony Winstanley, Proceedings of CHARME'2001, pages 140-154.
  Abstract   Bibtex   PDF   Postscript  
• ``How to Achieve Worst-Case Performance,'' with Brian de Alwis, Proceedings of ASYNC'2001, pages 206-216.
  Abstract   Bibtex   PDF   Postscript  
• ``A Light-Weight Framework for Hardware Verification,'' with Christoph Kern and Tarik Ono-Tesfaye Software Tools for Technology Transfer, volume 3(3), pages 286-313.
  Abstract   Bibtex   PDF   Postscript  

2000

• ``Pragmatic Verification for Hybrid and Real-Time Designs,'' Proceedings of 2000 American Control Conference.
  Abstract   Bibtex   Postscript  

1999

• ``A Fast, ASP*, RGD Arbiter,'' with Tarik Ono-Tesfaye, Proceedings of Async99, pages 173-185.
  Abstract   Bibtex   Postscript
• ``Real-Time Merging'', Proceedings of Async99, pages 186-198.
  Abstract   Bibtex   Postscript
• ``Reachability Analysis Using Polygonal Projections'', with Ian Mitchell, Proceedings of HSCC'99, pages 103-116.
  Abstract   Bibtex   PDF Postscript
• ``A Light-Weight Framework for Hardware Verification'', with Christoph Kern and Tarik Ono-Tesfaye, Proceedings of TACAS'99, pages 330-344.
  Abstract   Bibtex   Postscript
• ``Formal Verification in Hardware Design: A Survey,'' with Christoph Kern, ACM Transactions on Design Automation of Electronic Systems, April 1999.
  Abstract   Bibtex   Postscript

1998

• ``A Hybrid-Systems View of Discrete Computation'', Proceedings of CDC'98, pages 2107-2112.
  Abstract   Bibtex   Postscript
• ``Verifying a Self-Timed Divider'', with Tarik Ono-Tesfaye and Christoph Kern, Proceedings of Async98, pages 146-158.
  Abstract   Bibtex   Postscript
• ``Integrating Projections'', with Ian Mitchell, Proceedings of HSCC'98, pages 159-174.
  Abstract   Bibtex   PDF Postscript

1997

• ``A Smooth Dynamical System that Counts in Binary'', with Xuemei Huang, Proceedings of ISCAS'97, pages 977-980.
  Abstract   Bibtex   PDF Postscript
• ``Self-Timed Meshes are Faster Than Synchronous'', with Peggy B-K. Pang, Proceedings of Async97, pages 30-39.
  Abstract   Bibtex   Postscript

1996

• ``Verifying Asynchronous Data Path Circuits'', with David T. Weih, IEE Proceedings, Part E, Computers and Digital Techniques, volume 144, number 5, pages 295-300, September 1996.
  Abstract   Bibtex   Postscript
• ``Proving Newtonian Arbiters Correct, Almost Surely'', Ian Mitchell, Proceedings of the 1996 Workshop on Designing Correct Circuits (DCC'96).
  Abstract   Bibtex   Postscript
• ``Verifying Safety Properties of Differential Equations'', Proceedings of CAV'96, pages 277-287.
  Abstract   Bibtex   PDF Postscript

1995

• ``Implementing a STARI Chip'', Proceedings of ICCD'95.
  Abstract   Bibtex   Postscript

1994

• ``How Fast Will the Flip Flop?'', with Peter Cahoon, Proceedings of Async94, pages 77-86.
  Abstract   Bibtex   Postscript

1992

• ``Using Synchronized Transitions for Simulation and Timing Verification'', Proceedings of DCC'92, pages 215-236.
  Abstract   Bibtex   Postscript

1990

• ``Bubbles Can Make Self-Timed Pipelines Fast'', with Ken Steiglitz, Journal of VLSI and Signal Processing, volume 2, number 3, pages 139-148, November 1990.
  Abstract   Bibtex