Book Search Results
Formal Equivalence Checking And Design Debugging by Shi Yu Huang
Find "Formal Equivalence Checking And Design Debugging" by Shi Yu Huang through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Formal equivalence checking and design debugging
By Shi-Yu Huang
“Formal equivalence checking and design debugging” Metadata:
- Title: ➤ Formal equivalence checking and design debugging
- Author: Shi-Yu Huang
- Language: English
- Number of Pages: Median: 229
- Publisher: Kluwer Academic Publishers
- Publish Date: 1998
- Publish Location: Boston
“Formal equivalence checking and design debugging” Subjects and Themes:
- Subjects: ➤ Verification - Data processing - Electronic circuit design - Application specific integrated circuits - Integrated circuits - Design and construction - Electronic circuit design, data processing
Edition Identifiers:
- The Open Library ID: OL363738M
- Library of Congress Control Number (LCCN): 98023993
- All ISBNs: 079238184X - 9780792381846
Access and General Info:
- First Year Published: 1998
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal equivalence checking and design debugging at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Formal Equivalence Checking And Design Debugging” online:
Shop for “Formal Equivalence Checking And Design Debugging” on popular online marketplaces.
- Ebay: New and used books.