Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Chia-hsien Liu
Hajime Nishikawa
Claudia Calabrese
Hao Mao
Peter Malec
David R. Thiede
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
YANG GUO
Author Info
Open Visualization
Name
Affiliation
Papers
YANG GUO
National University of Defense Technology, China
11
Collaborators
Citations
PageRank
16
16
4.18
Referers
Referees
References
34
237
101
Search Limit
100
237
Publications (11 rows)
Collaborators (16 rows)
Referers (34 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems.
1
0.36
2017
Translation validation of scheduling in high level synthesis
6
0.47
2013
Experiences Teaching Functional Verification Techniques with Practical Designs
0
0.34
2007
Automatic functional test program generation for microprocessor verification
1
0.38
2005
MA2TG: a functional test program generator for microprocessor verification
1
0.38
2005
Predicate abstraction of RTL verilog descriptions using constraint logic programming
1
0.36
2005
Functional Vectors Generation for RT-Level Verilog Descriptions Based on Path Enumeration and Constraint Logic Programming
4
0.43
2005
Applying constraint logic programming to predicate abstraction of RTL verilog descriptions
0
0.34
2005
CLP Based Static Property Checking
0
0.34
2004
Assertion-based automated functional vectors generation using constraint logic programming
1
0.35
2004
Parallel verilog simulation: architecture and circuit partition
1
0.42
2004
1