system verilog 概述

system verilog assertion 简介及简单例子的仿真

computer architecture

computer architecture, a quantitative approach