Formal Verification
Erik Seligman, Tom Schubert, M V Achutha Kiran Kumar, Cadence Design Systems) Seligman, Erik (Senior Product Engineering Architect, USA) Schubert, Tom (Adjunct Professor, Department of Electrical and Computer Engineering, Portland State University, Portland, OR, India) Kumar, M V Achutha Kiran, M.Tech (Intel Corporation, Bengaluru, Karnataka
1 409 kr