正确的硬件设计和验证方法：第 11 届 IFIP WG 10.5 高级研究工作会议，CHARME 2001 英国苏格兰利文斯顿，2001 年 9 月 4-7 日会议记录PDF书籍下载

原名:Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
作品简介:本卷包含 CHARME 2001（第十一届正确硬件设计和验证方法高级研究工作会议）的会议记录。 CHARME 2001 是致力于开发和使用前沿形式技术和工具的一系列工作会议中的第 11 次会议。……