Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Michael J. Broxton
Hao Mao
Peter Malec
C. Lakshmi
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Nikolaos Dourvas
Home
/
Author
/
BAO LE
Author Info
Open Visualization
Name
Affiliation
Papers
BAO LE
University of Toronto, Toronto, Canada
10
Collaborators
Citations
PageRank
16
24
4.14
Referers
Referees
References
54
172
97
Search Limit
100
172
Publications (10 rows)
Collaborators (16 rows)
Referers (54 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Constructing stability-based clock gating with hierarchical clustering
1
0.35
2015
Debugging RTL Using Structural Dominance
6
0.54
2014
Multiple clock domain synchronization in a QBF-based verification environment
0
0.34
2014
Automated debugging of missing assumptions
3
0.42
2014
Simulation and satisfiability guided counter-example triage for RTL design debugging
4
0.54
2014
Accelerating post silicon debug of deep electrical faults
0
0.34
2013
Reviving erroneous stability-based clock-gating using partial Max-SAT
1
0.36
2013
Non-solution implications using reverse domination in a modern SAT-based debugging environment
4
0.44
2012
Leveraging reconfigurability to raise productivity in FPGA functional debug
2
0.40
2012
Leveraging dominators for preprocessing QBF
3
0.43
2010
1