Year | DOI | Venue |
---|---|---|
2001 | 10.1145/368122.368878 | ACM Great Lakes Symposium on VLSI |
Keywords | Field | DocType |
state space search,formal methods,functional verification,simulation,state space,formal method,coverage,industrial design | Functional verification,Computer science,Real-time computing,Theoretical computer science,State space search,Formal methods,Formal verification | Conference |
ISBN | Citations | PageRank |
1-58113-351-0 | 7 | 0.52 |
References | Authors | |
10 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Malay K. Ganai | 1 | 628 | 37.38 |
Adnan Aziz | 2 | 1778 | 149.76 |