形式化校验论文

可重配置硬件系统调度算法的模拟与分析
论文摘要可编程逻辑门阵列FPGA器件已成为嵌入式系统设计领域关注的热点,同时一些计算密集型任务可以在FPGA上灵活的实现并执行。硬件任务使传统的软硬件协同设计领域发生了重大变革...