Formal verification of commercial integrated circuits

著录项

• 来源
  《ieee design & test of computers》 |2001年第4期|4-5|共2页
• 作者

  Pixley C;

  展开▼
• 作者单位

  Motorola Inc, Semicond Prod Sectors Architecture & Syst Platfor, Austin, TX 78729 USA;

  展开▼
• 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
• 原文格式 PDF
• 正文语种 英语
• 中图分类
• 关键词