Verification Techniques for System-Level Design Language: English ISBN-10: 0123706165 ISBN-13: 9780123706164 View on Amazon