서브메뉴
검색
The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification.
The Hardware-Software Interface for Systems-on-Chip: Formal Modeling and Modular Verification.
- 자료유형
- 학위논문
- Control Number
- 0016053142
- International Standard Book Number
- 9798471106567
- Dewey Decimal Classification Number
- 621.3
- Main Entry-Personal Name
- Zhang, Hongce.
- Publication, Distribution, etc. (Imprint
- [S.l.] : Princeton University., 2021
- Publication, Distribution, etc. (Imprint
- Ann Arbor : ProQuest Dissertations & Theses, 2021
- Physical Description
- 193 p.
- General Note
- Source: Dissertations Abstracts International, Volume: 83-04, Section: B.
- General Note
- Advisor: Malik, Sharad.
- Dissertation Note
- 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
- 로그인을 한후 보실 수 있는 자료입니다.
- Control Number
- joongbu:609840