介绍了基于xilinx ISE 4.li设计平台的超大规模数字集成电路设计流程并使用Core-gen IP工具实现IP复用,在此基础上采用Virtex-Ⅱ器......

给出了超大规模数字集成电路形式验证的任务流集合和任务模型,并以任务模型为基础提出了验证新方法MCTL.建立任务流集合以及相关的......