diff --git a/alliance/share/man/man1/genpat.1 b/alliance/share/man/man1/genpat.1 index 42e4d847..ff942f98 100644 --- a/alliance/share/man/man1/genpat.1 +++ b/alliance/share/man/man1/genpat.1 @@ -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 diff --git a/alliance/share/man/man3/AFFECT.3 b/alliance/share/man/man3/AFFECT.3 index 8619b0d7..744ab236 100644 --- a/alliance/share/man/man3/AFFECT.3 +++ b/alliance/share/man/man3/AFFECT.3 @@ -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 diff --git a/alliance/share/man/man3/ARRAY.3 b/alliance/share/man/man3/ARRAY.3 index 9608043a..ec1038ea 100644 --- a/alliance/share/man/man3/ARRAY.3 +++ b/alliance/share/man/man3/ARRAY.3 @@ -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) diff --git a/alliance/share/man/man3/DECLAR.3 b/alliance/share/man/man3/DECLAR.3 index c85fca10..5f33357c 100644 --- a/alliance/share/man/man3/DECLAR.3 +++ b/alliance/share/man/man3/DECLAR.3 @@ -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) diff --git a/alliance/share/man/man3/INIT.3 b/alliance/share/man/man3/INIT.3 index 66155596..729c1f7d 100644 --- a/alliance/share/man/man3/INIT.3 +++ b/alliance/share/man/man3/INIT.3 @@ -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 diff --git a/alliance/share/man/man3/LABEL.3 b/alliance/share/man/man3/LABEL.3 index 26d3419f..18063efe 100644 --- a/alliance/share/man/man3/LABEL.3 +++ b/alliance/share/man/man3/LABEL.3 @@ -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 diff --git a/alliance/share/man/man3/SETTUNIT.3 b/alliance/share/man/man3/SETTUNIT.3 new file mode 100644 index 00000000..910d6e9e --- /dev/null +++ b/alliance/share/man/man3/SETTUNIT.3 @@ -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