본문

서브메뉴

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
신착도서 더보기
최근 3년간 통계입니다.

소장정보

  • 예약
  • 캠퍼스간 도서대출
  • 서가에 없는 책 신고
  • 나의폴더
소장자료
등록번호 청구기호 소장처 대출가능여부 대출정보
TQ0015907 T   원문자료 열람가능/출력가능 열람가능/출력가능
마이폴더 부재도서신고

* 대출중인 자료에 한하여 예약이 가능합니다. 예약을 원하시면 예약버튼을 클릭하십시오.

해당 도서를 다른 이용자가 함께 대출한 도서

관련도서

관련 인기도서

도서위치