aliansi-genpat - Online di Cloud

PROGRAM:

NAMA

genpat, Pembuat file pola prosedural

RINGKASAN

genpat [-v] [-k] [mengajukan]

DESKRIPSI

genpat adalah satu set fonctions C yang memungkinkan deskripsi prosedural dari file pola input
untuk simulator logika asimut. Unix genpat perintah menerima file C sebagai input dan
menghasilkan file deskripsi pola sebagai output. Ekstensi ".c" tidak boleh diberikan. NS
file yang dihasilkan oleh genpat dalam format pat, jadi SANGAT DIREKOMENDASIKAN UNTUK DILIHAT tepuk(5)
SEBELUM MANUAL INI.

PILIHAN

-v mode verbose

-k membuat executable bersama dengan kompilasi Makefile setelah selesai

GENPAT FILE FORMAT

Dari sudut pandang pengguna, genpat adalah bahasa deskripsi pola menggunakan semua standar C
fasilitas (termasuk, mendefinisikan, variabel, loop, ...). Fonctions disediakan oleh genpat harus
digunakan dalam urutan tertentu. Menggunakannya dalam urutan yang berbeda tidak akan merusak sistem, tetapi akan
mengakibatkan kesalahan eksekusi. Berikut ini adalah deskripsi dari file input.

A tepuk format file dapat dibagi menjadi dua bagian: bagian deklarasi dan bagian deskripsi.

Bagian deklarasi adalah daftar input, output, sinyal internal dan register.
Input harus dipaksakan ke nilai tertentu dan yang lainnya harus diamati selama
simulasi.

Bagian deskripsi adalah seperangkat pola, di mana setiap pola mendefinisikan nilai input
dan keluaran. Nomor pola sebenarnya mewakili waktu absolut untuk simulator.

Demikian pula, a genpat File dapat dibagi menjadi dua bagian: bagian deklarasi dan bagian deskripsi.
Fungsi yang terkait dengan deklarasi harus dipanggil sebelum fungsi apa pun yang terkait dengan
bagian deskripsi.

pernyataan bagian
Hal pertama yang harus Anda lakukan di bagian ini adalah memberikan nama file output
(Lihat DEF_GENPAT(3)). Kemudian, bagian ini memungkinkan Anda untuk mendeklarasikan input,
output, dan titik pengamatan internal (lihat MENYATAKAN(3)). Bisa juga
buat array virtual (lihat HIMPUNAN(3)).

deskripsi bagian
Setelah semua sinyal dideklarasikan, Anda dapat mulai menentukan nilai input yang:
diterapkan pada input dari rangkaian atau nilai output yang akan
membandingkan dengan nilai yang dihasilkan selama simulasi. (Lihat MEMENGARUHI(3)). genpat
menggambarkan stimulus berdasarkan peristiwa: hanya transisi sinyal yang dijelaskan. Ini
bagian juga memungkinkan Anda untuk memberikan instruksi ke alat simulasi untuk menyimpan
keadaan sirkuit pada akhir simulasi. (Lihat MENYIMPAN(3)). Hal terakhir yang kamu
harus dilakukan di bagian ini adalah untuk menghasilkan file output (lihat SAV_GENPAT(3)).

FUNGSI

DEF_GENPAT() mendefinisikan nama file output.

SAV_GENPAT() buat file output dihasilkan

MENYATAKAN() menyatakan input, output, dan titik pengamatan internal.

HIMPUNAN() memungkinkan sinyal dari jenis yang sama untuk dikelompokkan dalam "array virtual" di
untuk memudahkan manipulasi mereka

INI () mengubah nilai register antara dua pola.

MEMENGARUHI() memberikan nilai pada sinyal, pada nomor pola yang diberikan. Nilai ini disimpan
pada sinyal sampai nilai baru diberikan ke sinyal.

MENYIMPAN() menginformasikan alat simulasi untuk menyimpan keadaan sirkuit di akhir
simulasi

LABEL() memberi label pada pola saat ini

DAPATKANPAT() kembalikan nomor pola saat ini

CONTOH

#termasuk
#sertakan "genpat.h"

char *inttostr(entier)
int entri;
{
karakter *str;
str = (char *) mbkalloc (32 * sizeof (char));
sprintf(str, "%d",entier);
kembali(str);
}
/*---------------------------------*/
/* akhir deskripsi */
/*---------------------------------*/

utama ()
{
di aku;
ke dalam j;
int kurva_vektor = 0;

DEF_GENPAT("contoh");

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

LABEL("penambah");
MEMPENGARUHI ("0", "vdd", "0b1");
MEMPENGARUHI ("0", "vss", "0b0");

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

SAV_GENPAT();
}

LINGKUNGAN VARIABEL

genpat membaca variabel lingkungan VH_PATSFX untuk memberikan ekstensi file hasil.

Gunakan aliansi-genpat online menggunakan layanan onworks.net