asimut - 클라우드에서 온라인으로

프로그램:

이름

아시무트 - 하드웨어 설명을 위한 시뮬레이션 도구

개요

아시무트 [옵션] [루트 파일] [패턴_파일] [결과_파일]

기술

아시무트 하드웨어 설명을 위한 논리적 시뮬레이션 도구입니다. 그것은 컴파일하고로드
VHDL로 작성된 완전한 하드웨어 설명(초고속 집적 회로
하드웨어 설명 언어). 하드웨어 설명은 구조적일 수 있습니다(
사례) 또는 행동. VHDL의 하위 집합만 지원됩니다. 하지 않는 설명
이 하위 집합과 일치하면 컴파일 중에 구문 오류가 발생합니다. 보다 VHDL(5) 자세한
VHDL의 지원되는 하위 집합에 대한 정보.

하드웨어 설명이 로드되면 아시무트 시뮬레이션 패턴 설명을 찾습니다.
파일. 이 파일은 다음 위치에 기록됩니다. 꼭 체재. 파일이 컴파일, 로드 및 링크됨
하드웨어 설명과 함께. 그런 다음 시뮬레이션이 시작됩니다. 패턴이 있을 때
처리, 결과 파일 꼭 형식이 생성됩니다.

패턴 설명 파일에서 저장 작업이 요청된 경우(참조 꼭 (5)), 아시무트
마지막에 설명의 상태를 나타내는 저장 파일도 생성합니다.
마지막 패턴의 시뮬레이션. 세이브 파일의 이름은 루트_파일.sav, 여기서 루트_파일 is
설명의 이름입니다.

저장 파일은 이후의 시뮬레이션 시퀀스에서 상태를 초기화하는 데 사용할 수 있습니다.
(동일한) 시뮬레이션이 시작되기 전에 하드웨어 설명. 이 메커니즘을 사용하여 대규모
패턴의 시퀀스는 여러 개의 작은 시퀀스로 나눌 수 있으며, 각 시퀀스는 초기화됩니다.
저장 파일이 포함된 하드웨어 설명은 이전 시퀀스의 결과입니다.

아시무트 환경 변수에서 여러 매개변수를 읽습니다.

MBK_CATA_LIB 설명 및 패턴 파일을 포함하는 디렉토리 목록(사용
$PATH 구문). 기본 경로는 현재 디렉토리입니다(참조 MBK(삼)).

MBK_WORK_LIB 현재 작업 디렉토리를 지정합니다. 작업 디렉토리
모든 출력 파일이 기록되는 위치를 나타냅니다.

MBK_CATAL_NAME 행동 설명 파일이 나열된 파일을 나타냅니다.
이 파일은 구조 설명의 리프 셀에 사용됩니다.(참조
MBK(1))

MBK_IN_LO 구조 엔티티의 파일 확장자. (보다 MBK(1))

VH_BEHSFX 동작 엔티티에 대한 파일 확장자 목록($PATH 구문 사용).
기본 파일 확장자는 vbe.

VH_PATSFX 패턴 설명 엔터티의 파일 확장자 목록($PATH 사용)
통사론). 기본 파일 확장자는 꼭.

VH_DLYSFX 지연 설명 엔터티에 대한 파일 확장자 목록($PATH 사용)
통사론). 기본 파일 확장자는 얄리.

VH_MAXERR 시뮬레이션 단계에서 허용되는 최대 오류 수입니다. 만약
시뮬레이션 중 발생한 오류 수는 VH_MAXERR에 도달하고, 아시무트
현재 패턴 처리가 끝나면 시뮬레이션을 중지합니다.
현재 패턴을 따르는 패턴은 처리되지 않은 상태로 유지되며
결과 파일에 재현됩니다. 기본값 VH_MAXERR 10입니다.

루트_파일 설명의 이름입니다.

기본적으로 아시무트 구조적 설명을 찾습니다. 그것은 사용 MBK_IN_LO 환경
구조 설명 파일의 형식과 확장자를 모두 식별하는 변수입니다.
구조적 VHDL 파일을 로드하려면 MBK_IN_LO 설정해야합니다. VST.

