Publications

The documents listed below are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons viewing this information will adhere to the terms and constraints invoked by each author's copyright.

Programmable Substrates
Cross-cutting Projects
Older Projects
By Date: [click to toggle all]

Rajit Manohar. An Open-Source Design Flow for Asynchronous Circuits. Government Microcircuit Applications and Critical Technology Conference, March 2019.

Nitish Srivastava and Rajit Manohar. Operation Dependent Frequency Scaling Using Desynchronization. To appear, IEEE Transactions on VLSI, 2019.

Alexander Neckar, Sam Fok, Ben Benjamin, Terrence C. Stewart, Nick N. Oza, Aaron R. Voelker, Chris Eliasmith, Rajit Manohar, Kwabena Boahen. Braindrop: A Mixed-Signal Neuromorphic Architecture with a Dynamical Systems-Based Programming Model. Proceeedings of the IEEE, 107(1):144--164, January 2019. (abstract, pdf)

Yi-Shan Lu, Samira Ataei, Jiayuan He, Wenmian Hu, Sepideh Maleki, Yihang Yang, Martin Burtscher, Keshav Pingali, Rajit Manohar. Parallel Tools for Asynchronous VLSI Systems. Workshop on Open-Source EDA Technology, International Conference on Computer-Aided Design (ICCAD), November 2018. (abstract, pdf)

Saber Moradi and Rajit Manohar. The Impact of On-chip Communication on Memory Technologies for Neuromorphic Systems. To appear, Journal of Physics D: Applied Physics, 52(1), Special issue on brain-inspired pervasive computing: from materials to neuromorphic architectures/applications, October 2018. (abstract)

Nitish Srivastava and Rajit Manohar. Data Dependent Frequency Scaling using Desynchronization. Work-in-progress session, Design Automation Conference, June 2018.


By Research Area

Neuromorphic Computing [click to toggle all]

Alexander Neckar, Sam Fok, Ben Benjamin, Terrence C. Stewart, Nick N. Oza, Aaron R. Voelker, Chris Eliasmith, Rajit Manohar, Kwabena Boahen. Braindrop: A Mixed-Signal Neuromorphic Architecture with a Dynamical Systems-Based Programming Model. Proceeedings of the IEEE, 107(1):144--164, January 2019. (abstract, pdf)

Saber Moradi and Rajit Manohar. The Impact of On-chip Communication on Memory Technologies for Neuromorphic Systems. To appear, Journal of Physics D: Applied Physics, 52(1), Special issue on brain-inspired pervasive computing: from materials to neuromorphic architectures/applications, October 2018. (abstract)

Design Methodology and Automation [click to toggle all]

Rajit Manohar. An Open-Source Design Flow for Asynchronous Circuits. Government Microcircuit Applications and Critical Technology Conference, March 2019.

Nitish Srivastava and Rajit Manohar. Operation Dependent Frequency Scaling Using Desynchronization. To appear, IEEE Transactions on VLSI, 2019.

Yi-Shan Lu, Samira Ataei, Jiayuan He, Wenmian Hu, Sepideh Maleki, Yihang Yang, Martin Burtscher, Keshav Pingali, Rajit Manohar. Parallel Tools for Asynchronous VLSI Systems. Workshop on Open-Source EDA Technology, International Conference on Computer-Aided Design (ICCAD), November 2018. (abstract, pdf)

Wenmian Hua and Rajit Manohar. Exact Timing Analysis for Asynchronous Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(1):203-216, January 2018. (abstract, pdf)

Energy-efficient VLSI and Arithmetic [click to toggle all]

Nitish Srivastava and Rajit Manohar. Operation Dependent Frequency Scaling Using Desynchronization. To appear, IEEE Transactions on VLSI, 2019.

Alexander Neckar, Sam Fok, Ben Benjamin, Terrence C. Stewart, Nick N. Oza, Aaron R. Voelker, Chris Eliasmith, Rajit Manohar, Kwabena Boahen. Braindrop: A Mixed-Signal Neuromorphic Architecture with a Dynamical Systems-Based Programming Model. Proceeedings of the IEEE, 107(1):144--164, January 2019. (abstract, pdf)

Edward Bingham and Rajit Manohar. QDI Constant Time Counters. IEEE Transactions on VLSI, 27(1):83--91 , January 2019. (pdf)

Nitish Srivastava and Rajit Manohar. Data Dependent Frequency Scaling using Desynchronization. Work-in-progress session, Design Automation Conference, June 2018.

Yu Chen, Xiaoyang Zhang, Yong Lian, Rajit Manohar, Yannis Tsividis. A Continuous-Time Digital IIR Filter with Signal-Derived Timing and Fully Agile Power Consumption. IEEE Journal of Solid-State Circuits, 53(2):418-430, February 2018. (abstract, pdf)

Asynchronous FPGAs [click to toggle all]

Ultra Low Power Embedded Systems [click to toggle all]

Yu Chen, Xiaoyang Zhang, Yong Lian, Rajit Manohar, Yannis Tsividis. A Continuous-Time Digital IIR Filter with Signal-Derived Timing and Fully Agile Power Consumption. IEEE Journal of Solid-State Circuits, 53(2):418-430, February 2018. (abstract, pdf)

Asynchronous Computer Architecture [click to toggle all]

Nitish Srivastava and Rajit Manohar. Operation Dependent Frequency Scaling Using Desynchronization. To appear, IEEE Transactions on VLSI, 2019.

Edward Bingham and Rajit Manohar. QDI Constant Time Counters. IEEE Transactions on VLSI, 27(1):83--91 , January 2019. (pdf)

Nitish Srivastava and Rajit Manohar. Data Dependent Frequency Scaling using Desynchronization. Work-in-progress session, Design Automation Conference, June 2018.

Three Dimensional Integration [click to toggle all]

Resilient Asynchronous Systems [click to toggle all]

Selected Technical Reports:

Rajit Manohar. The Impact of Asynchrony on Computer Architecture. Ph.D. thesis, California Institute of Technology, 1998. Available as Caltech technical report CS-TR-98-12 from the Caltech Computer Science department.

Rajit Manohar and Paolo A.G. Sivilotti. Composing Processes Using Modified Rely-Guarantee Specifications. Caltech technical report CS-TR-96-22, November 1996.

Rajit Manohar. Folded FIFOs. Caltech technical report CS-TR-95-09, July 1995.

Issued Patents:

US Patent and Trademark Office search

Notes:

These are "scraps of paper" that are part of my research notes. Some of them turn into publications, but they all contain some idea that I thought was worth recording at the time. If you are interested in any of them (some of them have been cited by papers), send me e-mail.


Errata: The paper on "Slack Elasticity" published in the proceedings of the conference on the Mathematics of Program Construction (1998) has an error in the final printed version due to an unfortunate oversight in proof-reading. Corollary 1 should read: If a system satisfies its specification when the slack on channel c is k, and if it is unchanged when the slack on channel c is l (> k), it satisfies its specification when the slack on c is s, for all s satisfying k <= s <= l. An examination of the proof shows that this is the statement being established, so the proof is identical. This statement was the version presented at the conference as well.

 
  
Yale