1. Hardware design verification :simulation and formal method-based approaches. ]CD[
پدیدآورنده : Lam, William K. C., William K. Lam
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Verification ، Integrated circuits
رده :
TK7874
.
58
.
L36
2005
2. Hardware design verification: simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Integrated circuits-- Verification
رده :
TK
7874
.
58
.
L36
2005
