硬件设计验证方法学,中文版本,适合初学者的书籍。FPGAASIC验证