Skip navigation

Browsing by Subject domain-specific hardware accelerator

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2021The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular VerificationZhang, Hongce