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 환경 변수는 다음을 제공합니다.
사용할 확장자.

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

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

옵션

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

-백딜레이 [분, 최대, [일반] 지연_파일
사용 파일 지연_파일.확장 지연에 대한 백애노테이션의 경우 내선 중 하나입니다
지정된 확장자 VH_DLYSFX.

-bdd 표현식을 표현하기 위해 BDD(Binary Decision Diagram)를 사용합니다.
이 옵션을 사용하면 시뮬레이션 속도가 두 배 빨라지지만
메모리 요구 사항

-c 컴파일 단계만 실행

코어 코어_파일 첫 번째 오류가 발생하면 두 회로의 상태를 모두 덤프합니다.
ASCII 파일(접미사 .cor)과 바이너리 저장 파일(접미사 .sav)
이는 추후 세션에서 초기화 파일로 사용될 수 있습니다.
-노레스 옵션이 지정되면 패턴 파일도 생성됩니다.

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

-기본 지연 (-일) VHDL 파일에 after 절이 없는 null 지연만 변경됩니다.
백애노테이션 지연 또는 고정 지연이 지정됩니다.

-고정 지연 가치 (-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'에 기록되고
설명은 'init_add.sav'에 포함된 값으로 초기화됩니다.

진단

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

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