Year | DOI | Venue |
---|---|---|
2011 | 10.1109/FPT.2011.6132692 | FPT |
Keywords | Field | DocType |
frequency modulation,formal verification,pipelines,formal specification,theorem prover,theorem proving,hardware,registers,field programmable gate arrays | Computer science,Correctness,Automated theorem proving,Parallel computing,Field-programmable gate array,Formal specification,Machine code,ACL2,Energy consumption,Formal verification | Conference |
Citations | PageRank | References |
2 | 0.38 | 10 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kong Woei Susanto | 1 | 81 | 5.22 |
Wayne Luk | 2 | 3752 | 438.09 |