Material Type  

 학위논문

 

0016053142

Date and Time of Latest Transaction  

20220210093616

ISBN  

9798471106567

DDC  

621.3

Author  

Zhang, Hongce.

Title/Author  

The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification.

Publish Info  

[S.l.] : Princeton University., 2021

Publish Info  

Ann Arbor : ProQuest Dissertations & Theses, 2021

Material Info  

193 p.

General Note  

Source: Dissertations Abstracts International, Volume: 83-04, Section: B.

General Note  

Advisor: Malik, Sharad.

학위논문주기  

Thesis (Ph.D.)--Princeton University, 2021.

Restrictions on Access Note  

This item must not be sold to any third party vendors.

Subject Added Entry-Topical Term  

Electrical engineering.

Subject Added Entry-Topical Term  

Computer engineering.

Index Term-Uncontrolled  

Domain-specific hardware accelerator

Index Term-Uncontrolled  

Formal verification

Index Term-Uncontrolled  

Hardware-software interface

Index Term-Uncontrolled  

Instruction-level abstraction

Index Term-Uncontrolled  

Systems-on-chip

Added Entry-Corporate Name  

Princeton University Electrical Engineering

Host Item Entry  

Dissertations Abstracts International. 83-04B.

Host Item Entry  

Dissertation Abstract International

Electronic Location and Access  

로그인을 한후 보실 수 있는 자료입니다.

소장사항  

202202 2022

Control Number  

joongbu:609840