all InfoSec news
Test Generation for SystemC designs by interlaced Greybox Fuzzing and Concolic Execution. (arXiv:2205.04047v2 [cs.SE] UPDATED)
May 11, 2022, 1:20 a.m. | Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay
cs.CR updates on arXiv.org arxiv.org
Recent success in high-level synthesis ( HLS ) has enabled designing complex
hardware with better abstraction and configurability in high-level languages
(e.g. SystemC/C++) compared to low-level register-transfer level ( RTL )
languages. Nevertheless, verification and testing HLS designs are challenging
and arduous due to their object oriented nature and inherent concurrency. Test
engineers aim to generate qualitative test-cases satisfying various code
coverage metrics to ensure minimal presence of bugs in a design. Recent works
have demonstrated the success of software …
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
Lead Security Specialist
@ Fujifilm | Holly Springs, NC, United States
Security Operations Centre Analyst
@ Deliveroo | Hyderabad, India (Main Office)
CISOC Analyst
@ KCB Group | Kenya
Lead Security Engineer – Red Team/Offensive Security
@ FICO | Work from Home, United States
Cloud Security SME
@ Maveris | Washington, District of Columbia, United States - Remote
SOC Analyst (m/w/d)
@ Bausparkasse Schwäbisch Hall | Schwäbisch Hall, DE