Hardware; Hardware design languages; Field programmable gate arrays; Specification languages; Conferences; Market research; Communications technology;
机译:可重用的验证环境,用于验证以太网IP内核中的以太网数据包,一种验证策略-分析
机译:验证语言中针对该语言无法表达的时间特性的规范
机译:基于FPGA和UDP / IP协议栈的千兆以太网IP核的研究与实现
机译:设计和建立物业规范语言,验证FPGA以太网IP核的复杂行为
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:AeroRing的规格和性能指标—用于航空电子嵌入式系统的多环以太网
机译:FPGA偏执狂:测试FPGA浮点IP核的数值属性