Author Info
Name
Affiliation
Papers
JAMES D. POLLARD
Imperial College London, UK
1
Collaborators
Citations 
PageRank 
3
1
0.36
Referers 
Referees 
References 
3
0
0
Title
Citations
PageRank
Year
Formal verification of high-level synthesis10.362021