| |
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.
- Papers
- Filipp Akopyan, Carlos Tadeo Ortega Otero, David Fang, Sandra Jackson, and Rajit Manohar.
Variability in 3-D Integrated Circuits.
Proceedings of the IEEE Custom Integrated Circuits Conference, September 2008.
(abstract, pdf)
- Christopher LaFrieda, Engin Ipek, Jose Martinez, and Rajit Manohar.
Utilizing dynamically coupled cores to form a resilient chip multiprocessor.
Proc. International Conference on Dependable Systems and Networks, June 2007.
(abstract, pdf)
- Rajit Manohar, Clinton Kelly IV, et al.
Development of Reprogrammable Low Power High Density High Speed RADHARD FPGAs.
Government Microcircuit Applications and Critical Technology Conference, March 2007.
- Rajit Manohar.
Reconfigurable Asynchronous Logic.
Proceedings of the IEEE Custom Integrated Circuits Conference, September 2006.
(abstract, pdf)
- David Fang, Christopher LaFrieda, Song Peng, and Rajit Manohar.
A 3-Tier Asynchronous FPGA.
Proceedings of the 23rd International VLSI/ULSI Multilevel Interconnection Conference, September 2006.
(abstract, pdf)
- Jon Russo, Mohammed Amduka, Keith Pendersen, Richard Lethin, Jonathan Springer, Rajit Manohar, Rami Melhem.
Enabling Cognitive Architectures for UAV Mission Planning.
Proceedings of the High Performance Embedded Computing Workshop, September 2006.
(abstract, pdf)
- Rajit Manohar, Clinton Kelly IV, John Lofton Holt, Chris Liu, Leonard Rockett, Dinu Patel, Steven Danzinger.
Application of Low Power High Density Gigahertz Speed Commercial FPGA Technology to High Radiation Applications using RADHARD-by-Process Techniques.
Proceedings of the 9th Military and Aerospace Programmable Logic Devices International Conference, September 2006.
- Song Peng and Rajit Manohar.
Yield Enhancement of Asynchronous Logic Circuits through 3-Dimensional Integration Technology.
Proceedings of the ACM Great Lakes Symposium on VLSI, April 2006.
(abstract, pdf)
- Song Peng and Rajit Manohar.
Self-healing Asynchronous Arrays.
Proceedings of the 12th International Symposium on Asynchronous Circuits and Systems, March 2006.
(abstract, pdf)
- Filipp Akopyan, Rajit Manohar, and Alyssa Apsel.
A level-crossing Flash Asynchronous Analog-to-Digital Converter.
Proceedings of the 12th International Symposium on Asynchronous Circuits and Systems, March 2006.
(abstract, pdf)
- David Fang, Filipp Akopyan, and Rajit Manohar.
Self-Timed Thermally Aware Circuits.
IEEE Computer Society Annual Symposium on VLSI, March 2006.
(abstract, pdf)
- Song Peng and Rajit Manohar.
Efficient Failure Detection in Pipelined Asynchronous Circuits.
Proceedings of the IEEE Symposium on Defect and Fault Tolerance in VLSI Systems, October 2005.
(abstract, pdf)
- Song Peng and Rajit Manohar.
Fault Tolerant Asynchronous Adders through Dynamic Self-reconfiguration.
Proceedings of the IEEE International Conference on Computer Design, October 2005.
(abstract, pdf)
- Yao-Win Hong, Birsen Sirkeci-Mergen, Anna Scaglione, and Rajit Manohar.
Dense Sensor Networks are also Energy-efficient: when `more' is `less'.
Proceedings of MILCOM 2005, October 2005.
(abstract, pdf)
- Christianto C. Liu, Jeng-Huei Chen, Rajit Manohar, and Sandip Tiwari.
Mapping Multimedia Applications to 3-D System-on-Chip .
Proceedings of the 2005 IEEE International Symposium on Circuits and Systems, May 2005.
- David Fang, John Teifel, and Rajit Manohar.
A High-Performance Asynchronous FPGA: Test Results.
2005 IEEE Symposium on Field-Programmable Custom Computing Machines, April 2005.
(abstract, pdf)
- Virantha Ekanayake, Clinton Kelly IV, and Rajit Manohar.
BitSNAP: Dynamic Significance Compression for a Low Power Sensor Network Asynchronous Processor.
Proceedings of the 11th IEEE International Symposium on Asynchronous Circuits and Systems, March 2005.
(abstract, pdf, ps)
- Song Peng, David Fang, John Teifel, and Rajit Manohar.
Automated Synthesis for Asynchronous FPGAs.
13th ACM International Symposium on Field Programmable Gate Arrays, February 2005.
(abstract, pdf, ps)
- Rajit Manohar and K. Mani Chandy.
Δ-Dataflow Networks for Event Stream Processing.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, November 2004.
(abstract, pdf, ps)
- Virantha Ekanayake, Clinton Kelly IV, and Rajit Manohar.
An Ultra-low-power Processor for Sensor Networks.
Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems, October 2004.
(abstract, pdf, ps)
- David Biermann, Emin Gun Sirer, and Rajit Manohar.
A Rate Matching-based Approach to Dynamic Voltage Scaling.
Proceedings of the First Watson Conference on the Interaction between Architecture, Circuits, and Compilers, October 2004.
(abstract, pdf, ps)
- Christopher LaFrieda and Rajit Manohar.
Robust Fault Detection and Isolation Techniques for Quasi Delay-Insensitive Circuits.
Proceedings of the International Conference on Dependable Systems and Networks, July 2004.
(abstract, pdf, ps)
- David Fang and Rajit Manohar.
Non-Uniform Access Asynchronous Register Files.
Proceedings of the 10th International Symposium on Asynchronous Circuits and Systems, April 2004.
(abstract, pdf, ps)
- John Teifel and Rajit Manohar.
Static Tokens: Using Dataflow to Automate Concurrent Pipeline Synthesis.
Proceedings of the 10th International Symposium on Asynchronous Circuits and Systems, April 2004.
(abstract, pdf, ps)
- John Teifel and Rajit Manohar.
Highly Pipelined Asynchronous FPGAs.
12th ACM International Symposium on Field-Programmable Gate Arrays, Monterey, CA, February 2004. [Please see abstract].
(abstract, pdf, ps)
- Clinton Kelly IV and Rajit Manohar.
An Event-Synchronization Protocol for Parallel Simulation of Large-Scale Wireless Networks.
Seventh IEEE International Symposium on Distributed Simulation and Real Time Applications, October 2003.
(abstract, pdf, ps)
- John Teifel and Rajit Manohar.
Programmable Asynchronous Pipeline Arrays.
Proceedings of the 13th International Conference on Field Programmable Logic and Applications, pp. 345--354, Lisbon, Portugal, September 2003.
(abstract, pdf, ps)
- Clinton Kelly IV, Virantha Ekanayake, and Rajit Manohar.
SNAP: A Sensor Network Asynchronous Processor.
Proceedings of the Ninth International Symposium on Asynchronous Circuits and Systems, pp. 24--33, Vancouver, BC, May 2003.
(abstract, pdf, ps)
- John Teifel and Rajit Manohar.
A High Speed Clockless Serial Link Tranceiver.
Proceedings of the Ninth International Symposium on Asynchronous Circuits and Systems, pp. 151--161, Vancouver, BC, May 2003.
(abstract, pdf, ps)
- Virantha Ekanayake and Rajit Manohar.
Asynchronous DRAM Design and Synthesis.
Proceedings of the Ninth International Symposium on Asynchronous Circuits and Systems, pp. 174--183, Vancouver, BC, May 2003.
(abstract, pdf, ps)
- Rajit Manohar and Anna Scaglione.
Power Optimal Routing in Wireless Networks.
IEEE International Conference on Communications, pp. 2979--2984, Anchorage, AK, May 2003.
(abstract, pdf)
- John Teifel, David Fang, David Biermann, Clinton Kelly IV, and Rajit Manohar.
Energy-Efficient Pipelines.
Proceedings of the 8th International Symposium on Asynchronous Circuits and Systems, pp. 21--31, Manchester, UK, March 2002.
(abstract, ps)
- Rajit Manohar.
Scalable Formal Design Methods for Asynchronous VLSI.
Proceedings of the 29th ACM SIGPLAN/SIGACT Conference on the Principles of Programming Languages, Portland, OR, January 2002.
- Rajit Manohar and Clinton Kelly IV.
Network on a Chip: Modeling Wireless Networks with Asynchronous VLSI.
IEEE Communications Magazine, pp. 149--155, November 2001.
(abstract, pdf, ps)
- Rajit Manohar.
Width-Adaptive Data Word Architectures.
Proceedings of the 19th Conference on Advanced Research in VLSI, pp. 112--129, Salt Lake City, Utah, March 2001.
(abstract, ps)
- Rajit Manohar, Mika Nyström, and Alain J. Martin.
Precise Exceptions in Asynchronous Processors.
Proceedings of the 19th Conference on Advanced Research in VLSI, pp. 16--28, Salt Lake City, Utah, March 2001.
(abstract, ps)
- Rajit Manohar.
An Analysis of Reshuffled Handshaking Expansions.
Proceedings of the 7th International Symposium on Asynchronous Circuits and Systems, pp. 96--105, Salt Lake City, Utah, March 2001.
(abstract, ps)
- Rajit Manohar.
A Case for Asynchronous Computer Architecture.
Proceedings of the ISCA Workshop on Complexity-Effective Design, June 2000.
(abstract, pdf, ps)
- Rajit Manohar and Mark Heinrich.
A Case For Asynchronous Active Memories.
ISCA 2000 Solving the Memory Wall Problem Workshop, June 2000.
(abstract, ps)
- Rajit Manohar.
The Entropy of Traces in Parallel Computation.
IEEE Transactions on Information Theory, 45(5):1606--1608, July 1999.
(abstract, pdf, ps)
- Rajit Manohar, Tak-Kwan Lee, and Alain J. Martin.
Projection: A Synthesis Technique for Concurrent Systems.
Proceedings of the 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp. 125--134, April 1999.
(abstract, ps)
- K. Rustan M. Leino and Rajit Manohar.
Joining Specification Statements.
Theoretical Computer Science, 216:375-394, March 1999.
(abstract, ps)
- Rajit Manohar and José A. Tierno.
Asynchronous Parallel Prefix Computation.
IEEE Transactions on Computers, Vol. 47, No. 11, 1244-1252, November 1998.
(abstract, ps)
- Rajit Manohar and Alain J. Martin.
Slack Elasticity in Concurent Computing .
Proceedings of the Fourth International Conference on the Mathematics of Program Construction, Lecture Notes in Computer Science 1422, pp. 272-285, Springer-Verlag 1998.
(abstract, ps)
- Alain J. Martin, Andrew Lines, Rajit Manohar, Mika Nyström, Paul Penzes, Robert Southworth, Uri V. Cummings, and Tak-Kwan Lee.
The Design of an Asynchronous MIPS R3000 microprocessor.
Proceedings of the 17th Conference on Advanced Research in VLSI, pp. 164--181, September 1997.
(abstract, pdf, ps)
- Donald Dabdub and Rajit Manohar.
Performance and Portability of an Air Quality Model.
Parallel Computing, special issue on Regional Weather Models, 23(14):2187--2200, 1997.
(abstract, ps)
- José A. Tierno, Rajit Manohar, and Alain J. Martin.
The Energy and Entropy of VLSI Computations.
Proceedings of the Second International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp. 188--196, March 1996.
(abstract, ps)
- Rajit Manohar and Alain J. Martin.
Quasi-delay-insensitive circuits are Turing-complete.
Second International Symposium on Advanced Research in Asynchronous Circuits and Systems (invited), March 1996. Available as Caltech technical report CS-TR-95-11, November 1995.
(abstract, pdf, ps)
- Rajit Manohar and K. Rustan M. Leino.
Conditional Composition.
Formal Aspects of Computing, 7(6):683--703, 1995.
(abstract, ps)
- K. Mani Chandy, Rajit Manohar, Berna L. Massingill, and Daniel I. Meiron.
Integrating Task and Data Parallelism with the Group Communication Archetype.
Proceedings of the Ninth International Parallel Processing Symposium, pp. 724--733, 1995.
(abstract, ps)
-
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.
-
Patents:
-
Rajit Manohar and Alain J. Martin.
Parallel prefix operations in asynchronous processors.
US Patent No. 5,999,961, December 1999.
-
Rajit Manohar,
Mika Nyström,
and Alain J. Martin.
Exception processing in asynchronous processors.
US Patent No. 6,301,655, October 2001.
-
Alain J. Martin,
Andrew Lines,
Rajit Manohar,
Uri Cummings,
Mika Nyström,
Pipelined asynchronous processing.
US Patent No. 6,381,692, April 2002.
-
Alain J. Martin,
Andrew Lines,
Rajit Manohar,
Uri Cummings,
Mika Nyström,
Pipelined asynchronous processing.
US Patent No. 6,658,550, December 2003.
-
Mika Nyström,
Rajit Manohar,
and Alain J. Martin.
Method and Apparatus for a failure-free synchronizer.
US Patent No. 6,609,203, February 2004.
-
John Teifel, Rajit Manohar.
Programmable Asynchronous Pipeline Arrays.
US Patent No. 7,157,934, January 2007.
Over 20 pending.
-
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.
|
|