Design verification; Assertion-based verification; Assertion languages;
机译:使用功能编程抽象对运行时可重新配置设计进行基于建模和断言的验证
机译:使用功能编程抽象对运行时可重配置设计进行基于建模和断言的验证
机译:关于嵌入式软件的模型驱动设计和基于动态声明的验证的集成
机译:基于断言验证及其应用概述
机译:基于动态声明的SystemC验证
机译:Sigma指标在评估常规生化分析物的已验证试剂与未验证试剂的临床性能中的应用
机译:从基于断言的验证到基于断言的综合