기업조회

본문 바로가기 주메뉴 바로가기

장비 및 시설 기본정보

논리설계 검증 소프트웨어

장비 개요

기관명, 장비번호, 제작사, 모델명, 장비사양, 취득일자, 취득금액 순으로 구성된 표입니다.
기관명 ZEUS
장비번호
제작사 Spring Soft
모델명 Verdi
장비사양
취득일자 2011-12-15
취득금액

보유기관 및 이용정보

보유기관명, 보유기관코드, 활용범위, 활용상태, 표준코드, 표준분류명, 시설장비 설명, 장비이미지코드, 장비위치주소, NFEC 등록번호, 예약방법, 카타로그 URL, 메뉴얼 URL, 원문 URL, 첨부파일 순으로 구성된 표입니다.
보유기관명 부산테크노파크 스마트전자부품기술지원센�
보유기관코드
활용범위
활용상태
표준코드 E202
표준분류명
시설장비 설명 - 시스템반도체(ASIC/SoC)분야에서 HDL을 이용하여 설계괸 RTL 코드를 Gate-Level로 합성하기 전
코드의 에러를 미리 검출하고 디버깅을 할 수 있는 개발 환경을 제공
- 시스템 : Workstation Linux Server
- OS : Linux Unix(Solaris)
- 구성 : Verdi_nAnalyzer SW- SW Tool로 Linux 또는 Solaris에서 적용하여 구동되는 툴입니다.
- Gate Level과 Layout Level에서 검증하며 상위레벨인 시스템레벨에서 Chip의 설계데이터를
검증하여 전체 설계기간을 단축시켜준다.
- 전력소요의 예측과 클럭트리의 구성을 상위레벨에서 미리 분석해 줌으로써 하위레벨에서
반복수행에 대한 부분을 경감시켜준다.
장비이미지코드 http://nfec.ntis.go.kr/storage/images/equip/photo/201205/.thumb/20120529081911.JPG
장비위치주소 부산 강서구 지사동 1277 스마트전자부품기술지원센터 SoC설계지원실(201호)
NFEC 등록번호 NFEC-2012-05-163483
예약방법
카타로그 URL
메뉴얼 URL
원문 URL http://www.zeus.go.kr/equip/read?equipId=Z-NTIS-0033100
첨부파일

추가정보

과학기술표준분류, ICT 기술분류, 주제어 순으로 구성된 표입니다.
과학기술표준분류
ICT 기술분류
주제어 (키워드)