TY - BOOK A1 - TI - 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 PB - كتابخانه مركزی دانشگاه صنعتی شریف SN - 72153697 UR /book/72153697/Correct-hardware-design-and-verification-methods/ ER -