Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

Search results for “[Subject: electronics-circuits-logic]”

Filters

Products

Formal Equivalence Checking and Design Debugging

Shi-Yu Huang

Hardcover

Current price ₹13,221
Original price ₹20,339
Original price ₹20,339
Original price ₹20,339
(-35%)
₹13,221
Current price ₹13,221

• Author(s): Shi-Yu Huang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Electronics - Circuits - GeneralFormal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and...

View full details

Formal Equivalence Checking and Design Debugging

Shi-Yu Huang

Paperback

Current price ₹13,221
Original price ₹20,339
Original price ₹20,339
Original price ₹20,339
(-35%)
₹13,221
Current price ₹13,221

• Author(s): Shi-Yu Huang • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMFormal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checki...

View full details