EnglezăFrancezăSpaniolă

Ad


Favicon OnWorks

alliance-genpat - Online în cloud

Rulați alliance-genpat în furnizorul de găzduire gratuit OnWorks prin Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS

Aceasta este comanda alliance-genpat care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS

PROGRAM:

NUME


genpat, Un generator de fișiere de model procedural

REZUMAT


genpat [-v] [-k] [fişier]

DESCRIERE


Genpat este un set de funcții C care permite o descriere procedurală a fișierului model de intrare
pentru simulatorul logic ASIMUT. Unix-ul genpat comanda acceptă un fișier C ca intrare și
produce un fișier de descriere a modelului ca rezultat. Extensia „.c” nu trebuie dată. The
fișier generat de genpat este în format pat, așa că ESTE RECOMANDAT CU FOND SĂ VEDEȚI bătaie(5)
ÎNAINTE DE ACEST MANUAL.

OPŢIUNI


-v modul verbos

-k păstrează executabilul împreună cu compilația Makefile după finalizare

GENPAT FILE FORMAT


Din punct de vedere al utilizatorului, genpat este un limbaj de descriere a modelelor care utilizează toate standardele C
facilitati (include, definesc, variabile, bucla, ...). Funcții oferite de genpat sunt
să fie folosit într-o ordine dată. Folosirea lor într-o ordine diferită nu va bloca sistemul, dar o va face
duce la erori de execuție. Aici urmează descrierea fișierului de intrare.

A bătaie fișierul format poate fi împărțit în două părți: declarație și descriere.

Partea de declarație este lista de intrări, ieșiri, semnale interne și registre.
Intrările trebuie forțate la o anumită valoare și toate celelalte trebuie respectate în timpul
simulare.

Partea de descriere este un set de modele, în care fiecare model definește valoarea intrărilor
și ieșiri. Numărul modelului reprezintă de fapt timpul absolut pentru simulator.

În mod similar, a genpat dosarul poate fi împărțit în două părți: declarație și descriere.
Funcțiile legate de declarație trebuie apelate înaintea oricărei funcții legate de
partea de descriere.

declaraţie parte
Primul lucru pe care ar trebui să-l faceți în această parte este să dați numele fișierului de ieșire
(A se vedea DEF_GENPAT(3)). Apoi, această parte vă permite să declarați intrările,
ieșiri și puncte interne de observare (vezi DECLARĂ(3)). De asemenea, este posibil să
creați matrice virtuale (vezi TABEL(3)).

descriere parte
După ce toate semnalele sunt declarate, puteți începe să definiți valorile de intrare care sunt
de aplicat la intrările circuitului sau valorile de ieşire care urmează să fie
compara cu valorile produse în timpul simulării. (vedea A AFECTA(3)). Genpat
descrie stimulul după eveniment: sunt descrise doar tranzițiile de semnal. Acest
partea vă permite, de asemenea, să oferiți instrucțiuni instrumentului de simulare pentru a salva
starea circuitului la sfârșitul simulării. (vedea SALVAȚI(3)). Ultimul lucru tu
ar trebui să faceți în această parte este să generați fișierul de ieșire (vezi SAV_GENPAT(3)).

FUNCȚII


DEF_GENPAT() definește numele fișierului de ieșire.

SAV_GENPAT() face ca fișierul de ieșire să fie generat

DECLARE() declară intrările, ieșirile și punctele interne de observare.

ARRAY() permite gruparea semnalelor de același tip într-o „matrice virtuală” în
pentru a le ușura manipularea

INIT() modifică valorile registrelor între două modele.

A AFECTA() atribuie o valoare unui semnal, la un număr de model dat. Această valoare este păstrată
pe semnal până când semnalului i se atribuie o nouă valoare.

SALVAȚI() informează instrumentul de simulare pentru a salva starea circuitului la sfârșitul
simulare

ETICHETA() dă o etichetă modelului curent

GETCPAT() returnează numărul modelului curent

EXEMPLE


#include
#include „genpat.h”

char *inttostr(entier)
int întreg;
{
char *str;
str = (char *) mbkalloc (32 * sizeof (char));
sprintf (str, "%d", entier);
return(str);
}
/*-------------------------------*/
/* sfarsitul descrierii */
/*-------------------------------*/

principal ()
{
int i;
int j;
int cur_vect = 0;

DEF_GENPAT("exemplu");

/* interfata */
DECLAR ("a", ":2", "X", IN, "3 jos la 0", "" );
DECLAR ("b", ":2", "X", IN, "3 jos la 0", "" );
DECLAR ("s", ":2", "X", OUT, "3 jos la 0", "" );
DECLAR ("vdd", ":2", "B", IN, "", "" );
DECLAR ("vss", ":2", "B", IN, "", "" );

LABEL („sumator”);
AFECT ("0", "vdd", "0b1");
AFECT ("0", "vss", "0b0");

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

SAV_GENPAT ();
}

MEDIUL VARIABILE


Genpat citește variabila de mediu VH_PATSFX pentru a da fișierului rezultat o extensie.

Utilizați alliance-genpat online folosind serviciile onworks.net


Servere și stații de lucru gratuite

Descărcați aplicații Windows și Linux

  • 1
    NSIS: Nullsoft Scriptable Install System
    NSIS: Nullsoft Scriptable Install System
    NSIS (Nullsoft Scriptable Install
    System) este o sursă deschisă profesională
    sistem pentru a crea programe de instalare Windows. Aceasta
    este conceput pentru a fi cât mai mic și flexibil
    cat posibil...
    Descărcați NSIS: Nullsoft Scriptable Install System
  • 2
    authpass
    authpass
    AuthPass este o parolă open source
    manager cu sprijin pentru popular şi
    Keepass dovedit (kdbx 3.x ȘI kdbx 4.x...
    Descărcați authpass
  • 3
    Zabbix
    Zabbix
    Zabbix este o companie deschisă de clasă enterprise
    soluție de monitorizare distribuită la sursă
    conceput pentru a monitoriza și urmări
    performanța și disponibilitatea rețelei
    servere, dispozitive...
    Descărcați Zabbix
  • 4
    KDiff3
    KDiff3
    Acest depozit nu mai este întreținut
    și se păstrează în scop de arhivă. Vedea
    https://invent.kde.org/sdk/kdiff3 for
    cel mai nou cod și
    https://download.kde.o...
    Descărcați KDiff3
  • 5
    USBLoaderGX
    USBLoaderGX
    USBLoaderGX este o interfață grafică pentru
    Încărcătorul USB al lui Waninkoko, bazat pe
    libwiigui. Permite listarea și
    lansarea de jocuri Wii, jocuri Gamecube și
    homebrew pe Wii și WiiU...
    Descărcați USBLoaderGX
  • 6
    Firebird
    Firebird
    Firebird RDBMS oferă caracteristici ANSI SQL
    și rulează pe Linux, Windows și
    mai multe platforme Unix. Caracteristici
    concurență și performanță excelente
    & putere...
    Descărcați Firebird
  • Mai mult »

Comenzi Linux

Ad