Books and related lecture notes
1.
Lecture Notes:
Dr. Ami Litman's Lecture Notes in Logic Design, CS Dept., Technion.
2.
"Computer Architecture: complexity and correctness"
or the older book by the same authors titled
"The Complexity of Simple Computer Architectures"
.
3.
"Introduction to Digital Systems"
by Ercegovac, Lang, and Moreno.
4.
WWW Computer Architecture Home Page
contains a list of books, publications, and various activities in Computer Architecture.