SAT-based scalable formal verification solutions
by Malay Ganai
- ISBN
- 9780387691671
SAT-based scalable formal verification solutions is a verification, integrated circuits book by Malay Ganai.
Discover SAT-based scalable formal verification solutions by Malay Ganai, verification.
About the Author
Malay Ganai is the author of SAT-based scalable formal verification solutions. Browse their full catalog on Booklogr.
Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is SAT-based scalable formal verification solutions?+
SAT-based scalable formal verification solutions is a Verification, Integrated circuits, Systems engineering, Computer engineering, Computer-aided design book.
Who wrote SAT-based scalable formal verification solutions?+
SAT-based scalable formal verification solutions was written by Malay Ganai.