시스템 레벨 설계에서의 검증 기술을 망라한 전문서입니다. C/C++ 베이스의 설계 언어를 이용한 검증 기법과 고위 설계 기술에 대한 형식 검증 기법이 해설되어 있어, 하드웨어 설계 전문가에게 귀중한 지식을 제공하는 한 권입니다.
- 타이틀: VERIFICATION TECHNIQUES FOR SYSTEM-LEVEL DESIGN
- 저자: MASAHIRO FUJITA, INDRADEEP GHOSH, MUKUL PRASAD
- 출판사: MORGAN KAUFMANN
- 언어: 영어
- 장르: COMPUTER SYSTEMS DESIGN / COMPUTER HARDWARE
방문해 주셔서 감사합니다.
결제 전 확인해 주세요
•본 상품은 메루카리 개인 판매자 상품으로, 번개장터의 파트너사가 상품 구매와 배송을 대행해요.
•파트너사가 상품 구매 절차를 진행한 이후에는 취소/환불이 제한될 수 있어요. (단, 판매자가 동의하면 취소/환불 가능해요.)