In February 2009, Northrop Grumman passed Verification Compliance Review (VCR) -1, which audited the company's testing of the B-2 radar's hardware and basic operational modes.
2009年2月，诺斯罗普·格鲁曼公司通过第一次审核(VCR - 1)，其中审核了公司在B - 2雷达的硬件和基本运作模式的测试。
These methods, with rigorous mathematical foundation, have mostly been developed for optimizing compilers and, more recently, for hardware and software verification.
这些方法有精确的数学基础，曾经主要用于改良编译器优化，近来也用于硬件和软件验证。
The co verification environment consists of an embedded software debugger and an embedded hardware simulator. It adopts instruction set architecture co simulation model.
该协同验证环境由嵌入式软件调试器和嵌入式硬件模拟器组成，其采用了指令集结构的协同模拟模型。
应用推荐