Karina R. G. da Silva

Publications

Citations

H-Index

2004

Active since

Affiliations

Universidade Federal de Campina Grande(Current)

Karina R. G. da Silva is an author at Universidade Federal de Campina Grande specializing in formal verification, computer engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignSoftware TestingSoftware AnalysisFormal VerificationComputer EngineeringSoftware EngineeringSoftware Verification

Publications per year

2004–2005

Publications

An automatic testbench generation tool for a SystemC functional verification methodology

Karina R. G. da Silva, Elmar U. K. Melcher, Guido Araújo et al. · 2004 · 33 citations

Engineering, Hardware Verification Language, Soc Design Methodologies +23

A methodology aimed at better integration of functional verification and RTL design

Karina R. G. da Silva, Elmar U. K. Melcher, Isaac Maia et al. · Design Automation for Embedded Systems · 2005 · 12 citations

Design Verification, Rtl Design, Better Integration +15

Rows per page

1–2 of 2