Here is some stuff I have read and found interesting or not !
Gerard Berry @ College de France (http://www.college-de-france.fr/default/EN/all/inn_tec2007/) in French.
- SAT Tutorial (http://users.rsise.anu.edu.au/~jussi/ijcai07tutorial/)
- VLIW Architecture Tutorial (http://www.complang.tuwien.ac.at/cd/vliw/)
- CAD stuffs (http://people.csail.mit.edu/devadas/6.373/lectures/)
- Architecture Lectures (http://www.engineering.uiowa.edu/~hpca/LectureNotes/LectureNotes.html)
- Variable Length Pipeline (called also Pipeline Stage Unification)
- Latency Insensitive Design
- Petri Nets
- Graph Theory
- Depth-First Search
- Depth-First Search
- Graph Theory
http://www.cs.tau.ac.il/~rshamir/atga/atga.html (Triangulated graphs)
- Intel Threading Building Blocks: I really like this one and how the work is introduced and positioned versus some history of parallelism, design …etc… The book is well written, easy to read, concepts are explained clearly with simplicity. A must have for people wanting to do some real multi-core job.
- Algorithms for VLSI Design: I enjoyed read this one, despite that it is not up to date versus state of the art algorithms. The book is well written, good introduction, really interesting on placement/routing where the author is really involved.
- Logical Effort:I like this one, the authors build a simple abstraction (using capacitance and branching) on top of a logical net-list in order to compute timing of a design. Despite, that this model cannot handle directly interconnects and noise. It is still useful. The book is well written, easy to read and understand.
- CMOS VLSI Design: I love this one written also by one of the previous book, well-written, easy to read, with more analog details than usual. This book is a good balance between analog and digital design. I learned a lot especially on dynamic logic and pulse logic. A must have.
- Understanding Fabless IC Technology: interesting book about the IC industry, well-written despite being a little length-some sometimes.
- Motorcycle handling and Chassis Design: a must have for people that are motorcycle enthusiasts, well written, easy to follow, very detailed.
- VLIW Microprocessor Hardware Design for Asics and Fpga: a book that explain in details how to build a small VLIW with Verilog source code, the book is easy to read and understand. A good book as a base for a student course on architecture.
- Optimizing Compilers for Modern Architectures : A Dependence-based Approach: a very interesting book written by the fathers of the dependence-based approach. There is an interesting section for hardware synthesis and simulation.
- High-Level Synthesis: From Algorithm to Digital Circuits: I was a little bit disappointed, this is much a collection of surveys than a book, nevertheless the chapter on bit level optimization is really interesting.
- Closing the Gap Between ASIC and Custom: this was an interesting reading, the book is easy to follow and well-written, despite that some parts are a little bit boring. Most interesting parts for me are on clock scheduling, latches and cell “sizing”.
- Low Power Methodology Manual For System-on-Chip Design: introductory parts interesting, but boring after few chapters.
- Embedded Computing: A VLIW Approach to Architecture, Compilers, and Tools: a very interesting and very well written book on VLIW architectures. The book is written in the same style as Architecture book of Hennesy and Patterson, with interesting history to replace the context of the application, failures and successes. Definitively a book to have for people interested in compilers and hardware related stuff.
- Modern Processor Design: Fundamentals of Superscalar Processors: I love this book. It is very well written. In my opinion, it offers a better and superior presentation of the prediction techniques and super-scalar schemes that you can find in the Hennesy and Patterson book, for instance. I especially like the “balance”, the fairness of the presentation: the discussion of limitations of schemes and the trade-off needed for the intended purpose.
- Peopleware: a very interesting book about management.
- Synchronization and Linearity (http://cermics.enpc.fr/~cohen-g//SED/book-online.html)
- The Complexity of Boolean Functions (http://eccc.hpi-web.de/eccc-local/ECCC-Books/wegener_book_readme.html)
- Modeling with Generalized Stochastic Petri Nets (http://www.di.unito.it/~greatspn/GSPN-Wiley/index.html)
- MPI: The Complete Reference (http://www.netlib.org/utk/papers/mpi-book/mpi-book.html)
- Algebraic Combinatorics on Words (http://www-igm.univ-mlv.fr/~berstel/Lothaire/AlgCWContents.html – see this URL too with more material http://www-igm.univ-mlv.fr/~berstel/)