Early HW/SW Co-Verification Using Virtual Platforms.

Jungyun Choi Kyungsu Kang Byunghoon Lee Sangho Park Jae-Woo Im

Published in: ISOCC (2021)

Keyphrases

hw sw
hardware software
design methodology
embedded systems
hardware software partitioning
model checking
real time
hardware and software
field programmable gate array
open source
signal processing
resource management
parallel execution