순수한 행동 설명을 로드하려면 -b 옵션을 지정해야 합니다. 몇몇 경우 아시무트
데이터 흐름 VHDL 설명 파일을 로드합니다. 그만큼 VH_BEHSFX 환경 변수는
사용할 확장자.

패턴_파일 패턴 설명의 엔티티 이름입니다. 이 포함된 파일
엔터티의 이름을 지정해야 합니다. 패턴_파일.ext 어디로 내선 에 지정된 확장자 중 하나입니다.
VH_PATSFX.

결과_파일 에 의해 생성된 결과 파일입니다. 아시무트. 결과 파일은 패턴입니다.
확장자가 지정된 설명 파일 VH_PATSFX.

옵션

-b 고려하다 루트_파일 행동 설명으로서의 설명

-백딜레이 [분, 최대, 일반] 지연_파일
사용 파일 지연_파일.ext 지연 backannotation의 경우, 여기서 내선 중 하나입니다
에 지정된 확장자 VH_DLYSFX.

-bdd BDD(Binary Decision Diagram)를 사용하여 식을 나타냅니다. 사용
이 옵션을 사용하면 시뮬레이션이 XNUMX배 빨라지지만 증가합니다.
메모리 요구 사항

-c 컴파일 단계만 실행

코어 코어_파일 첫 번째 오류가 발생하면 둘 다에서 회로의 상태를 덤프합니다.
ascii 파일(접미사 .cor) 및 바이너리 저장 파일(접미사 .sav)
추가 세션에서 초기화 파일로 사용할 수 있습니다. 만약
-노어 옵션을 지정하면 패턴 파일도 생성됩니다.

-dbg[sbpldc] 디버거 호출(개발자 사용)

-기본 지연 (-dd) null 지연만(VHDL 파일의 after 절 없음) 다음과 같은 경우에 변경됩니다.
backannotated 지연 또는 고정 지연이 지정됩니다.

-고정 지연 가치 (-fd 값)
설명의 모든 지연은 다음으로 고정됩니다. 가치.

-h 이 도움말 파일 표시

-i 가치 다음을 사용하여 설명의 모든 신호를 초기화합니다. 가치. 가치관 0 일 수 있습니다.
또는 1

-i 파일을 저장 저장 파일을 읽고 설명 상태를 초기화하는 데 사용
첫 번째 패턴 처리 전 (파일 이름은 1도 0도 될 수 없음)

-검사 instance_name
인스턴스의 인터페이스에 해당하는 패턴 파일 생성
에 의해 식별 인스턴스 이름

-l n 기껏해야 인쇄 n 패턴 레이블의 문자. 기본값 n
15입니다.

-노어 결과 파일을 생성하지 않음

-p n 최대 부하 n 매번 입력 패턴 파일의 패턴. 이것을 사용하여
이 기능은 많은 수의 패턴이 있을 때 메모리 할당을 줄입니다.
시뮬레이션합니다. 또한 이후 n 패턴이 처리되었으며,
시뮬레이션 결과는 결과 패턴 파일에 인쇄됩니다. 그만큼
기본값 n 전체 패턴 파일이 로드되도록 하는 0입니다.

-t BDD(개발자 사용)를 만들 때 신호를 추적합니다.

-수송 전송 지연 모델을 사용합니다(기본값은 관성임).

-제로 지연 (-zd) VHDL 설명의 모든 지연은 null 지연으로 간주됩니다.

예

asimut -b -i init_add adder_32 adder_patterns res_add

패턴을 사용하여 'adder_32.vbe'라는 파일에 있는 동작 설명을 시뮬레이트합니다.
파일 `adder_patterns.pat'. 시뮬레이션 결과는 'res_add.pat'에 기록되고
description은 'init_add.sav'에 포함된 값으로 초기화됩니다.

진단

패턴 파일의 레지스터 초기화를 통해 레지스터 값을 다음으로 변경할 수 있습니다.
알려진 값. 그러나 이 기능을 사용하여 레지스터를 실행하기 전에 레지스터를 초기화합니다.
첫 번째 패턴은 권장되지 않습니다. 레지스터 값(초기화에 의해 정의됨)
설명이 첫 번째 전에 일관된 상태가 아니므로 덮어쓸 수 있습니다.
패턴입니다.

onworks.net 서비스를 사용하여 온라인으로 asimut 사용