Other helpful books:

M. Elrabaa, I. Abu-Khater, Advanced Low-Power Digital Circuit Techniques , Kluwer Academic Publishers, 1997

T. L Pillage, R. A. Rohrer, C. Visweswariah, Electronic Circuit and System Simulation, McGraw-Hill, 1994

W. J. Dally, J. W. Poulton, Digital Systems Engineering, Cambridge University Press,1998


Verilog standard reference (IEEE 1364) (4.9MB)

Other pertinent Literature:

Journals:
IEEE Transactions of VLSI Systems
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IEEE Transactions on Circuits and Systems
IEEE Transactions on Electron Devices
IEEE Micro
ISD (Integrated System Design)
IEEE Design and Test
Conferences:
Conference on Advanced Research in VLSI
Design Automation Conference
International Conference on Computer Aided Design
Custom Integrated Circuits Conference
International Symposium on Circuits and Systems
International Electron Devices Meeting
International Solid State Circuits Conference
International Conference on Computer Design