Low-Power, High-Performance and Resilient Designs

  • Ramy N. Tadros, Nihar Dasari, and Peter. A. Beerel, “'Ultra-Low Power PTL-based Delay Line Design for Sub-threshold Application,” Accepted to Electronic Letters , Oct 2016.
  • Ramy N. Tadros*, Weizhe Hua*, Matheus T. Moreira, Ney L. V. Calazans, and Peter A. Beerel. A Low Power, Low Area Error Detecting Latch for Resilient Architectures in 28nm FDSOI”, IEEE Transactions on Circuits and Systems II, vol. 63, no. 9, Sept. 2016.
  • Weizhu Hua, Ramy N. Tadros, and Peter A. Beerel. A 2ps Resolution, Fine-Grained Delay Element in 28nm FDSOI”, Electronic Letters, vol. 51, no. 23, pp. 1848 – 1850, 2015.
  • Peter A. Beerel and Ney L.V. Calazans: A Path Towards Average-Case Silicon via Asynchronous Resilient Bundled-data Design. 22nd European Conference on Circuit Theory and Design (ECCTD'15), (Invited) Aug. 2015
  • Dylan Hand, Matheus T. Moreira, Hsin-Ho Huang, Danlei Chen, Fredericko Butzke, Zhichao Li, Matheus Gibiluka, Melvin Breuer, Ney. L.V. Calazans, Peter A. Beerel: Blade - A Timing Violation Resilient Asynchronous Template, ASYNC 2015, May 2015.
  • Ajay Singhvi, Matheus T. Moreira, Ramy N. Tadros,  Peter A. Beerel, Ney L.V. Calazans:  A Fine-Grained, Uniform, Energy-Efficient Delay Element for FD-SOI Technologies, International Symposium on VLSI (ISVLSI'15), July 2015.
  • Matheus T. Moreira, Dylan Hand, Peter A. Beerel, Ney L.V. Calazans: TDTB error detecting latches: Timing violation sensitivity analysis and optimization. ISQED 2015: 379-383.
  • Guiherme Heck, Leandro Heck, Ajay Singhvi, Matheus T. Moreira, Peter A. Beerel, Ney L.V. Calazans, Design and Analysis of Delay Elements for 2-Phase Bundled-Data Asynchronous Circuits, VLSI Design, Jan. 2015.
  • Mike Davies, Andrew Lines, Jon Dama, Alain Gravel, Robert Southworth, Georgios D. Dimou, Peter A. Beerel: A 72-Port 10G Ethernet Switch/Router Using Quasi-Delay-Insensitive Asynchronous Design. ASYNC 2014: 103-104, May 2014.

    Read more ...

Power, Performance, and Timing Analysis and Optimization

  • Dylan Hand, Hsin-Ho Huang, Benmao Cheng, Yang Zhang, Matheus T. Moreira, Melvin A. Breuer, Ney L. V. Calazans, Peter A. Beerel: Performance Optimization and Analysis of Blade Designs under Delay Variability. ASYNC 2015: 61-68, May 2015.
  • Arash Saifhashemi, Hsin-Ho Huang, Peter A. Beerel: Reconditioning: Automatic Power Optimization of QDI Circuits. ASYNC 2014: 77-84, May 2014.
  • Arash Saifhashemi, Dylan Hand, Peter A. Beerel, William Koven, Hong Wang: Performance and Area Optimization of a Bundled-Data Intel Processor through Resynthesis. ASYNC 2014: 110-111, May 2014.
  • Mehrdad Najibi, Peter A. Beerel: Integrated Fanout Optimization and Slack Matching of Asynchronous Circuits. ASYNC 2014: 69-76, May 2014. (Best Paper Award Winner)
  • Slack Matching Mode-Based Asynchronous Circuits for Average-case Performance, Mehrdad Najibi and Peter A. Beerel, ICCAD 2013,  Nov 18th-21st, 2013,
  • Deriving Performance Bounds for Conditional Asynchronous Circuits using Linear Programming, Mehrdad Najibi and Peter A. Beerel, 19th IEEE Symposium on Asynchronous Circuits ASYNC, Santa Monica, CA, May 19-22, 2013. (Best Paper Award Nominee)
  • Guowei Zhang, Peter A. Beerel: Stochastic analysis of Bubble Razor. DATE 2014: 1-6., March 2014.
  • Performance Bounds of Asynchronous Circuits with Mode-Based Conditional Behavior, Mehrdad Najibi and Peter A. Beerel, 18th IEEE Symposium on Asynchronous Circuits ASYNC, Copenhagen of Denmark, May 7-11, 2012.
  • Energy and Performance Models for Synchronous and Asynchronous Communication. Kenneth S. Stevens, Pankaj Golani, Peter A. Beerel. 2011, IEEE Trans. VLSI Syst., pp.369-382.
  • Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment, Prasad Joshi, Peter A. Beerel, Marly Roncken, and Ivan Sutherland, In D. Dams, U. Hannemann, M. Steffen (Eds.) Willem-Paul de Roever Festschrift, LNCS 5930, pages 260-276. Springer-Verlag Berlin Heidelberg, 2010.

    Read more ...

Proteus and other Async Synthesis

  • Georgios D. Dimou, Peter A. Beerel, Andrew Lines: Performance-Driven Clustering of Asynchronous Circuits. IEEE Trans. on CAD of Integrated Circuits and Systems 33(2): 197-209, 2014.
  • A. Saifhashemi and P. A. Beerel, "Observability Conditions and Automatic Operand-Isolation in High-Throughput Asynchronous Pipelines", PATMOS 2012.
  • P. A. Beerel, G. D. Dimou, and A. M. Lines, "Proteus: An ASIC Flow for GHz Asynchronous Designs," IEEE Design & Test of Computers, vol. 28, pp. 36-51, 2011.
  • A. Saifhashemi, P. A. Beerel. “SystemVerilogCSP: Modeling Digital Asynchronous Circuits Using SystemVerilog Interfaces”, Proceedings of Communicating Process Architectures - WoTUG-33, June 2011.
  • Georgios D. Dimou, Peter A. Beerel, Andrew Lines: Performance-Driven Clustering of Asynchronous Circuits. PATMOS 2011, pp. 92-101, Sept.  2011.
  • P. Golani and P. A. Beerel, “Area-Efficient Multi-Level Single-Track Pipeline Template”, DATE 2011, March 2011.

    Read more ...

Testability

  • Y. Zhang, L. S. Heck, M. T. Moreira, D. Zar, M. A. Breuer, N. L. V. Calazans, P. A. Beerel. “Testable MUTEX Design,” IEEE Transactions on Circuits and Systems I , vol. 63, No. 8, Aug. 2016.
  • Y. Zhang, L. S. Heck, M. T. Moreira, D. Zar, M. A. Breuer, N. L. V. Calazans, P. A. Beerel: Design and Analysis of Testable Mutual Exclusion Elements. ASYNC 2015: 124-131
  • P. A. Beerel and T. H.-Y. Meng, Semi-modularity and Testability of Speed-Independent Circuits, Integration, The VLSI Journal, pp. 301-322. Sep. 1992.

    Read more ...

Formal Verification

BDDs