最小生存量化跨度相关硕士博士期刊学术论文 - 搜论网

最小生存量化跨度相关论文

优化OBDD性能的变量量化调度算法研究

在目前VLSI设计流程中,采用模型检测技术来实现形式化验证对可靠的硬件设计具有重要的意义。在以有序二值决策图(OBDD)为基础的符......

期刊

关联矩阵量化调度最小生存量化跨度映像计算 Dependent matrix Quantification scheduling Minimum subsi

看过本文同时还关注