Alliance-genpat - 클라우드의 온라인

프로그램:

이름

젠팟, 절차적 패턴 파일 생성기

개요

젠팟 [-V] [-케이] [파일]

기술

겐팟 입력 패턴 파일의 절차적 설명을 허용하는 C 함수 집합입니다.
논리 시뮬레이터의 경우 아시무트. 유닉스 젠팟 명령은 C 파일을 입력으로 받아들이고
패턴 설명 파일을 출력으로 생성합니다. 확장자 ".c"는 제공되지 않습니다. 그만큼
에 의해 생성된 파일 젠팟 pat 형식이므로 꼭 확인하시기 바랍니다. 꼭(5)
이 매뉴얼 이전에.

옵션

-v 상세 모드

-k 완료 후 컴파일 Makefile과 함께 실행 파일을 유지합니다.

젠팟 FILE FORMAT

사용자 입장에서, 젠팟 모든 표준 C를 사용하는 패턴 설명 언어입니다.
시설(포함, 정의, 변수, 루프, ...). 제공되는 기능 젠팟 에 있습니다
주어진 순서대로 사용됩니다. 다른 순서로 사용해도 시스템이 충돌하지는 않지만
실행 오류가 발생합니다. 다음은 입력 파일에 대한 설명입니다.

A 꼭 형식 파일은 선언 부분과 설명 부분의 두 부분으로 나눌 수 있습니다.

선언 부분은 입력, 출력, 내부 신호 및 레지스터 목록입니다.
입력은 특정 값으로 강제 실행되어야 하며 다른 모든 값은 실행 중에 관찰되어야 합니다.
시뮬레이션.

설명 부분은 각 패턴이 입력 값을 정의하는 일련의 패턴입니다.
그리고 출력. 패턴 번호는 실제로 시뮬레이터의 절대 시간을 나타냅니다.

유사하게, a 젠팟 파일은 선언부와 설명부 두 부분으로 나눌 수 있습니다.
선언과 관련된 함수는 선언과 관련된 함수보다 먼저 호출되어야 합니다.
설명 부분.

선언 부품
이 부분에서 가장 먼저 해야 할 일은 출력 파일의 이름을 지정하는 것입니다.
(참조 DEF_GENPAT(삼)). 그런 다음 이 부분에서는 입력을 선언할 수 있습니다.
출력 및 내부 관찰 지점(참조 선언하다(삼)). 또한 가능합니다
가상 스토리지 생성(참조 정렬(삼)).

설명 부품
모든 신호가 선언된 후 다음과 같은 입력 값 정의를 시작할 수 있습니다.
회로의 입력 또는 출력 값에 적용됩니다.
시뮬레이션 중에 생성된 값과 비교합니다. (보다 영향을 미치다(삼)). 겐팟
이벤트별로 자극을 설명합니다. 신호 전환만 설명합니다. 이것
부품을 사용하면 시뮬레이션 도구에 지침을 제공하여
시뮬레이션 종료 시 회로의 상태. (보다 구하다(삼)). 마지막으로 당신
이 부분에서 해야 할 일은 출력 파일을 생성하는 것입니다(참조: SAV_GENPAT(삼)).

기능

DEF_GENPAT() 출력 파일의 이름을 정의합니다.

SAV_GENPAT() 출력 파일을 생성하도록 하세요

선언() 입력, 출력 및 내부 관찰 지점을 선언합니다.

정렬() 동일한 유형의 신호를 "가상 배열"로 그룹화할 수 있습니다.
조작을 쉽게 하기 위해

초기화() 두 패턴 사이의 레지스터 값을 변경합니다.

영향을 미치다() 주어진 패턴 번호에서 신호에 값을 할당합니다. 이 값은 유지됩니다
새 값이 신호에 할당될 때까지 신호에.

구하다() 마지막에 회로의 상태를 저장하도록 시뮬레이션 도구에 알립니다.
시뮬레이션

상표() 현재 패턴에 레이블을 부여합니다.

GETCPAT() 현재 패턴의 번호를 반환

사용 예

#포함하다
#include "genpat.h"

char *inttostr(엔티어)
엔터티;
{
문자 *str;
str = (char *) mbkalloc (32 * sizeof (char));
sprintf(str, "%d",enter);
반환(str);
}
/*----------------*/
/* 설명 끝 */
/*----------------*/

메인 ()
{
int i;
정수 j;
정수 cur_vect = 0;

DEF_GENPAT("예제");

/* 상호 작용 */
DECLAR ("a", ":2", "X", IN, "3 downto 0", "" );
DECLAR ("b", ":2", "X", IN, "3 downto 0", "" );
DECLAR ("s", ":2", "X", OUT, "3부터 0까지", "" );
DECLAR ("vdd", ":2", "B", IN, "", "" );
선언("vss", ":2", "B", IN, "", "" );

LABEL("가산기");
AFFECT ("0", "vdd", "0b1");
영향("0", "vss", "0b0");

for (i=0; i<16; i++)
{
for (j=0; j<16; j++)
{
AFFECT (inttostr(cur_vect), "a", inttostr(i) );
AFFECT (inttostr(cur_vect), "b", inttostr(j) );
cur_vect++;
}
}

SAV_GENPAT();
}

환경 변수

겐팟 환경 변수 VH_PATSFX를 읽어 결과 파일에 확장자를 부여합니다.

onworks.net 서비스를 사용하여 온라인 Alliance-genpat 사용