Statistics
Publications
1
Citations
13
H-Index
1
Active since
2003
Affiliations
Stanford University(Current)
D.C. Luckham is an author at Stanford University specializing in hardware model checking, formal hardware verification, and computer science.
Publications per year
2003–2003
1
1
Verification of VHDL designs using VAL
L.M. Augustin, B.A. Gennart, Yoon Huh et al. · 2003 · 13 citations
1–1 of 1