VerilogHDL方面的书，对Coding和Synthesis有很大帮助。