寄存器传输电平 计算机科学 网络列表 Verilog公司 VHDL语言 物理设计 可测试性 计算机体系结构 硬件描述语言 电路设计 电路提取 超大规模集成 数字电子学 形式等价性检查 异步电路 计算机硬件 集成电路 计算机工程 嵌入式系统 逻辑综合 电子线路 形式验证 现场可编程门阵列 逻辑门 等效电路 理论计算机科学 工程类 算法 可靠性工程 同步电路 电气工程 时钟信号 电压 操作系统 电信 抖动