Cited By
View all- Bartzas APeon-Quiros MPoucet CBaloukas CMamagkakis SCatthoor FSoudris DMendias J(2019)Software metadataJournal of Systems and Software10.1016/j.jss.2010.01.00183:6(1051-1075)Online publication date: 2-Jan-2019
Modern Systems-on-Chip (SoC) designs are increasingly heterogeneous and contain specialized semi-programmable accelerators in addition to programmable processors. In contrast to the pre-accelerator era, when the ISA played an important role in ...
In this paper, we integrate an assertion-based verification methodology with our object-oriented system-level synthesis methodology to address the problem of HW/SW co-verification. In this direction a system-level assertion language is defined. The ...
Field Programmable Gate Arrays (FPGAs) are spatial architectures with a heterogeneous reconfigurable fabric. They are state-of-the-art for prototyping, telecommunications, embedded, and an emerging alternative for cloud-scale acceleration. However, FPGA ...
IEEE Computer Society
United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in