Pour Asimut:
- Corrections de divers Bugs au niveau de la gestion des 'u'
(evaluation des gex foireuse).
- Ajout de Warning lors des conflits d'ecriture
- Gestion de l'Affichage depend du format de patterns reconnu.
- Verif de l'absence de delais sur les registres
Warning plus mise a 0 des delais + ajout de l'option -bufreg
- options plus courtes : exemple -zd au lieu de -zerodelay
- Modifs des fonctions de resolution Mux et Wor qui maintenant
donnent un 'u' quand il n'y a pas de driver actif.
Pour les patterns :
- Corrections de divers Bugs au niveau de la compil. des patterns.
- Gestion du temps plus restricve : 2 formats autorises :
- L'ancien format, aucune date ne doit apparaitre
- Le nouveau format, toutes les dates doivent apparaitre
et doivent etre strictement croissantes.
ATTENTION : si le 1er pattern n'a pas de date specifiee,
le compilateur deduit que c'est un ancien format de pat.
- Ajout du mode PAT_TIME__VU pour PAT_TIMEUNIT afin de distinguer
les anciens fichiers de facon propre
- Ajout du mode PAT_TIME__VU pour PAT_TIMEUNIT afin de distinguer
les anciens fichiers de facon propre.
- modifs du driver pour driver ancien/nouveau format en fonction
de PAT_TIMEUNIT. Les patterns au temps 0 ne sont plus drives
sans champs date.
Pour genpat :
- ajout de la fonction SETTUNIT qui permet d'indiquer l'unite de temps
- ajout d'un champs dans DECLAR et ARRAY pour permettre des SPY.
Les Mans :
- Mise a jour de toutes ces petites choses.
This commit is contained in:
The Simcity Tool
parent
d8597b8d39
commit
d532b81835
|
|
@ -1,4 +1,4 @@
|
|||
.\" $Id: genpat.1,v 1.2 1999/09/24 14:12:13 simcity Exp $
|
||||
.\" $Id: genpat.1,v 1.3 1999/10/25 08:03:08 simcity Exp $
|
||||
.\" @(#)genpat 2.0 Sep 07 1993 UPMC; Author: PITON D.
|
||||
.TH GENPAT 1 "October 1, 1997" "ASIM/LIP6" "ALLIANCE USER COMMANDS"
|
||||
|
||||
|
|
@ -62,9 +62,10 @@ any function related to the description part.
|
|||
.TP 10
|
||||
\fIdeclaration part\fP
|
||||
The first thing you should do in this part is to give the output file's name
|
||||
(see DEF_GENPAT(3)). Then, this part allows you to declare the inputs, the
|
||||
outputs, and internal observing points (see DECLAR(3)). It is also possible
|
||||
to create virtual arraies (see ARRAY(3)).
|
||||
(see DEF_GENPAT(3)). You can also set the time unit (see SETTUNIT(3)).
|
||||
Then, this part allows you to declare the inputs, the outputs, and internal
|
||||
observing points (see DECLAR(3)). It is also possible to create virtual
|
||||
arraies (see ARRAY(3)).
|
||||
.TP 10
|
||||
\fIdescription part\fP
|
||||
After all signals are declared, you can begin to define input values which
|
||||
|
|
@ -72,7 +73,8 @@ are to be applied to the inputs of the circuit at given simulation time.
|
|||
You can also define output values which are to be compare with the values
|
||||
produced during the simulation. (see AFFECT(3)).
|
||||
Genpat describes the stimulus by event : only signal transitions are described.
|
||||
Genpat manage the simulation time in ps.
|
||||
Genpat manage the simulation time according to the time unit specified using
|
||||
SETTUNIT in the declaration part.
|
||||
This part also allows you to give instructions to the simulation tool to save
|
||||
the state of the circuit at the end of the simulation. (see SAVE(3)). Last
|
||||
thing you should do in this part is to generate the output file (see
|
||||
|
|
@ -83,6 +85,9 @@ SAV_GENPAT(3)).
|
|||
.TP 15
|
||||
\fIDEF_GENPAT()\fP
|
||||
defines the output file's name.
|
||||
.TP 15
|
||||
\fISETTUNIT()\fP
|
||||
defines the time unit (default is ps : pico-seconde).
|
||||
.TP 15
|
||||
\fISAV_GENPAT()\fP
|
||||
make the output file be generated
|
||||
|
|
@ -134,13 +139,15 @@ int entier;
|
|||
int vect_date; /* this date is an absolute date, in ps */
|
||||
|
||||
DEF_GENPAT("vecteurs");
|
||||
|
||||
SETTUNIT ("ns");
|
||||
|
||||
/* interface */
|
||||
DECLAR ("a", ":2", "X", IN, "0 to 3");
|
||||
DECLAR ("b", ":2", "X", IN, "0 to 3");
|
||||
DECLAR ("sel", ":2", "B", IN, "");
|
||||
DECLAR ("ck", ":2", "B", IN, "");
|
||||
DECLAR ("s", ":2", "X", OUT, "0 to 3");
|
||||
DECLAR ("a", ":2", "X", IN, "0 to 3", "");
|
||||
DECLAR ("b", ":2", "X", IN, "0 to 3", "");
|
||||
DECLAR ("sel", ":2", "B", IN, "", "");
|
||||
DECLAR ("ck", ":2", "B", IN, "", "");
|
||||
DECLAR ("s", ":2", "X", OUT, "0 to 3", "S");
|
||||
|
||||
LABEL ("additionneur");
|
||||
AFFECT ("0", "ck", "0b0");
|
||||
|
|
@ -172,7 +179,7 @@ file an extension.
|
|||
.SH SEE ALSO
|
||||
.PP
|
||||
AFFECT(3), ARRAY(3), DECLAR(3), DEF_GENPAT(3), GETCPAT(3), INIT(3), LABEL(3),
|
||||
SAVE(3), SAV_GENPAT(3), pat(5), asimut(1)
|
||||
SAVE(3), SAV_GENPAT(3), SETTUNIT(3), pat(5), asimut(1)
|
||||
|
||||
|
||||
.so man1/alc_bug_report.1
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
.\" $Id: AFFECT.3,v 1.2 1999/09/24 14:12:17 simcity Exp $
|
||||
.\" $Id: AFFECT.3,v 1.3 1999/10/25 08:03:12 simcity Exp $
|
||||
.\" @(#)AFFECT.3 2.30 Sep 08 1993 UPMC ; VUONG H.N. & PITON D.
|
||||
.TH AFFECT 3 "October 1, 1997" "ASIM/LIP6" "GENPAT functions"
|
||||
|
||||
|
|
@ -17,9 +17,10 @@ AFFECT ("pattern_date", "ident", "value");
|
|||
.PP
|
||||
.TP 10
|
||||
\fIpattern_date\fP
|
||||
pattern date which may be either : integer (absolute date in ps) or +
|
||||
integer (relative date in ps, the date of the current pattern
|
||||
(last modified using INIT or AFFECT) is the reference).
|
||||
: pattern date which may be either : integer (absolute date) or + integer
|
||||
(relative date, the date of the current pattern (last modified using INIT
|
||||
or AFFECT) is the reference). All dates are supposed to be expressed in
|
||||
the same time unit which may be set only once using SETTUNIT.
|
||||
.TP 10
|
||||
\fIident\fP
|
||||
Either the name of a bused signal or a scalar. Vectors must be referenced with
|
||||
|
|
@ -52,22 +53,24 @@ This fonction also set the current pattern.
|
|||
.SH EXAMPLES
|
||||
.PP
|
||||
.nf
|
||||
AFFECT ("0", "b", "0B1");
|
||||
SETTUNIT("ps");
|
||||
AFFECT ("5", "b", "0B1");
|
||||
result : b
|
||||
< 0 ps> :.....1...;
|
||||
< 5 ps> :.....1...;
|
||||
.fi
|
||||
|
||||
.PP
|
||||
At simulation date 0ps the signal b(3 downto 0) receives the value "0001".
|
||||
At simulation date 0 ps the signal b(3 downto 0) receives the value "0001".
|
||||
This value will be kept until the end of the simulation if no more affectation
|
||||
is made.
|
||||
|
||||
.nf
|
||||
SETTUNIT("ns");
|
||||
AFFECT ("0", "b", "0B0");
|
||||
AFFECT ("2000", "b", "0B1");
|
||||
AFFECT ("2", "b", "0B1");
|
||||
result : b
|
||||
< 0 ps> :.....0...;
|
||||
< 2000 ps> :.....1...;
|
||||
< 0 ns> :.....0...;
|
||||
< 2 ns> :.....1...;
|
||||
.fi
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
.\" $Id: ARRAY.3,v 1.1 1999/05/31 17:30:14 alliance Exp $
|
||||
.\" $Id: ARRAY.3,v 1.2 1999/10/25 08:03:13 simcity Exp $
|
||||
.\" @(#)ARRAY.3 2.30 UPMC ; VUONG H.N. & PITON D.
|
||||
.TH ARRAY 3 "October 1, 1997" "ASIM/LIP6" "GENPAT functions"
|
||||
|
||||
|
|
@ -10,7 +10,7 @@
|
|||
.SH SYNOPSYS
|
||||
.PP
|
||||
.nf
|
||||
ARRAY ("ident", "ident", ..., ":nb_space", "format", type, "ident_group", 0);
|
||||
ARRAY ("ident", "ident", ..., ":nb_space", "format", type, option, "ident_group", 0);
|
||||
.fi
|
||||
|
||||
.SH PARAMETERS
|
||||
|
|
@ -34,6 +34,10 @@ Specify the type of the aggregate. REGISTER for Register, SIGNAL for Signal,
|
|||
OUT for Output, IN for Input, INOUT for Input/Output. REGISTER, SIGNAL, OUT,
|
||||
IN, INOUT are constants (defines) provided by genpat.
|
||||
.TP 10
|
||||
\fIoption\fP
|
||||
Specify options of the connectors. "S" for a spied connector, empty ("")
|
||||
for a normal connector.
|
||||
.TP 10
|
||||
\fIident_group\fP
|
||||
Specify the array's name, the first ident is associated with the MSB of the
|
||||
array.
|
||||
|
|
@ -49,23 +53,29 @@ in a virtual vector. Inputs and Inputs/Outputs CANNOT be redeclared.
|
|||
.SH EXAMPLES
|
||||
.PP
|
||||
.nf
|
||||
ARRAY ("cout", "s 9", "s 8", "s 7", ":2", "B", OUT, "Y", 0);
|
||||
ARRAY ("cout", "s 9", "s 8", "s 7", ":2", "B", OUT, "S", "Y", 0);
|
||||
|
||||
format : Binary.
|
||||
type : Output connector.
|
||||
option : spied connector.
|
||||
|
||||
each group is separated of the others with 2 blank spaces.
|
||||
result : out Y ( cout, s (9 downto 7) ) B;;;
|
||||
result : out Y ( cout, s (9 downto 7) ) B spy ;;;
|
||||
|
||||
ARRAY ("regt", "reg 9", ":2", "B", REGISTER, "Y", 0);
|
||||
ARRAY ("regt", "reg 9", ":2", "B", REGISTER, "", "Y", 0);
|
||||
|
||||
format : Binary.
|
||||
type : Register.
|
||||
option : none.
|
||||
|
||||
each group is separated of the others with 2 blank spaces.
|
||||
result : register Y ( regt, reg (9 downto 9) ) B;;;
|
||||
.fi
|
||||
|
||||
.SH WARNING
|
||||
.PP
|
||||
The ARRAY function from the 4.0 release have a new parameter (option).
|
||||
|
||||
.SH SEE ALSO
|
||||
.PP
|
||||
DECLAR(3), genpat(1), pat(5)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
.\" $Id: DECLAR.3,v 1.1 1999/05/31 17:30:14 alliance Exp $
|
||||
.\" $Id: DECLAR.3,v 1.2 1999/10/25 08:03:14 simcity Exp $
|
||||
.\" @(#)DECLAR.3 2.30 UPMC ; VUONG H.N. & PITON D.
|
||||
.TH DECLAR 3 "October 1, 1997" "ASIM/LIP6" "GENPAT functions"
|
||||
|
||||
|
|
@ -10,7 +10,7 @@
|
|||
.SH SYNOPSYS
|
||||
.PP
|
||||
.nf
|
||||
DECLAR("ident",":nb_space","format",mode,size);
|
||||
DECLAR("ident",":nb_space","format",mode,size,option);
|
||||
.fi
|
||||
|
||||
.SH PARAMETERS
|
||||
|
|
@ -41,6 +41,10 @@ Specify the size of the bused connectors : empty ("") for the scalar
|
|||
connectors, "nb1" for the numbered connectors, "nb1 TO nb2" or "(nb1 TO nb2)"
|
||||
(nb1 < nb2), "nb1 DOWNTO nb2" or "(nb1 DOWNTO nb2)" (nb2 < nb1) for the
|
||||
vectors. Where nb1 and nb2 are integer.
|
||||
.TP 10
|
||||
\fIoption\fP
|
||||
Specify options of the connector. "S" for a spied connector, empty ("")
|
||||
for a normal connector.
|
||||
|
||||
.SH DESCRIPTION
|
||||
.PP
|
||||
|
|
@ -50,51 +54,56 @@ and mode.
|
|||
.SH EXAMPLE
|
||||
.PP
|
||||
.nf
|
||||
DECLAR("a", ":2", "X", OUT, "3 DOWNTO 0");
|
||||
DECLAR("a", ":2", "X", OUT, "3 DOWNTO 0", "S");
|
||||
|
||||
describes : a 3, a 2, a 1, a 0
|
||||
format : Hexadecimal.
|
||||
mode : Output.
|
||||
option : Spied connector.
|
||||
|
||||
the group is separated of the others with 2 blank spaces.
|
||||
result :
|
||||
out a(3 downto 0) X ;;;
|
||||
out a(3 downto 0) X spy ;;;
|
||||
|
||||
DECLAR ("toto", ":", "O", INOUT, "7 TO 11");
|
||||
DECLAR ("toto", ":", "O", INOUT, "7 TO 11", "");
|
||||
|
||||
describes : toto 7, toto 8, toto 9, toto 10, toto 11.
|
||||
format : Octal.
|
||||
mode : Input/Output.
|
||||
option : none.
|
||||
|
||||
the group is separated of the following with 0 blank space.
|
||||
result :
|
||||
inout toto(7 to 11) O ;
|
||||
|
||||
DECLAR ("ck", ":2", "B", IN, "");
|
||||
DECLAR ("ck", ":2", "B", IN, "", "");
|
||||
|
||||
describes : ck.
|
||||
format : Binary.
|
||||
mode : Input.
|
||||
option : none.
|
||||
|
||||
the port is separated of the following with 2 blank spaces.
|
||||
result :
|
||||
in ck ;;;
|
||||
|
||||
DECLAR ("accu.f", ":", "B", SIGNAL, "");
|
||||
DECLAR ("accu.f", ":", "B", SIGNAL, "", "S");
|
||||
|
||||
describes : accu.f .
|
||||
format : Binary.
|
||||
mode : Signal.
|
||||
option : Spied connector.
|
||||
|
||||
the signal is separated of the following with 0 blank space.
|
||||
result :
|
||||
signal accu.f ;
|
||||
signal accu.f spy ;
|
||||
|
||||
DECLAR ("accu.reg", ":1", "B", REGISTER, "(3)");
|
||||
DECLAR ("accu.reg", ":1", "B", REGISTER, "(3)", "");
|
||||
|
||||
describes : accu.reg .
|
||||
format : Binary.
|
||||
mode : Register.
|
||||
option : none.
|
||||
|
||||
the signal is separated of the following with 1 blank space.
|
||||
result :
|
||||
|
|
@ -102,6 +111,10 @@ result :
|
|||
|
||||
.fi
|
||||
|
||||
.SH WARNING
|
||||
.PP
|
||||
The DECLAR function from the 4.0 release have a new parameter (option).
|
||||
|
||||
.SH SEE ALSO
|
||||
.PP
|
||||
ARRAY(3), genpat(1), pat(5)
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
.\" $Id: INIT.3,v 1.2 1999/09/24 14:12:18 simcity Exp $
|
||||
.\" $Id: INIT.3,v 1.3 1999/10/25 08:03:14 simcity Exp $
|
||||
.\" @(#)INIT.3 2.30 UPMC ; VUONG H.N. & PITON D.
|
||||
.TH INIT 3 "October 1, 1997" "ASIM/LIP6" "GENPAT functions"
|
||||
|
||||
|
|
@ -17,9 +17,11 @@ INIT("pattern_date","ident","value");
|
|||
.PP
|
||||
.TP 10
|
||||
\fIpattern_date\fP
|
||||
pattern date which may be either : integer (absolute date in ps) or +
|
||||
integer (relative date in ps, the date of the current pattern
|
||||
(last modified using INIT or AFFECT) is the reference).
|
||||
: pattern date which may be either : integer (absolute date) or + integer
|
||||
(relative date, the date of the current pattern (last modified using INIT
|
||||
or AFFECT) is the reference). All dates are supposed to be expressed in
|
||||
the same time unit which may be set only once using SETTUNIT.
|
||||
|
||||
.TP 10
|
||||
\fIident\fP
|
||||
Either the name of a bused register or a simple register. Path-name must be
|
||||
|
|
@ -36,17 +38,19 @@ Initialize registers at indicated values and set current pattern.
|
|||
.SH EXAMPLE
|
||||
.PP
|
||||
.nf
|
||||
INIT("1300","regt","0B1");
|
||||
INIT("+3000","y 3 downto 0","0xF");
|
||||
SETTUNIT("ns");
|
||||
INIT( "25","regt","0B1");
|
||||
INIT("+50","y 3 downto 0","0xF");
|
||||
|
||||
result :
|
||||
At simulation time 1300 ps, the register named regt receive "1"
|
||||
At simulation time 25 ns, the register named regt receive "1"
|
||||
regt <= B"1" ;
|
||||
< 1300 ps> : .............;
|
||||
At simulation time +3000 ps, (related to the date of the current pattern),
|
||||
< 25 ns> : .............;
|
||||
|
||||
At simulation time +50 ns, (related to the date of the current pattern),
|
||||
the vector y is affected with the value 15 in decimal or F in hexadecimal.
|
||||
regt <= X"F" ;
|
||||
< 4300 ps> : .............;
|
||||
< 75 ns> : .............;
|
||||
.fi
|
||||
|
||||
.SH SEE ALSO
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
.\" $Id: LABEL.3,v 1.1 1999/05/31 17:30:16 alliance Exp $
|
||||
.\" $Id: LABEL.3,v 1.2 1999/10/25 08:03:15 simcity Exp $
|
||||
.\" @(#)LABEL.3 2.30 UPMC ; VUONG H.N. & PITON D.
|
||||
.TH LABEL 3 "October 1, 1997" "ASIM/LIP6" "GENPAT functions"
|
||||
|
||||
|
|
@ -17,7 +17,7 @@ LABEL ("ident");
|
|||
.PP
|
||||
.TP 10
|
||||
\fIident\fP
|
||||
label to be put on the current pattern
|
||||
label to be put on the current pattern (last modified using INIT or AFFECT)
|
||||
|
||||
.SH DESCRIPTION
|
||||
.PP
|
||||
|
|
|
|||
|
|
@ -0,0 +1,47 @@
|
|||
.\" $Id: SETTUNIT.3,v 1.1 1999/10/25 08:03:16 simcity Exp $
|
||||
.\" @(#)SETTUNIT.3 2.30 UPMC ; VUONG H.N. & PITON D.
|
||||
.TH SETTUNIT 3 "October 1, 1997" "ASIM/LIP6" "GENPAT functions"
|
||||
|
||||
.SH NAME
|
||||
.PP
|
||||
\fBSETTUNIT\fP, GENPAT Package
|
||||
|
||||
.so man1/alc_origin.1
|
||||
.SH SYNOPSYS
|
||||
.PP
|
||||
.nf
|
||||
SETTUNIT ("time_unit");
|
||||
.fi
|
||||
|
||||
.SH PARAMETERS
|
||||
.PP
|
||||
.TP 10
|
||||
\fItime_unit\fP
|
||||
: legal time_unit are fs, ps, ns, us and ms.
|
||||
|
||||
.SH DESCRIPTION
|
||||
.PP
|
||||
Set the pattern \fItime_unit\fP. Default \fItime_unit\fP is ps.
|
||||
|
||||
.SH EXAMPLE
|
||||
.PP
|
||||
.nf
|
||||
SETTUNIT ("ps");
|
||||
SETTUNIT ("fs");
|
||||
.fi
|
||||
|
||||
.SH WARNING
|
||||
.PP
|
||||
The SETTUNIT function is a new function of the 4.0 release.
|
||||
To generate a pattern file in an oldest pat format (3.5 release
|
||||
and oldest), you may use a virtual time_unit : SETTUNIT ("vu").
|
||||
In this case, the pattern file is generated without dates (the
|
||||
dates specified with the AFFECT and INIT functions are used as
|
||||
pattern numbers).
|
||||
|
||||
.SH SEE ALSO
|
||||
.PP
|
||||
genpat(1), pat(5)
|
||||
|
||||
|
||||
.so man1/alc_bug_report.1
|
||||
Loading…
Reference in New Issue