Formal Verification: An Essential Toolkit for Modern VLSI Design (Author)(Chinese Edition)

[ YIN ] M.V A CHU TA. JI LAN&amp#183; KU MA ER ( M.V.AchuthaKiranKumar ) . [ MEI ] AI LI KE. SAI LI GE MAN ( ErikSeligman ) . [ MEI ] TANG MU&amp#183; SHU BO TE ( TomSchubert )

Language: English

ISBN 10: 711179656X (ISBN 13: 9787111796565)

  • Softcover
  • New
See all details

Seller: liu xing, Nanjing, JS, Chinaliu xing

5-star seller

AbeBooks seller since April 7, 2009

View this seller's items
Softcover

Condition: New

US$ 160.25

US$ 18.00 shipping 
Ships from China to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns
Save for laterCreate a Want for similar items

Item description from seller

Language:Chinese.Paperback. Pub Date: 2026-01 Pages: 315 Publisher: China Machine Press Formal Verification: A Recommended Toolkit for Modern VLSI Design (2nd Edition) comprehensively introduces practical methods for digital circuit design and verification. Combining rich engineering experience. it helps readers effectively integrate advanced verification techniques into their work. Formal Verification (FV). as a technique that directly analyzes the characteristics and quality of Register-Tra.

Seller Inventory # DU059492

Report this item

Bibliographic details

Title
Formal Verification: An Essential Toolkit for Modern VLSI Design (Author)(Chinese Edition)
Author
[ YIN ] M.V A CHU TA. JI LAN&amp#183; KU MA ER ( M.V.AchuthaKiranKumar ) . [ MEI ] AI LI KE. SAI LI GE MAN ( ErikSeligman ) . [ MEI ] TANG MU&amp#183; SHU BO TE ( TomSchubert )
Condition
New
Binding
paperback
Language
English

liu xing

Nanjing, JS, China

5-star seller

AbeBooks seller since April 7, 2009

Shipping rates from China to U.S.A.

Item16 to 30 business days8 to 16 business days
First itemUS$ 18.00US$ 30.00
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Paypal

Store description

Thank you for visiting My bookstore! We are an online bookstore, and Is the China's largest online book sales. Generally our books are from China, with reasonable price and decent printing quality. We are always trying our best to satisfy customer's needs!

Specialty

Chemistry, Mathematics, Computer, Physics, Environment, Social Sciences

Seller's business information

NAN JING SHI JIANG NING QU NING YUAN DIAN ZI SHANG WU ZHONG XIN

Room 264, Oujiang Shopping Center, No. 1 Dongxin South Road, Dongshan Street, Jiangning District, NanJing
Nanjing, JS China 211100

Contact sellerView this seller's itemsView seller's storefront