Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Gunamani Jena
Donna Dodson
Bhupendra Singh
Paulo Ricardo Possa
K. Robert Lai
Äli Leijen
Yu-Wei Chang
Priyan Malarvizhi Kumar
Bolei Wang
Sebastian Magda
Home
/
Author
/
KARINA R. G. DA SILVA
Author Info
Open Visualization
Name
Affiliation
Papers
KARINA R. G. DA SILVA
Federal University of Goiás, Goiânia - GO, Brazil
7
Collaborators
Citations
PageRank
16
18
3.19
Referers
Referees
References
39
91
44
Publications (7 rows)
Collaborators (16 rows)
Referers (39 rows)
Referees (91 rows)
Title
Citations
PageRank
Year
Enhancing IP cores specifications using hierarchical composition and set theory
0
0.34
2011
Improving functional verification of embedded systems using hierarchical composition and set theory
0
0.34
2009
A Random Constrained Movie Versus a Random Unconstrained Movie Applied to the Functional Verification of an MPEG-4 Decoder Design
0
0.34
2008
Functional verification of an MPEG-4 decoder design using a random constrained movie generator
0
0.34
2007
A SystemC-only design methodology and the CINE-IP multimedia platform
3
0.38
2005
A methodology aimed at better integration of functional verification and RTL design.
4
0.47
2005
An automatic testbench generation tool for a SystemC functional verification methodology
11
0.99
2004
1