HY590-20: Χρονισμός Ψηφιακών Συστημάτων


Χειμερινό Εξάμηνο - Ακαδημαϊκό Έτος 2008-2009
Διδάσκων: Χρήστος Σωτηρίου
Βοηθός Μαθήματος: Παύλος Ματθαιάκης
Προαπαιτούμενα Μαθήματα: ΗΥ-220,
Θεματική Περιοχή: Α
Διδακτικές Μονάδες: 4
Συναφή Μαθήματα: ΗΥ422, ΗΥ590-24, ΗΥ590-20

Περιγραφή Μαθήματος

Το ΗΥ-590.20 ασχολείται με θέματα Χρονισμού Συστημάτων σε Chip (SOCs), καλύπτοντας τις αρχές και μεθόδους σχεδίασης ασύγχρονων (χωρίς ρολόι) συστημάτων και κυκλωμάτων, αλλά και εμβαθύνοντας στο πρόβλημα του συγχρονισμού μεταξύ σύγχρονων νήσων περιγράφοντας λύσεις. Η ύλη περιλαμβάνει: αντικατάσταση ρολογιού από ασύγχρονο κύκλωμα, κυκλώματα χειραψίας, κωδικοποίηση δεδομένων, αφηρημένη μορφή ασύγχρονου κυκλώματος ως συστήματα με data tokens, διασωλήνωση Muller, τύποι ασύγχρονων κυκλωμάτων, υλοποίηση κυκλωμάτων χειραψίας, σύνθεση κυκλωμάτων με αναισθησία στις καθυστερήσεις πυλών, συγχρονισμός και φαινόμενο μετασταθερότητας, κυκλώματα συγχρονιστών, μέσος χρόνος αποτυχίας (ΜΤFB).

Διαλέξεις

Οι τακτικές διαλέξεις του μαθήματος θα γίνονται κάθε Τρίτη καί Πέμπτη, από 22/9/2008 εώς 19/12/2008:

Τρίτη: 9:00-11:00, Αίθουσα 1ου ορόφου ΕΤΕΠ-Κ (ΙΤΕ)
Πέμπτη: 9:00-11:00, Αίθουσα 1ου ορόφου ΕΤΕΠ-Κ (ΙΤΕ)

Προτεινόμενα Βιβλία:

  1. Principles of Asynchronous Circuit Design - A Systems Perspective, Jens Sparsø and Steve Furber, Kluwer Academic Publishers, 2001.
  2. Logic Synthesis of Asynchronous Controllers and Interfaces, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno and Alexandre Yakovlev, Springer Verlag, 2002.
  3. Asynchronous Circuit Design, Chris Myers, Wiley-Interscience, 2001.
  4. Free Choice Petri Nets, Jörg Desel and Javier Esparza, Cambridge University Press, 1995.
  5. Digital Systems Engineering, William J. Dally and John W. Poulton, Cambridge University Press, 1998.

Περιεχόμενα:

  1. Σημειώσεις Διαλέξεων

  2. Εργαλείo PIPE2

    • κατεβάστε το εδώ

  3. Εργασίες

  4. Σχετικές Συνδέσεις

Προτεινόμενες Σχετικές Δημοσιεύσεις προς Ανάγνωση:

  1. Ivan E. Sutherland, Micropipelines, in Communications of the ACM, Volume 32, Issue 6, pp. 720-738, 1989.
  2. Tadao Murata, Petri Nets: Properties, Analysis and Applications, in Proceedings of the IEEE, Volume 77, Number 4, April 1989.
  3. Ivan Blunno, Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin and Christos Sotiriou, Handshake Protocols for De-synchronization, in Proceedings of the 10th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), pp. 149-158, April 2004.
  4. E. B. Eichelberger, Hazard Detection in Combinational and Sequential Switching Circuits, in IBM Journal for Research and Development, pp. 90-99, March 1965.
  5. Peter Vanbekbergen, Bill Lin, Gert Goossens and Hugo De Man, A Generalized State Assignment Theory for Transformations on Signal Transition Graphs, in Proceedings of the IEEE International Conference on Computer-Aided Design (ICCAD), pp. 112-117, November 1992.
  6. Peter A. Beerel, Andrew Lines, Mike Davies and Nam-Hoon Kim, Slack Matching Asynchronous Designs, in Proceedings of the 12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), March 2006.
  7. Josep Carmona and Jordi Cortadella, ILP Models for the Synthesis of Asynchronous Control Circuits, in Proceedings of the IEEE International Conference on Computer-Aided Design (ICCAD), pp. 818-825, November 2003.
  8. Enric Pastor, Jordi Cortadella, Alex Kondratyev and Oriol Roig, Structural Methods for the Synthesis of Speed-Independent Circuits, in Proceedings of the European Design and Test Conference, pp. 340-347, March 1996.
  9. Alex Kondratyev, Jordi Cortadella, Michael Kishinevski, Luciano Lavagno and Alex Yakovlev, Logic Decomposition of Speed-Independent Circuits, in Proceedings of the IEEE, Volume 87, Issue 2, pp. 347-362, February 1999.
  10. Jordi Cortadella, Michael Kishinevski, Alex Kondratyev, Luciano Lavagno and Alexandre Yakovlev, A Region-Based Theory for State Assignment in Speed-Independent Circuits, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 16, Issue 8, August 1997.
  11. Henrik Hulgaard, Steven M. Burns, Tod Amon and Gaetano Borrielo, An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems, in IEEE Transactions on Computers, Volume 44, Issue 11, pp. 1306-1317, November 1995.
  12. K.L. McMillan, A Technique of State Space Search Based on Unfolding, in Formal Methods in System Design, Volume 6, Issue 1, Special Issue on Computer-Aided Verification, pp. 45-65, 1995
  13. Javier Esparza, Stefan Römer and Walter Vogler, An Improvement of McMillan's Unfolding Algorithm,in Formal Methods in System Design, Volume 20, Issue 3, pp. 285-310, 2002.
  14. Richard M. Karp, A Characterization of the Minimum Cycle Mean in a Digraph, in Discrete Mathematics, Volume 23, Number 3, pp. 309-311, September 1978.
28-8-2008, Χρήστος Σωτηρίου