Verilog数字系统设计 RTL综合、测试平台与验证 第2版·英文版
（美）纳瓦毕著2007 年出版316 页ISBN：9787121052415
本书主要讲述基于IEEE Std 1364-2001版本的Verilog硬件描述语言，着重讲述了使用Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求，本书重点关注了testbench的设计编写、验证和测试技...
王全杰，胡一杰，祁巧艳主编2015 年出版260 页ISBN：9787562490784
本书主要包括建筑工程量计算和工程量清单计价两个部分。详细介绍了如何从清单与定额的角度进行分析，确定算什么、如何算的问题；讲解了如何应用广联达土建算量软件完成工程量的计算，以及如何完成工程量清单计价...
