Hardware Design Verification : simulation and formal methods - based approaches - Lam, William K. (New Jersey : Pearson Education, 2005)
Περιέχει ευρετήριο και βιβλιογραφία
Keywords: Integrated circuits -- Verification