机译:使用UVM寄存器模型的NPPS安全等级控制器的功能验证
Dankook University, Dept. of Applied Computer Engineering, 448-701, Korea;
Functional Verification; SystemVerilog; UVM Register Model; Safety Class Controller; Diversity; Controllability; Observability;
机译:使用UVM寄存器模型的NPPS安全等级控制器的功能验证
机译:NPP安全重要系统的安全功能和软件验证
机译:使用UVM方法验证基于AMBA-AHB的IP验证
机译:基于UVM的微处理器系统通信控制器功能验证方法
机译:针对最近的化学实验室事件对UCLA,UMN和UVM的安全计划进行的比较检查
机译:一类参数化非线性的超稳定反馈控制器的设计。控制流行病模型的两个应用示例
机译:使用UVM寄存器模型的NPPS安全等级控制器的功能验证
机译:关于WWER 440/213反应堆核电厂的背面装配和安全增强措施的顾问会议的报告。关于WWER Npps安全的预算外计划