Functional verification; Safety; Formal Property Verification; Constrained-random simulation; Natural language properties; Functional coverage; Regression coverage;
机译:CERN基于28 nm ZYNQ片上系统的辐射监控系统的容错FPGA设计
机译:适用于安全关键应用的基于SRAM的FPGA系统:设计标准和建议方法的调查
机译:传感器:用于FPGA中基于路径的年龄监控的高度可扩展的SENsor设计
机译:用于FPGA的高可参数化IP和系统级设计组装工具的功能验证
机译:使用VHDL建模和FPGA实现的辐射监控系统的ASIC微控制器设计。
机译:用于高度参数化的功能验证方法,连续运行的安全关键FPGA设计:应用于Cern辐射监测电子(Crome)