9787111796565 (1 risultati)

Formal Verification: An Essential Toolkit for Modern VLSI Design (Author)(Chinese Edition)
[ YIN ] M.V A CHU TA. JI LAN· KU MA ER ( M.V.AchuthaKiranKumar ) . [ MEI ] AI LI KE. SAI LI GE MAN ( ErikSeligman ) . [ MEI ] TANG MU· SHU BO TE ( TomSchubert )
Lingua: Inglese
- Brossura
Da: liu xing, Nanjing, JS, Cinaliu xing
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 141,95
EUR 15,48 spedizioneSpedito da Cina a U.S.A.Quantità: 1 disponibili
paperback. Condizione: New. 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.…