Name
Year | Venue | Keywords |
|---|---|---|
1989 | IFIP Congress | vlsi design,formal verification |
Field | DocType | Citations |
Computer architecture,Functional verification,Programming language,Computer science,Formal methods,Very-large-scale integration,Formal verification | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 1 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| François Anceau | 1 | 8 | 2.69 |