formal verification; embedded systems; object-oriented methods; hardware-software codesign; assertion based verification methodology; system level synthesis methodology; object oriented methodology; system level assertion; system level synthesis process; hardware-software coverification; hardware-software synthesis; abstraction level; run time verification;
机译:方法论寻求基于断言的验证
机译:关于嵌入式软件的模型驱动设计和基于动态声明的验证的集成
机译:多媒体应用的高效系统级功能验证方法
机译:将基于断言的验证集成到系统级合成方法中
机译:用于系统级电源优化(低功耗设计)的动态电源管理策略及其形式验证和实现的集成。
机译:系统生物学的数据集成方法:实验验证
机译:从基于断言的验证到基于断言的综合
机译:现场验证计划(水产处置):研究结果的综合:水生疏浚物处置预测方法的适用性和现场验证