I found "Designing Embedded Hardware by John Catsoulis" quite good in addition to the above two.