机译:扩展FSMD框架以验证数组处理程序的代码运动
Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, India;
Automata; Benchmark testing; Embedded systems; Modeling; Code motion validation; equivalence checking; finite state machine with datapath (FSMD); normalization;
机译:带有CoDeL的高级FSMD设计和自动时钟门控
机译:带有CoDeL的高级FSMD设计和自动时钟门控
机译:开放代码覆盖率框架:一种用于支持多种编程语言的一致性,灵活和完整的测试覆盖率度量的框架
机译:通过FSMD等效性检查器对并行行为的PRES +模型进行翻译验证
机译:验证复杂的课程目标:建立一个框架来验证一个教师教育课程的目标,以促进包容性作为基本的教学原则
机译:图片模糊集框架下决策问题的线性规划与扩展TOPSIS建模
机译:维罗纳情绪序列编码定义(VR-CoDES):概念框架和未来方向
机译:循环码。扩展循环纠错码权重分布理论及相关问题的研究方案及构造编码理论