G. Vrckovnik is an author at Nortel (Canada) specializing in engineering, computer engineering, and formal methods.
Top concepts
EngineeringRadarVerificationFormal MethodsSystem SoftwareComputer ScienceSoftware TestingCivil EngineeringSignal ProcessingFormal Verification
Publications per year
1990–1998
2
2
Functional verification of large ASICs
Adrian Evans, A.L. Silburt, G. Vrckovnik et al. · 1998 · 46 citations · Full text
Hardware Modeling, Engineering, Hardware Verification Language +18
Rows per page
1–2 of 2