机译:使用功能编程抽象对运行时可重配置设计进行基于建模和断言的验证
机译:使用功能编程抽象对运行时可重新配置设计进行基于建模和断言的验证
机译:使用运行时可动态可重新配置查找表的FPGA上可编程蜂窝自动机的可测试架构设计
机译:基于可重配置运行时可编程和多个扭曲环计数器的片上测试生成方案的设计与实现
机译:使用功能编程抽象的动态可重构设计的系统级建模
机译:抽象是编程的关键,并涉及功能语言中的软件验证问题。
机译:利用混合物设计和动物模型的免疫功能功效验证优化红景天西洋参和黄芪功能复合提取物的混合比例
机译:基于可重配置运行时可编程和多个扭曲环计数器的片上测试生成方案的设计与实现
机译:开发和验证ada中可靠并发编程的设计抽象