000 00641nam a2200217Ia 4500
003 OSt
005 20230411110245.0
008 180620b2009 xxu||||| |||| 00| 0 eng d
020 _a9780521859721
040 _cJUIT, Solan
082 _a621.381548 PRA
100 _aPradhan, Dhiraj K
245 _aPractical Design Verification
_cby Dhiraj K. Pradhan
260 _aCambridge
_bCambridge University Press
_c2009
300 _axi, 276p.
505 _a<p>Table of Contents:</p> <p>1. Model
650 _aIntegrated circuits - Verification
700 _aHarris, Ian G
906 _a36758093a9fe5f785166e0b593eacfa2
942 _2ddc
_cRB
999 _c28658
_d28658