数字设计，第5版，由Morris Mano主编。数字电子技术和verilog的入门书籍，是不错的国外教材。