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