Download Correct Hardware Design And Verification Methods: 10Th Ifip Wg10.5 Advanced Research Working Conference, Charme’99 Badherrenalb,germany,september 27–29, 1999 Proceedings 1999