超大规模数字系统控制器的验证实现

著录项

• 来源
  《计算机技术与发展》 |2008年第10期|170-172176|共4页
• 作者

  卢英; 李炜; 张义超; 郭星;

  展开▼
• 作者单位

  安徽大学;

  计算机科学与技术学院;

  安徽;

  合肥;

  230039;

  安徽大学;

  计算智能与信号处理教育部重点实验室;

  安徽;

  合肥;

  230039;

  安徽大学;

  计算机科学与技术学院;

  安徽;

  合肥;

  230039;

  安徽大学;

  计算机科学与技术学院;

  安徽;

  合肥;

  230039;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 数字电路;
• 关键词

  超大规模数字系统; 电子设计自动化; 模拟验证; 形式验证; 状态转换图;