Functional HDL; Partial Evaluation; Run-Time Reconfiguration; Self-Reconfiguration;
机译:使用功能编程抽象对运行时可重新配置设计进行基于建模和断言的验证
机译:使用功能编程抽象对运行时可重配置设计进行基于建模和断言的验证
机译:RT级电路设计的声音系统级模型的路径谓词抽象
机译:使用功能规划抽象的动态可重构设计的系统级模型
机译:SHMEM +和SCF:用于可伸缩可重配置计算的系统级编程模型。
机译:通过结合网络动力学建模和系统级输入输出数据确定组氨酸激酶CheA的双重调控机制
机译:动态可重配置协处理器的系统级建模