Introduction
People Research
themes: Embedded Systems
Hybrid Systems
Deep Submicron
Logic Synthesis
Other links:
EE249
CHESS
GSRC
BWRC
|
Theory of Latency-Insensitive Design
Publications:
L.P. Carloni, K.L. McMillan and
A.L. Sangiovanni-Vincentelli,
Theory of Latency-Insensitive Design,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 20, No. 9, September 2001.
L.P. Carloni and A.L. Sangiovanni-Vincentelli,
Performance Analysis and Optimization of Latency-Insensitive Systems,
The Proceedings of the Design Automation Conference, 2000.
L.P. Carloni, K.L. McMillan, A. Saldanha and
A.L. Sangiovanni-Vincentelli,
A Methodology for Correct-by-Construction Latency-Insensitive Design,
The Proceedings of the International Conference on Computer-Aided Design, 1999.
L.P. Carloni, K.L. McMillan and
A.L. Sangiovanni-Vincentelli,
Latency-Insensitive Protocols,
In N. Halbwachs and D. Peled, editors, Proc. of the 11th Intl. Conf. on Computer-Aided Verification, (Trento, ITALY), LNCS 1633, July
1999.
Notice:
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or by
other copyright holders. All persons copying this information are expected to
adhere to the terms and constraints invoked by each author's copyright.
Recycling: From Theory to Practice
Publications:
L.P. Carloni and
A.L. Sangiovanni-Vincentelli,
Performance Analysis and Optimization of Latency-Insensitive Systems,
The Proceedings of the Design Automation Conference, 2000.
L. P. Carloni and A.L. Sangiovanni-Vincentelli,
Recycle, Reuse, Reduce,
Technical Report UCB/ERL M99/53.
Notice:
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or by
other copyright holders. All persons copying this information are expected to
adhere to the terms and constraints invoked by each author's copyright.
|