Sol Swords

Sol Swords

Formal Verification, Intel Corp.
在 intel.com 的电子邮件经过验证
被引用次数：622
formal verification theorem proving model checking equivalence checking
Zhenkun Yang

Zhenkun Yang

Portland State University
在 cs.pdx.edu 的电子邮件经过验证
被引用次数：400
Formal Verification High-Level Synthesis Equivalence Checking
Ted Stanion

Ted Stanion

Synopsys
在 synopsys.com 的电子邮件经过验证
被引用次数：286
SAT equivalence checking logic synthesis