Home

THOR USER`S MANUAL - The Stanford University InfoLab

1. in_b 0 out b 0 vdd 1 gnd 0 ctl b 0 out 1 bus_dn 1 in 1 bus 1 bus_up 1 ctl 1 time 145 8ns rsim gt thor 150 gt q SEE ALSO thor 1 gensim 1 91 4
2. 2 S select A B 2Y 3 1A 3Y 4 1B 4Y 5 2A 6 2B 7 3A 8 3B 9 4A 10 4B triple 3 input positive NOR gates 9 inputs 3 output 0 internal states index input output 1 al yl 2 bl y2 3 cl Y3 4 a2 5 b2 6 c2 7 a3 8 b3 9 c3 Octal D type Flip Flop with common clock amp clear positive edge triggerred 10 inputs 8 outputs 9 internal states index input output states l CLR Q1 Qi 2 clk Q2 Q2 3 Di Q3 Q3 4 D2 Q4 Q4 5 D3 Q5 Q5 6 D4 Q6 Q6 7 D5 Q7 Q7 8 D6 Q8 Q8 67 ttl 3 ttl 3 xx280 xx32 xx373 xx374 THOR USER S MANUAL ttl 3 9 D7 last_ CK 10 D8 9 bit odd even parity generator checker 9 inputs 2 outputs 0 internal states in amp x input output l A even 2 B odd 3 C 4 D 5 E 6 F 7 G 8 H 9 I Quad 2 input OR gate 8 inputs 4 outputs 0 internal states index input output 1 la Yi 2 Ib Y2 3 2a Y3 4 2b Y4 5 3a 6 3b 7 4a 8 4b Octal D type Latch with common output control amp common enable 10 inputs 8 outputs 8 internal states index input output States oc Ql Qi 2 ENABLE Q2 Q2 3 D1 Q3 Q3 4 D2 Q4 Q4 5 D3 Q5 Q5 6 D4 Q6 Q6 D5 Q7 Q7 8 D6 Q8 Q8 D7 10 D8 Octal D type FF w common tristate control and common clock positive edge triggered 68 11 tl 3 xx378 xx379 T4LSS4 THOR USER S MANUAL 10 inputs 8 outputs 9 internal states index input output states CNTRL Q1 Q1 2 clk Q2 Q2 3 D1 Q3 Q3 4 D2 Q4 Q4 5 D3
3. commands may be abbreviated move left move right move beginning move end move time step Move the cursor to the specified position or time step and center the traces around that point Left and right cause the screen to scroll by one page next previous Find the next previous trigger point starting at the current cursor position and move the cursor to that point Center the traces around the time step if such a trigger is found print name time time2 Generate a PostScript file of the traces from time step timel through time2 With no arguments it prints a copy of the screen to file model name ps If name is specified then the output is written to that file The number of time steps per page is the same as shown on the 2 2 analyzer 3 THOR USER S MANUAL analyzer 3 screen quit Exit from the analyzer Note that the simulator will continue running if it hasn t finished yet remove tnum Remove trace number tnum from the display redraw Redraw the whole window reclaim time Reclaim memory up to not including time step time This command is useful should the analyzer run out of memory to store previous traces If this should happen a warning will be printed and the simulator will be stopped This will give the user a chance to write print the traces before continuing If time is not specified the analyzer will reclaim half the memory used read name Read file name previously written by the
4. output states l G1 Y1 2 Al Y2 3 A2 Y3 4 A3 Y4 5 A4 Octal Buffers line drivers line receivers 10 inputs 8 outputs 0 internal states index input output States l 1G 1Y1 2 1A1 1Y2 3 1A2 1Y3 4 1A3 1Y4 5 1A4 2Y1 6 2G 2Y2 7 2A1 2Y3 8 2A2 2Y4 9 2A3 10 2A4 Octal Buffers line drivers line receivers 5 inputs 4 outputs 0 internal states index input output states 1 G Y1 2 Al Y2 3 A2 Y3 4 A3 Y4 5 A4 Octal Buffers line drivers line receivers 5 inputs 4 outputs 0 internal states index input output states G Y1 2 Al Y2 65 tti 3 ttl 3 xx244 xx244ab Xx245 THOR USER S MANUAL 3 A2 Y3 4 A3 Y4 5 A4 Octal Buffers line drivers line receivers 10 inputs 8 outputs 0 internal states index input output states 1G Y11 2 1A1 Y12 3 1A2 Y13 4 1A3 Y14 5 1A4 Y21 6 2G Y22 7 2A1 Y23 8 2A2 Y24 9 2A3 10 2A4 Octal Buffers line drivers line receivers 5 inputs 4 outputs 0 internal states index input output states G Y1 2 Al Y2 3 A2 Y3 4 A3 Y4 5 A4 Octal bus tranceiver 2 inputs 0 outputs 0 internal states 16 biputs index input output state 0 2 0 ENABLE 2 DIR 3 4 gt 6 7 8 9 10 11 12 66 biput Al tti 3 t 3 xx27 Xx273 THOR USER S MANUAL 13 BS 14 B6 15 B7 16 B8 17 18 Quadruple 2 line to 1 line data selectors multiplexers 10 inputs 4 outputs 0 internal states index input output i G output control 1Y
5. PASSED if the ranges are equal otherwise RANGEERROR is returned FILES None SEE ALSO fckrange 3 fckmsize 3 BUGS 18 1 fckvalue 3 THOR USER S MANUAL fckvalue 3 NAME fckvalue checks for invalid values in a signal group SYNOPSIS fckvalue grpin msb sb int msb Isb GRP grpin DESCRIPTION Fckvalue checks if the signal group grpin contains allowable values It tests to see if the values in the bits specified by msb and sb are in the allowable set ONE ZERO UNDEF FLOAT RETURNS Returns PASSED if all values are legal otherwise VALUEERROR is returned FILES SEE ALSO fekbin 3 BUGS fcopy 3 THOR USER S MANUAL NAME copy Copies the specified bits of one signal group to another group SYNOPSIS fcopy grpout msbo sbo grpin msbi sbi int msbi Isbi msbo lsbo GRP grpout grpin DESCRIPTION Copy the specified bits of grpin into the specified bits of grpout FILES SEE ALSO feat 3 fcatac 3 fcatca 3 BUGS fcopy 3 fcopyinv 3 THOR USER S MANUAL fcopyinv 3 NAME copy Copies and inverts the specified bits of one signal group to another group SYNOPSIS fcopyinv grpout msbo sbo grpin msbi sbi int msbi Isbi msbo Isbo GRP grpout grpin DESCRIPTION Copy the specified bits of grpin into the specified bits of grpout It inverts each bit as it is copied FILES SEE ALSO fcat 3 featac 3 fcatca 3 vinv 3 BUGS 21 1 fdecr 3 THOR USER S MANUAL fdecr
6. Q5 Q5 6 D4 Q Q6 7 D5 Q7 Q7 8 D6 Q8 Q8 9 D7 LST_CLK 10 D8 Six D TYPE Flip Flops with Common Clock and Enable 8 inputs 6 outputs 7 internal states in amp x input output states 0 8 6 7 G Q1 Q1 2 CLK Q2 Q2 3 D1 Q3 Q3 4 D2 Q4 Q4 5 D3 Q5 Q5 6 D4 Q6 Q 7 DS last_clk 8 D6 Quad D TYPE Flip Flops 6 inputs 8 outputs 5 internal states in amp x input output states 0 6 8 5 G Q1 Q1 2 CLK Qr Q2 3 D1 Q2 Q3 4 D2 Q2 Q4 5 D3 Q3 last elk 6 D4 Q3 7 Q4 8 Qt 4 wide AND OR INVERT gates 10 inputs 1 output index input output A Y 2 B 0 internal states 69 ttl 3 td 3 xx576 xx580 THOR USER S MANUAL ttl 3 3 C 4 D 5 E 6 F 7 G 8 H 9 I 10 J Octal Buffers line drivers with tri state outputs 10 inputs 8 outputs 0 internal states in amp x input output States 1G Y1 2 2G Y2 3 Al Y3 4 A2 Y4 5 A3 Y5 6 A4 Y6 7 A5 Y7 8 A6 Y8 9 A7 10 A8 Octal D type FF w common tristate control common clock positive edge triggered inverted outputs 10 inputs 8 outputs 9 internal states index input output states l CNTRL Qi Q1 2 clk Q2 Q2 3 D1 Q3 Q3 4 D2 Q4 Q4 5 D3 Qs Q5 6 D4 Q6 Q6 7 D5 Q7 Q7 8 D6 Q8 Q8 9 D7 LST_CLK 10 D8 Octal D type Latch with common output control amp common enable and inverted outputs 10 inputs 8 outputs 8 internal states index input output states l oc QV Qi 2 ENABLE Q2 Q2 3 D1 Q3 Q3 70 13 ttl 3 xx74
7. State l al Y1 2 bl Y2 3 cl Y3 4 a2 5 b2 6 c2 1 a3 8 b3 9 c3 J K negative edge triggered Flip flop w preset amp clear 5 inputs 2 outputs 2 internal states index input output state 1 PRE Q last CK 2 J Q Q 3 Cik 4 K gt CLR J K negative edge triggered Flip flop w preset amp clear 5 inputs 2 outputs 2 internal states index input output state PR Q last CK 2 J Q Q 3 K 4 CK 59 tti 3 ttl 3 xx138 xx139ab xx148 xx150 THOR USER S MANUAL 5 CLR 3 to 8 line Decoder Demul tiplexer 6 Inputs 8 Outputs O Internal States index input output A YO 2 B Y1 3 C Y2 4 Cl Y3 5 G 2a Y4 6 G 2B Y5 7 Y6 8 Y7 2 to 4 line Decoder Demul tiplexer 3 Inputs 4 Outputs O Internal States in amp x input output A YO 2 B Y1 3 G Y2 4 Y3 8 to 3 priority encoder 9 inputs 5 outputs 0 internal states index input output EI GS 2 Do EO 3 D1 AQ 4 D2 Al 5 D3 A2 6 D4 7 D5 8 D6 9 D7 16 to 1 data selectors multiplexers 21 inputs 1 outputs 0 internal states index input output l STROBE W 2 A 3 B 4 C 5 D 60 ttl 3 ttl 3 THORUSER SMANUAL tti 3 6 EO 7 El 8 E2 9 E3 10 E4 Il E5 12 E6 13 E7 14 E8 15 E9 16 E10 17 Ell 18 E12 19 E13 20 El4 21 E15 xx151 8 to 1 data selectors multiplexers 12 inputs 2 outputs 0 internal states in amp x input output STROBE Y 2 A Ww 3 B 4 C 5 Do 6 D1 7 D2 8 D3 9 D4
8. analyzer and allow interactive viewing of the stored traces status trig num Print information about the specified trigger point If no argument is given a concise list of all triggers is printed stop Stop the simulator at the next time step provided it s still running trace signals value Add a trigger point on signals being equal to value value can be any of U undefined Z float X change or a number Numbers can be specified in base 2 preceding the number by Ob 8 preceding the number by O 10 the default and 16 preceding the number by Ox For example trace a b c d 0b1101 gt trace that a 1 and b O and c l and d l trace address 1 3 U gt trace that address1 U and address2 U and address3 U Notice that the LSB is always the leftmost signal trace signals value Add a trigger point on ANY of signals having value For example trace a d 0b0101 gt trace that a 1 or b O or c l or d 0 trace x y z Z gt trace that either x y or z become float width num Set the trace display to num time steps minimum 1 whatis tnum Print information about trace number tnum the signals that it s composed of and its display base write name t time Write file name containing the current state traces triggers etc so that it may be viewed later If time is specified then the traces are written only up to that time If the filename is not specified the file model_name ana w
9. by shifting each bit of number into grpout starting with the lsb position RETURNS Returns PASSED if no error occurs Other wise an error code lt FAILED is returned FILES SEE ALSO fpack 3 BUGS Does not check for overflow when converting number 45 1 fxnor 3 THOR USER S MANUAL fxnor 3 NAME fxnor Performs a logical exclusive nor on the specified bits of the signal groups SYNOPSIS fxnor grpout msbo sbo grpin1 msb1 lsb1 grpin2 msb2 sb2 int msbo Isbo msb1 Isb1 msb2 tsb2 GRP grpout erpin1 grpin2 DESCRIPTION Performs a logical exculsive nor on the specified bits of grpinl and grpin2 and then places the output in the specified bits of grpout The effect is to return a one in for those values of grpinl and grpin2 that are equal RETURNS Returns PASSED if no errors occured It returns a value lt FAILED if an error occurs FILES SEE ALSO fxnorc 3 fxor 3 fxorc 3 fior 3 fiorc 3 vxnor 3 BUGS 46 1 fxnore 3 THOR USER S MANUAL fxnore 3 NAME fxnorc Performs a logical exclusive nor of then specified bits of a signal group and an integer SYNOPSIS fxnorc grpout msbo sbo grpin1 msb1 Isb1 number int msbo sbo msb1 Isb1 number BUS grpout grpinl DESCRIPTION Performs an exclusive nor on the specified bits of grpinl and number and then places the output in the specified bits of grpout See vxnor 3v for the exclusive nor truth table The bits of number selected are the same as the bits sele
10. by typing a period for the com mand CHECK node s clocking trigger node CHECK node s CHECK The check command is used to control when and which signals are checked between the simulators The long form is used to add signals to be checked The trigger node supplies the timing 1 1 w hen to check nodes The clocking type stable indicates that the given nodes be checked on both the rising and falling edges of the trigger node The clocking valid allows checking to only be performed on 88 1 simint 5 Integrated testing using THOR simint 5 the falling edge of the trigger node To check on the rising edge of the trigger rising may be specified for the clocking Multiple check commands may be given to check the same node at different times The second form of the check command allows checking for a node to be disabled The current check list can be displayed by a simple check command with no arguments The Map File The map file specifies the logical equivalence between Thor nodes and those of the slave simulator Rsim chip tester etc In addition some simulator specific information may be given here For better or worse the current syntax resembles a csl function call but this is not csl The first item gives the simulator name and any command line parameters needed Next the user specifies the Thor instance name against which to test Then input output and biput sections specify the mapp
11. example of its use is g Tquote n quote1 0 01 02 03 04 s 3 vs 2 gen 3 Where quote has four outputs and it will read changes from the file named quote every 2 time steps SEE ALSO mon 3 generic 3 ttl 3 mkmod 1 THOR 1 52 generic 3 THOR USER S MANUAL generic 3 NAME generic generic gate models available SYNOPSIS f AND n username i i1 i2 in o 01 f and n username i i1 i2 in o 01 f INV n username i i1 0 01 f inv n username i il o ol f NAND n username i i1 i2 in o 01 f nand n username i i1 i2 in o 01 f NOR n username i i1 i2 in o o01 f nor n username i i1 i2 in o 01 f OR n username i i1 i2 in o 01 f or n username i il i2 in o o01 f XNOR n username i i1 i2 in o o1 f xnor n username i i1 i2 in o 01 f XOR n username i i1 i2 in o 01 f xor n username i i1 i2 in o 01 f TBUF n username i enable datain o ol f tbuf n username i enable datain o 01 f TBUFI n username i enable datain o ol f tbufi n username i enable datain o ol f n2mux n username i select al a2 an b1 b2 bn 0 01 02 0n The THOR generic models are listed above Many of these have a variable number of inputs They perform various generic logic functions Delays must be specified with the do construction of CSL Otherwise they are set to amp fault value 1 by CIO For more inf
12. grpin msb lsb comment int msb Isb char comment GRP grpin DESCRIPTION Prints on stdout the values of the specifed positions of the signal group grpin The comment string is printed followed by the msb and Isb values specifed by the user The value of the group are printed as 1 0 U F for each of the allowable signal values Any other value is printed without conversion RETURNS A value lt FAILED is returned if an error occurs FILES SEE ALSO fgetval 3 fprval 3 fsetword 3 BUGS 34 1 frorl 3 THOR USER S MANUAL frorl 3 NAME frorl circularly rotates from Isb to msb the specified number of bits SYNOPSIS frorl grpin msb Isb number int number msb Isb GRP grpin DESCRIPTION Rotates all bits of grpin from lsb to msb the number of positions specified by number The direction of rotation is from sb to msb The msb position is circularly rotated into the sb position Example if reg contains Isb gt msb 01234 and frorl reg 2 is performed then reg will then contain Isb gt msb 34012 The carry out is equal to 3 RETURNS The last bit rotated out of the msb position is returned by the function if no errors occur A value less than zero is returned on error see ferr 3 FILES SEE ALSO frorr 3 fshftl 3 fshftr 3 ferr 3 BUGS 35 1 frorr 3 THOR USER S MANUAL frorr 3 NAME frorl circularly rotates from msb to Isb the specified number of bits SYNOPSIS frorr grpin msb l
13. int ynand 4 4 2 input NAND gate 1 1 1 1 1 0 2 2 1 2 2 2 1 2 2 2 E INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer indices is restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 79 1 vnor 3 UNIX Programmer s Manual vnor 3 NAME vnor vector NOR two input NOR table SYNOPSIS include vec h extem int vnor DESCRIPTION Performs the boolean NOR operation by a table look up approach using two integer logic values as indices Equivalent to a 2 input NOR gate The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vnor 4 4 2 input NOR gate 1 0 2 2 0 0 0 0 2 0 2 2 2 0 2 2 hs INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer indices is restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 80 1 vor 3 UNIX Programmer s Manual vor 3 NAME vor vector OR two input OR table SYNOPSIS include vec h extem int vor00 DESCRIPTION Performs
14. is of the form time user name I1 2 In An example of its use is m GRAPH n graph i 1 1 i2 13 14 HEXOUT 4 inputs Print value of 4 inputs in hex Inputs are in order of i msb 3sb 2sb Isb An example of its use is m HEXOUT n hexout i msb 3sb 2sb Isb HEXREV 4 inputs Print value of 4 inputs in hex Inputs are in order of i Isb 2sb 3sb msb An example of its use is m HEXREV n hexrev i Isb 2sb 3sb msb OCTOUT 3 inputs Print value of 3 inputs in octal Inputs are in order of i msb 2sb lsb An example of its use is m OCTOUT n octout i msb 2sb sb OCTREV 3 inputs Print value of 3 inputs in octal Inputs are in order of i Isb 2sb msb An example of its use is m OCTREV n octrev i Isb 2sb msb SPACE No inputs Prints a space at time 0 This is used to print a space in the output when analyzed with simview 1 An example of its use is m SPACE n s1 WAVEOUT 1 input 1 state Print a waveform corresponding to the output The state is for internal use 55 1 mon 3 THOR USER S MANUAL mon 3 0 is represented as a to the left 1 as a to the right UNDEF and FLOAT are printed as xux and xzx respectively Prints at every time step The output UNDEF 0 1 1 0 would be printed as follows xux I Jl An example of its use is m WAVEOUT n waveout i 01 s 1 SEE ALSO gen 3 generic 3 ttl 3 simview 1 mkmod 1 THOR 56 2 self sched 3 THOR USER S MANUAL self sched 3 NAME self
15. l on Aum ARN 6 outputs 7 internal states input outputs state CLR Q1 last ck CK Q2 last Q1 D1 Q3 last_Q2 D2 Q4 last Q3 D3 Q5 last_Q4 D4 Q6 last Q5 D5 last_Q6 D6 quadruple D type Flip Flop with clear positive edge trigger red 6 inputs index l 2 3 4 8 outputs 5 internal states input outputs state CLR Q1 last ck CK Ql last_Q1 D1 Q2 last_Q2 D2 Q2 last_Q3 63 ttl 3 tl 3 xx195 xx198 xx240 THOR USER S MANUAL 5 D3 Q3 last_Q4 6 D4 Q3 7 Q4 8 Q4 4 bit Parallel access shift register 9 inputs 5 outputs 5 internal states in amp x input output state SHIFT LOAD Q a last_CK 2 CLR Qb Qa 3 Clk Qc Qb 4 J Qd Qc 5 K Qd Qd 6 a 7 b 8 c 9 d S bit Parallel in out Serial left right shift register positive edge triggered negative clear 14 inputs 8 outputs 9 internal states index input output states CLR QA Ql 2 so QB Q2 3 sl QC Q3 4 CLK QD Q4 5 SR serial rt QE Q5 6 A QF Q6 7 B QG Q7 8 C QH Q8 9 D LAST CLK 10 E Il F 12 G 13 H 14 SL serial It Octal Buffers line drivers line receivers 10 inputs 8 outputs O internal states in amp x input output states 1 1G 1Y1 2 1A1 1Y2 3 1A2 1Y3 4 1A3 1Y4 5 1A4 2Y1 64 ttl 3 ttl 3 xx240ab xx241 xx24la xx241b THOR USER S MANUAL 6 2G 2Y2 7 2A1 2Y3 8 2A2 2Y4 9 2A3 10 2A4 Octal Buffers line drivers line receivers 5 inputs 4 outputs 0 internal states in amp x input
16. number Packing is done on unsigned groups of bits only i e no sign is assumed for the most significant bit The integer is returned by the function if no errors occured If an error occured then an error code is returned i e a value less than zero RETURNS Returns the integer derived from the input signal group if no conversion errors are encountered otherwise a value less than zero is returned indicating an error has occured FILES SEE ALSO funpack 3 BUGS The routine will attempt to pack integers larger than the machine will allow The user must be aware of the maximum size of integers allowed on the machine running the program 32 1 fprval 3 THOR USER S MANUAL fprval 3 NAME fprval Prints the contents of the specified portion of a signal group SYNOPSIS fprval grpin msb Isb int msb Isb GRP grpin DESCRIPTION Prints on stdout the values of the specifed positions of the signal group grpin Any value present is printed No validity checking is made on the values before they are printed The ordinal position and the relative positions of each value are printed along with the value of each position The printout always starts with the sb position RETURNS A value lt FAILED is returned if an error occurs FILES SEE ALSO fgetval 3 fsetword 3 BUGS 33 1 fprvec 3 THOR USER S MANUAL fprvec 3 NAME fprvec Prints the contents of the specified portion of a signal group SYNOPSIS fprvec
17. number from grpinl with borrowin as the borrow bit and then places the output in the specified bits of grpout The borrowin bit is subtracted from the Isb position before the integer number is subtracted The borrow out bit is ONE if a borrow is needed in the msb position during the subtraction RETURNS The borrow out is returned by the function if no error occurs If an error occurs an error code lt FAILED will be returned see ferr FILES SEE ALSO fadd 3 fsub 3 BUGS 43 1 fswap 3 THOR USER S MANUAL fswap 3 NAME fswap Exchange bits in two signal groups SYNOPSIS fswap grpout msbo Isbo grpin msbi Isbi int msbo Isbo msbi Isbi GRP grpout grpin DESCRIPTION Takes the bits specified by msbi and lsbi and exchanges them with the corresponding bits specifed by msbo and Isbo The bits are swapped by placing the lsb of grpin into the msb of grpout The msb and Isb of the input and output must have the same range RETURNS PASSED is returned if no erros occur Otherwise an error code lt FAILED is returned FILES SEE ALSO fcopy 3 fcat 3 featac 3 featca 3 BUGS 44 1 funpack 3 THOR USER S MANUAL funpack 3 NAME funpack Convert a number into binary signal group SYNOPSIS funpack grpout msb Isb number int msb Isb number GRP grpout DESCRIPTION Converts the value of number and stores the result in the signal group grpout No sign is assumed in number The conversion is done
18. sched self unsched schedule a model for evaluation SYNOPSIS include model h self_sched delta_time priority int delta time priority self_unsched abs_time int abs_ time A model can schedule itself to be evaluated at some future time using self sched The model will be evaluated delta_time time units in the future delta_time must be greater than zero priority can be either SELFO or SELF1 The former indicates that the model will be evaluated at the beginning of the time period and the latter indicates that it will be evaluated at the end of the time period after the rest of the network has reached steady state These are defined in model h Note that model h is included automatically by mkmod 1 Generator models normally use SELFO and monitor models normally use SELF I self unsched will deschedule an evaluation abs time is the absolute time at which the evaluation was scheduled Current time can be accessed via the external variable current time self sched and self unsched return 0 for success and 1 for failure FILES model h SEE ALSO mname 3 current_time 3 mkmod 1 THOR 1 AUTHORS Beverly Vellandi Henry Vellandi University of Colorado Boulder May 1985 57 1 ttl 3 THOR USER S MANUAL ttl 3 NAME ttl ttl models available SYNOPSIS f modelname n username i inputs o outputs s states modelname is one of xx00 xx02 xx04 xxl0xxll xx27 xx30 xx32 xx54 xx73ab xx74xx74ab xx76ab xx
19. the boolean OR operation by a table look up approach using two integer logic values as indices Equivalent to a 2 input OR gate The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vor 4 4 2 input OR gate 0 1 2 2 1 1 1 1 2 1 2 2 2 1 2 2 INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vnor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer indices is restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey vrise 3 UNIX Programmer s Manual vrise 3 NAME vrise vector rising edge detection SYNOPSIS include vec h extem int vrise DESCRIPTION Used to detect rising edges by a table look up approach using two integer logic values as indices The first index is the old logic value and the second index is the new logic value For example vrise oldck ck In a C model the old logic value is usually stored in an internal state The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vrise 4 4 edge detection array new ck old ck 0 1 1 l O no rise
20. xx74ab xx76ab xx85 THORUSER S MANUAL 4 D2 QF Q4 5 D3 Q5 Q5 6 D4 Q6 Q6 7 D5 Q7 Q7 8 D6 Q8 Q8 9 D7 10 D8 Dual D type pos edge triggered flip flop w preset amp clear 8 inputs 4 outputs 4 internal states in amp x input output state 1PRE Q1 last_CK1 2 lclk Ql Q1 3 1D Q2 last cK2 4 1CLR Q2 Q2 5 2PRE 6 2clk 7 2D 8 2CLR Dual D type pos edge triggered flip flop w preset amp clear 4 inputs 2 outputs 2 internal states index input output state PRE Q last CK 2 CLK Q Q 3 D 4 CLR J K positive level sense J K Flip flop w preset amp clear Note xx76 ab models one of the 2 J K flip flops in xx76 5 inputs 2 outputs 1 internal states index input output state l PRE Q last Q 2 J Q 3 Cik 4 K 5 CLR 4 bit magnitude comparitor NOTE L85 requires different model 11 Inputs 3 Outputs 0 States index input output A0 A lt B 71 tti 3 tl 3 Xx86 xx874ab xx874ab THOR USER S MANUAL SweworannFwnw wo Quad 2 input XOR gates 8 inputs 4 outputs 0 internal states in amp x input output states 0 8 4 0 1 1A 1Y 2 1B 2Y 3 2A 3Y 4 2B 4Y 5 3A 6 3B 7 4A 8 4B octal D type FF w common tristate control per each 1 2 common clock per each 1 2 amp common clear per each 1 2 positive edge triggered 7 inputs 4 outputs 5 internal states in amp x input output states l CNTRL Q1 Q1 2 clk Q2 Q2 3 CLR Q3 Q3 4 D1 Q4 Q4 5 D2 las
21. 0 0 0 0 1 rise 0 1 1 1 1 potential rise 0 1 1 1 3 INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer indices are restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 82 1 vtbuf 3 UNIX programmer s Manual vtbuf 3 NAME ytbuff vector non inverting tri state buffer SYNOPSIS include vec h extem int vtbuf DESCRIPTION Equivalent to a single input single output non inverting tri state buffer with active high enable Performs this tri state buffer operation by a table look up approach using two integer logic values as indices The first index is the enable and the second index is the data For example vtbuff enable data The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vtbuf 4 4 ttistate non inverting buffer tri input vtbuf en dat tri enable 3 3 3 3 0 1 2 2 2 2 2 2 2 2 2 2 F INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS Th
22. 1 2 3 AUTHOR Ernest J Frey 87 1 simint 5 Integrated testing using THOR simint 5 OVERVIEW For most VLSI designs it is useful to first model the logic function with functional simulation Later when all or part of the amp sign has been converted to a less abstract level a consistency check between the two models can be extremely helpful Previously Ictest developed at Stanford has been used for design verification However it is geared strictly for verification The original functional model is often of little use By providing an interface between Thor and other simulators such as Rsim the chip tester or logic analyzer the Thor functional specification can be used to verify the design While a true mixed level simulation has some advantages it is not the best method for simply verifying a design For this it is more useful to simulate the two different levels of design in parallel and check for discrepancies A master slave relationship is established between Thor and the other simulator As master Thor con trols the inputs to the slave and tells when to check the outputs of the slave Bidirectional nodes are not as easy For biputs there will be a set of elements driving at any moment If all the drivers are within the set of elements duplicated by the slave simulation then the node is acting as an output In this case the node will not be set but may be checked If any one of the drivers is outside the set t
23. 10 D5 11 D6 12 D7 xx152 8 to 1 data selectors multiplexers 11 inputs 1 outputs 0 internal states index input output A W 2 B 3 C 4 DO 5 D1 6 D2 7 D3 8 D4 9 D5 10 D6 Il D7 61 4 tl 3 xx153 xxl61 xx163 xx164 THOR USER S MANUAL Dual 4 to 1 data selectors mul tiplexers 12 inputs 2 outputs 0 internal states in amp x input output 1Y 2 B 2Y 3 1G 4 1C0 5 1C1 6 1C2 7 1C3 8 2G 9 2co 10 2C1 11 2C2 12 2C3 4 bit binary counter with asynchronous reset 9 Inputs 5 outputs 2 Internal States index input output State CLR RCO lst CK 2 LOAD Qa old Q 3 ENT Qb 4 ENP Qc 5 Cik Qd 6 A 7 B 8 C 9 D 4 bit binary counter with synchronous reset 9 Inputs 5 outputs 2 Internal States in amp x input output State CLR RCO Ist_CK 2 LOAD Qa old_Q 3 ENT Qb 4 ENP Qc 5 clk Qd 6 A 7 B 8 C 9 D 8 bit Parallel out Serial shift register positive edge triggered 62 ttl 3 ttl 3 xx169 xx174 xx175 4 inputs in amp x Oou nanho N THOR USER S MANUAL 8 outputs 9 internal states input output states CLR QA Q1 Cik QB Q2 A QC Q3 B QD Q4 QE Q5 QF Q6 QG Q7 QH 8 LAST CLK 4 bit up down synchronous binary counter 9 Inputs in amp x Oou nua FW N 5 outputs 2 Internal States input output state LOAD RCO Ist_CK U D Qa old_Q ENT Qb ENP Qc Clk Qd A B C D Hex D type Flip Flop with clear positive edge triggered 8 inputs index
24. 3 NAME fdecr decrements the value of specified portion of a signal group SYNOPSIS fdecr grpin msb Isb int msb lsb GRP grpin DESCRIPTION The specifed portion of the signal group grpin is decremented by 1 No borrow is returned Decrementing zero returns all ones in the specified pportion of the group RETURNS Returns the integer value of the specified range Note that the input group grpin also contains the decremented value Returns a value lt FAILED if an error occurs FILES SEE ALSO fincr 3 fpack 3 funpack 3 fadd 3 fsub 3 BUGS 22 1 FDUMP 3 THOR USER S MANUAL FDUMP 3 FDUMP name FDUMPON FDUMPOFF SYNOPSIS FDUMPON FDUMPOFF DESCFUPTION These macros are used to turn the FDUMP flag on and off when debugging is desired in a f function FDUMPON turns on the function dumping flag FDUMP_ which causes the fxxx functions to dump the contents of the input and output groups when the routine exits The macro FDUMPOFF is used to turn the dumping off You can use these macros when you are debugging models that use the f functions This allows you to see the contents of the input and output parameters to the f functions during execution Keep in mind that the data that is presented is the contents of the input and output groups when the f routine EXITS The names of the inputs and outputs are the same as the names given in the HELP function descriptions The macros are defined in the file THOR incl
25. 3 fnorc 3 fiorc 3 vxor 3 BUGS 49 1 gen 3 THOR USER S MANUAL gen 3 NAME gen signal generator models available SYNOPSIS g ZERO n username o n_outputs g ONE n username o n_outputs g UNDEF n username o n_ outputs g FLOAT n username o n_outputs g CLOCK n username o 1_output s 3 vs begin trans period g COUNT n username o n_outputs s 1 vs period g DCOUNT n username o n_outputs s 1 vs period g FSIG n username o n_outputs s 2 g PATRN n username o n_outputs s 2_or_more vs period pattern g ROTS8L n username o n_outputs s 2 vs begin period g ROTS8R n username o n_outputs s 2 vs begin period g TOGL n username o n_outputs s 1_or_more vs toggle_times g Tquote n username o n_outputs s 3 vs period The THOR signal generator models are described below These have only outputs and schedule themselves to be evaluated when one of the outputs needs to change They are all specified with the g modelname construction in CSL as indicated above ZERO n outputs At time 0 sets its outputs to ZERO ONE n outputs At time 0 sets its outputs to ONE UNDEF n outputs At time 0 sets its outputs to UNDEF FLOAT n outputs At time 0 sets its outputs to FLOAT CLOCK 1 output 3 states This is a single output clock with variable period and duty cycle State 1 is the time where the model begins its output State 2 is the transition time within the period Sta
26. 85 xx86 xx109ab xx109b xx112abxx112b xx138 xx139ab xx148 xx150 xx151 xx152 xx153 xx155xx156 xx157 xx161 xx163 xx164 xx169 xx174 xx175 xx195 xx198 xx240 xx240ab xx241 xx24la xx241b xx244 xx244ab xx245 xx251 xx257 xx273 xx280 xx283 xx373 xx374 xX378 Xx379 xx541 xx576 xx580 xx82s114 xx869 xx874 xx874ab The THOR ttl models are described below They are all specified with the f modelname construction in CSL as indicated above Some of the models require states as indicated Use the do construction of CSL to set delays Otherwise they are set to default value 1 by CIO I For more information see the THOR tutorial xx00 Quad 2 input NAND gate 8 inputs 4 outputs 0 internal states index input output states 0 8 4 0 1A 1Y 2 1B 2Y 3 2A 3Y 4 2B 4Y 5 3A 6 3B 7 4A 8 4B xx04 hex inverter 6 inputs 6 outputs 0 internal states index input output D1 D1 2 D2 D2 3 D3 D3 4 D4 D4 5 DS DS 6 D6 D6 xx109ab J K positive edge triggered Flip flop w preset amp clear 5 inputs 2 outputs 2 internal states index input output State 58 1 ttl 3 xx109b xxii xx1 12ab xx112b THOR USER S MANUAL l PRE Q last_CK 2 J Q Q 3 clk 4 K 5 CLR J K positive edge triggered Flip flop w preset amp clear 5 inputs 2 outputs 2 internal states in amp x input output state l PR Q last_CK 2 CK Q Q 3 K 4 J 5 CLR Triple 3 input positive AND gates 9 inputs 3 outputs 0 internal states index input output
27. ANUAL banalyzer 3 NAME banalyzer batch analyzer monitor for THOR SYNOPSIS m banalyzer n model_name i inA inB s 3 vs 0 DESCRIPTION The banalyzer monitor writes the state of its inputs to the file model_name batch so that they can be latter viewed by either the graphic analyzer see ana 1 or in ascii see aview 1 The file generated by the analyzer has the following format lt time gt lt inA gt lt inB gt Each such line contains an ascii representation of the signal associated with it The header of the file contains the number of inputs and the names of the signals connected to the analyzer SEE ALSO gensim 1 ana 1 aview 1 1 current time 3 THOR USER S MANUAL current time 3 NAME current time current absolute time SYNOPSIS include model h extern int current_time current_time is a copy of the simulator s absolute time variable It s units are in simulator time steps The simulator starts at time 0 and proceeds from there All generator and monitor models are called at time 0 Note that model h is included automatically by mkmod 1 FILES model h SEE ALSO self_sched 3 mname 3 mkmod 1 THOR 1 AUTHORS Beverly Vellandi Henry Vellandi University of Colorado Boulder May 1985 fadd 3 THOR USER S MANUAL fadd 3 NAME fadd Unsigned bitwise addition of two signal groups SYNOPSIS fadd grpout msbo sbo grpin1 msb1 Isb1 grpin2 msb2 Is
28. BUGS fandc 3 THOR USER S MANUAL fandc 3 NAME fandc Logically and a signal group with a number SYNOPSIS fandc grout msbo sbo grin1 msb1 Isb1 number int msb0 lsbo msb1 sb1 number GRP grout grin1 DESCRIPTION Logically ands specified bits of grin and number and then places the output int the specified bits of grout See vor for the truth table for the logical or function FILES SEE ALSO vand 3 fand 3 BUGS 10 1 fcat 3 THOR USER S MANUAL NAME fcat concatenates specified bits of two signal groups SYNOPSIS fcat grout msbo sbo grin1 msb1 Isb1 grin2 msb2 Isb2 int msbo isbo msb1 lsb1 msb2 lsb2 GRP grout grin1 grin2 DESCRIPTION fcat 3 Concatenates specified bits of grin to grin2 and places the output in the specifed bits of grout Grin1 will be the most significant portion of grout FILES SEE ALSO fcatac 3 featca 3 feopy 3 BUGS featac 3 THOR USER S MANUAL featac 3 NAME fcatac concatenates specified bits of a signal group with a number SYNOPSIS fcatac grout msbo sbo grin1 msb1 lsb1 number int msbo lsbo msbl Isbl number GRP grout grinl DESCRIPTION Concatenates specified bits of grin to number and places the output in the specifed bits of grout Grinl will be be the most significant portion of grout FILES SEE ALSO fcatca 3 fcat 3 feopy 3 BUGS 12 1 featca 3 THOR USER S MANUAL featca 3 NAME name Concatenates specifed
29. INOUT n dr2 i in2 ctl2 m BINOUT n outs i outl out2 bus Use the buf mapfile to equate rsim node names to thor net names gurgi cat buf s rsim buf rsm n bufl inputs ca ctll in inl outputs out outl biputs bus bus Run thor interactively gurgi gensim i buftst csl projects cad bin cio d buftst t cmos buftst csl cio output 0 check ql is unconnected on checker projects cad bin ftable m buftst cc I projects cad lib thor include o buftst exe projects cad lib thor mainsim o buftst c projects cad lib thor libarp a projects cad lib thor models a projects cad lib thor thorlib a projects cad lib thor libarp a projects cad lib thor models a buftst exe i gt buftst out thor 0 gt sim buf compare rsim model buf rsm with thor bufl thor 0 gt check outl valid check_q1 thor 0 gt check bus valid check q1 thor 0 gt check 90 3 simint 5 Integrated testing using THOR simint 5 check bus valid check_q1 check outl valid check q1 thor 0 gt go 150 thor 150 gt sim rsim gt d in_b 0 out_b X vdd 1 gnd 0 ctl_b 0 out X bus_dn X in 1 bus X bus_up X ctl 1 time 145 0ns rsim gt bus bus X NOTE node is an input vl 0 4 vh 0 6 0 021 pf is computed from n channel ctl 1 bus_dn X bus X 6 0e 03 1 2e 04 6 0e 03 p channel ctl_b 0 bus_up X bus X 1 2e 04 1 2e 04 2 4e 04 rsim gt x bus rsim gt s 8 time 145 8ns rsim gt d
30. ION Shifts the specified bits of grpin to the right msb to Isb the number of bits specified by number ZERO is shifted in to replace the most significant bits shifted to the right RETURNS If an error occurs then the value returned is less than zero see ferr 3 FILES SEE ALSO fshftl 3 fshftr 3 frorl 3 frorr 3 ferr 3 BUGS 41 1 fsub 3 THOR USER S MANUAL fsub 3 NAME s fsub Unsigned bitwise subtraction of two signal groups SYNOPSIS fsub grpout msbo Isbo grpin1 msb1 Isb1 grpin2 msb2 Isb2 borrowin int msbo Isbo msb1 msb2 Isb2 borrowin GRP grpout grpinl grpin2 DESCRIPTION Unsigned bitwise subtraction of the specified bits of grpin2 from grpin1 with borrowin as the borrow bit and then places the output in the specified bits of grpout The borrowin bit is subtracted from the Isb position before the two groups are subtracted The borrow out bit is ONE if a borrow is needed in the msb position during the subtraction RETURNS The borrow out is returned by the function if no error occurs If an error occurs an error code lt FAILED will be returned see ferr FILES SEE ALSO fadd 3 fsubc 3 BUGS 42 1 fsubc 3 THOR USER S MANUAL fsubc 3 NAME fsubc Unsigned bitwise subtraction of a number from a signal group SYNOPSIS fsubc grpout msbo sbo grpin1 msb1 lsb1 number borrowin int msbo lsbo msb1 number borrowin GRP grpout grpin1 DESCRIPTION Unsigned bitwise subtraction of an integer
31. THOR USER S MANUAL LIBRARY FUNCTIONS Robert Alverson Tom Blank Kiyoung Choi Sun Young Hwang Arturo Salz Larry Soule Tom Rokicki Technical Report CSL TR 88 349 January 1988 This work was supported by Defense Advanced Research Projects Agency Contract No MDA903 83 C 0335 THOR USER S MANUAL LIBRARY FUNCTIONS Robert Alverson Tom Blank Kiyoung Choi Sun Young Hwang Arturo Salz Larry Soule and Thomas Rokicki Technical Report CSL TR 88 349 January 1988 Computer Systems Laboratory Departments of Electrical Engineering and Computer Science Stanford University Stanford CA 94305 4055 Abstract THOR is a behavioral simulation environment intended for use with digital circuits at either the gate register transfer or functional levels Models are written in the CHDL modeling language a hardware description language based on the C programming language Network descriptions are written in the CSL language supporting hierarchical network descriptions Using interactive mode batch mode or both combined a variety of commands are available to control execution Simulation output can be viewed in tabular format or in waveforms A library of components and a toolbox for building simulation models are also provided Other tools include CSLIM used to generate boolean equations directly from THOR models and an interface to other simulators e g RSIM and a physical chip tester so that two simulations can be run concurren
32. UTHORS Beverly Vellandi Henry Vellandi University of Colorado Boulder May 1985 54 1 mon 3 THOR USER S MANUAL mon 3 NAME mon signal monitor models available SYNOPSIS m BINMON n username i 1_input s 1 m BINOUT n username i 1_input m GRAPH n username i n inputs m HEXOUT n username i 4_ inputs m HEXREV n username i 4_inputs m OCTOUT n username i 3_inputs m OCTREY n username i 3_inputs m WAVEOUT n username i 1_input s 1 m SPA CE n username The THOR signal monitor models are described below These have only inputs and are called when one of their inputs changes They are called once unconditionally at the start of simulation They are all specified with the m modelname construction in CSL as indicated above The output from each of these models is compatible with simview 1 THOR MONITOR MODELS All THOR monitor elements except WAVEOUT are compatible with the THOR post processor simview They print in the following format time model username value s BINMON 1 input 1 state Print value of input when it changes The state is for internal use Its output appears as follows time usemame old value gt new value An example of its use is m BINMON n binmon i b s 1 BINOUT 1 input print value of input at each time step An example of its use is m BINOUT n binout i b GRAPH print values of a group of inputs n inputs prints only when an input changes file output
33. ate The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vxnor 4 4 2 input EXCLUSIVE NOR gate 1 0 2 2 0 1 2 2 2 2 2 2 2 2 2 2 fe INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxor 3 CAVEATS The integer indices is restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 86 1 vxor 3 UNIX Programmer s Manual vxor 3 NAME vxor vector XOR two input XOR table SYNOPSIS include vec h extem int vxori j DESCRIPTION Performs the boolean XOR operation by a table look up approach using two integer logic values as indices Equivalent to a 2 input XOR gate The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vxor 4 4 2 input EXCLUSIVE OR gate L 0 1 2 2 1 0 2 2 2 2 2 2 2 2 2 2 E INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 CAVEATS The integer indices is restricted to the set of integers 0
34. b2 carryin int msbo sbo msb1 msb2 sb2 carryin GRP grpout grpin1 grpin2 DESCRIPTION Unsigned bitwise addition of the specified bits of grpin1 to grpin2 with carryin as input carry and then places the output in the specified bits of grpout The carry out is returned by the function if no error occurs If an error occurs the error code will be returned see ferr FILES SEE ALSO fsub 3 fsubc 3 faddc 3 vadd 3 BUGS fadcic 3 THOR USER S MANUAL fadde 3 NAME faddc Unsigned bitwise addition of a group to a number SYNOPSIS faddc grout msbo sbo grin1 msb1 lsb1 number carrin int carryout lsbo msb1 Isb1 number carryin GRP grout grinl DESCRIPTION Unsigned bitwise addition of the specified bits of grin to number with carryin as input carry and then places the output in the specified bits of grout The carry out is returned by the function if no error occurs An error code is returned on detection of an error condition see ferr FILES SEE ALSO fadd 3 fsubc 3 fsub 3 BUGS fand 3 THOR USER S MANUAL fand 3 NAME fand Logically ands specified bits of two signal groups SYNOPSIS fand grout msbo sbo grin1 msb1 Isb1 grin2 msb2 Isb2 int msbo Isbo msb1 Isb1 msb2 Isb2 GRP grout grin1 grin2 DESCRIPTION Logically ands specified bits of grin and grin2 and then places the output in the specified bits of grout See vand for a description of the logical and truth table FILES SEE ALSO vand 3 fandc 3
35. bits of a number with a signal group SYNOPSIS fcatca grpout msbo lsbo number grpin1 msb1 sb1 int msbo Isbo number msbl Isbl GRP grpout grpinl DESCRIPTION Concatenates specified bits of number to grpini and places the output in the specifed bits of grpout Number will be be the most significant portion of grpout FILES SEE ALSO catac function fcat function feopy function BUGS 13 1 fekbin 3 THOR USER S MANUAL fekbin 3 NAME fckbin checks that all bit values in the signal group are in the set ZERO ONE SYNOPSIS fckbin grpin msb sb int msb Isb GRP grpin DESCRIPTION Tests to see that all values of the bits between Isb and msb of the signal group grpin are in the set ZERO ONE RETURNS Returns PASSED if all values are valid otherwise it returns the value BINERROR FILES SEE ALSO fckvalue 3 fckrange 3 fckmsize 3 fckpty 3 BUGS fckmsize 3 THOR USER S MANUAL fckmsize 3 NAME fckmsize Verifies that the lsb and msb of a signal group is not larger than allowed SYNOPSIS fckmsize msb lsb int msb Isb DESCRIPTION Checks to see that the range from sb to msb is not larger than the maximum allowed word size The maximum allowed word size is defined as MAXBUSLEN RETURNS Returns PASSED if the range is valid otherwise MSIZEERROR is returned FILES SEE ALSO fckrange 3 BUGS 15 1 fckpty 3 THOR USER S MANUAL fckpty 3 NAME fckpty computes the ty
36. clude vec h THOR lib generic a DESCRIPTION Various vector functions or table look up variables are available to all C THOR models All vector functions amp fine some logic operation using a table look up approach where the indices into the table are integer logic values The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT All such vector functions are defined and contained in the archive library THOR lib generic a The C extem definitions are found in THOR includelvec h They are treated in C THOR models as global integer arrays All available supported vector functions are described in the manual pages of section vector INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfali 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 yxnor 3 vxor 3 AUTHOR Ernest J Frey 75 1 vfall 3 UNIX Programmer s Manual vfall 3 NAME vfall vector falling edge detection SYNOPSIS include vec h extem int vfall i DESCRIPTION Used to detect falling edges by a table look up approach using two integer logic values as indices The first index is the old logic value and the second index is the new logic value For example vfall oldck ck In a C model the old logic value is usually stored in an internal state The logic values must be e
37. cted for grpinl RETURNS Returns PASSED if no errors occur Returns a value lt FAILED if an error occurs see ferr 3 FILES SEE ALSO fxnor 3 fnorc 3 fiorc 3 vxnor 3v BUGS 47 1 fxor 3 THOR USER S MANUAL fxor 3 NAME fxor Performs a logical exclusive or on the specified bits of the signal groups SYNOPSIS fxor grpout msbo sbo grpin1 msb1 Isb1 grpin2 msb2 sb2 int msbo lsbo msb1 Isb1 msb2 lsb2 GRP erpout grpin1 grpin2 DESCRIE TION Performs a logical exclusive or on the specified bits of grpinl and grpin2 and then places the output in the specified bits of grpout RETURNS Returns PASSED if no errors occured It returns a value lt FAILED if an error occurs FILES SEE ALSO fxorc 3 fxnor 3 fxnorc 3 fior 3 fiorc 3 vxor 3 BUGS 48 1 fxorc 3 THOR USER S MANUAL fxorc 3 NAME fxorc Performs a logical exclusive or of the specified bits of a signal group and an integer SYNOPSIS fxorc grpout msbo sbo grpin1 msb1 lsb1 number int msbo lsbo msbl lsbl number BUS grpout grpin1 DESCRIPTION Performs an exclusive or on the specified bits of grpinl and number and then places the output in the specified bits of grpout See vor 3 for the exclusive or truth table The bits of number selected are the same as the bits selected for grpinl RETURNS Returns PASSED if no errors occur Returns a value lt FAILED if an error occurs see ferr 3 FILES SEE ALSO fxor 3 fxnor
38. e Avenue Palo Alto CA 94306 Telephone 415 723 0651 analyzer 3 THORUSER SMANUAL analyzer 3 NAME analyzer SYNOPSIS m analyzer n model_name i inA inB S 3 vs 0 DESCRIPTION The analyzer monitor displays graphically the state of the inputs inA inB connected to it The traces are displayed in real time while the simulation is running The state of the inputs is maintained internally so that the traces can be viewed once the simulator has finished The view is split into 2 sub windows a trace window and a text window The text window is used to enter commands and display command results The trace window displays the following information left signal names for traces top From left to right first time recorded time of first trace displayed time of last trace displayed last time recorded In the center the time of the current cursor position right Values of the signals under the cursor Command Syntax Commands are invoked by typing the command name followed by its arguments if any A Command name can be abbreviated just so long as enough characters are typed to distingish it from all other commands Command names and options are case insensitive Signal names can be specified by using regular expressions similar to the ones provided by csh The following metacharacters are provided Matches any sequence of 0 or more characters Matches any single character abc Matches any of the cha
39. e integer indices are restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 83 1 vtbufi 3 UNIX Programmer s Manual vibufi 3 NAME vtbufi vector inverting tri state buffer SYNOPSIS include vec h extern int vtbufi DESCRIPTION Equivalent to a single input single output inverting tri state buffer with active high enable Performs this tri state buffer operation by a table look up approach using two integer logic values as indices The first index is the enable and the second index is the data For example vtbufi enable data The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vtbufi 4 4 tristate inverting buffer tri input vtbufifen dat tri enable 3 3 3 3 1 0 2 2 2 2 2 2 2 2 2 2 E INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer indices is restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 84 1 vtgate 3 UNIX Programmer s Manual vtgate 3 NAME vtgate vector transmission gate SYNOPSIS include vec h extem int vtgate DESCRIPTION Equivalent to a CMOS transmission gate with complem
40. entary enables The output of this gate is a ONE if the gate is enabled a ZERO if the gate is disabled and UNDEF otherwise Performs this operation by a table look up approach using two integer logic values as indices The first index is the active low enable and the second index is the active high enable For example vtgate en en This function was developed to control the enable signal of a vbuf or vtbufi to build a polycell tri state buffer i e vbuf vtgate en en data The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as CMOS transmission gate w complementary enables int vtgate 4 4 enable ytgatef en en enable 1 1 1 1 0 1 2 2 2 1 2 2 2 1 2 2 E INCLUDE FILE vec h extem definition file ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vxnor 3 vxor 3 CAVEATS The indices are restricted to the integer set 0 1 2 3 AUTHOR Ernest J Frey 85 1 vxnor 3 THOR 3 0 vxnor 3 NAME vxnor vector XNOR two input XNOR table SYNOPSIS include vec h extem int vxnor DESCRIPTION Performs the boolean XNOR operation by a table look up approach using two integer logic values as indices Equivalent to a 2 input XNOR g
41. he specified bits of grpin to the left by number bits SYNOPSIS fshftl grpin msb Isb number shiftin int shiftin msb Isb GRP grpin DESCRIPTION Shifts the specified bits of grpin to the left lsb to msb the number of bits specified by number The value of shiftin is shifted in to replace the least significant bits shifted to the left RETURNS The last bit shifted out of the msb position is returned by the function If an error occurs then the value returned is less than zero see ferr 3 FILES SEE ALSO fshftr 3 frorl 3 frorr 3 ferr 3 BUGS 39 1 fshftr 3 THOR USER S MANUAL fshftr 3 NAME fshftr shifts the specified bits of grpin to the right by number bits SYNOPSIS fshftr grpin msb lsb number shiftin int shiftin msb lsb GRP erpin DESCRIPTION Shifts the specified bits of grpin to the right msb to Isb the number of bits specified by number The value of shiftin is shifted in to replace the most significant bits shifted to the right RETURNS The last bit shifted out of the lsb position is returned by the function If an error occurs then the value returned is less than zero see ferr 3 FILES SEE ALSO fshftl 3 frorl 3 frorr 3 ferr 3 BUGS 40 1 fshftr0 3 THOR USER S MANUAL fshftro 3 NAME fshftrO shifts the specified bits of grpin to the right by number bits SYNOPSIS fshftrO grpout msbo lsbo grpin msb Isb number int msbo Isbo msb Isb GRP grpout grpin DESCRIPT
42. hen the node is assumed to be acting as an input Now the slave node is set to the Thor value In this scheme some correspondence between Thor timing and that of the slave simulator must be made For working with Rsim the mapping is nearly direct Initially both simulators work together in time However if the user bypasses Thor and steps Rsim directly an offset is created This is handled by making the extra time free Thor does not try to catch up with Rsim or wind it back in time Hence simulation continues with the offset The user interface has two facets a map file and Thor commands In use Thor is run on the csl file for the design as usual using the interactive interface Once inside Thor the new commands can be used to activate the slave simulator for testing New THOR commands Several commands and options have been added to interactive Thor to support this simulator interface Like all Thor commands they may be abbreviated SIMULATE mapfile SIMULATE This command uses the mapfile to start up the proper simulator and builds the map between Thor nodes and the pins of the other simulator This map is used initially to properly set the inputs and biputs when they are driven by external logic Output checking is specified separately The simulate com mand with no mapfile allows the user begin working directly with the slave simulator For example this can be used to drop in to Rsim This mode can be exited
43. ill be written zoom in zoom out Zoom in or out by fac tor of 2 zoom seeAll Zoom out to show all the traces analyzer 3 THOR USER S MANUAL analyzer 3 Mouse Functions The analyzer only uses the left mouse button The other buttons will retain their usual meaning in Interviews Various functions are provided depending on where in the window the button is depressed as follows In Signal names The trace under the mouse is selected and will be moved to the trace position where the button is released If the button is released outside the traces area the selected trace will be removed from the display In Left Right arrow The traces are scrolled left right by half a page The cursor is not moved In the scrollbar If the mouse is depressed over the white box it can be stretched left right up to the point where the button is released This is equivalent to zooming in out by an arbitrary factor The cursor is not moved If the mouse is depressed in the gray area under the white box the visible part of the traces can be moved left right up to the point where the mouse is released The cursor is not moved If the mouse is depressed in the gray area outside the white box the window will be centered around the corresponding time step The cursor will be moved to the selected position In the traces The cursor is moved to the time step closest to the mouse position SEE ALSO gensim 1 banalyzer 3 THOR USER S M
44. in the specified portion of the group RETURNS The group grpin contains the incremented value Returns a value lt FAILED if an error occurs FILES SEE ALSO fdecr 3 fpack 3 funpack 3 fadd 3 fsub 3 BUGS 27 1 finitmem 3 THOR USER S MANUAL finitmem 3 NAME finitmem Initializes memory SYNOPSIS finitmem file mem nwords wsize char file int nwords wsize GRP mem DESCRIPTION Initializes random access memory from a file containing the initialization data Memory is declared using the GRP type declaration in the ST LIST portion of the model being defined The group mem is declared to be nwords x wsize long where nwords is the number of words of memory defined and wsize is the size of each word The format of the data file is address data comment where address the hex address to put the data data the data to be stored in hex comment any text until the end of line is a comment For example ST LIST GRP mem 256 ENDLIST finit datafile mem 32 8 This will declare and initialize the memory mem from the file datafile Mem has 32 words with each word being 8 bits long RETURNS Returns the value MODERROR if an error occurs during the initialization other wise it returns PASSED FILES SEE ALSO BUGS 28 1 finv 3 THOR USER S MANUAL finv 3 NAME finv invert specified bits of a signal group SYNOPSIS finv grpout msbo lsbo grpin1 msb1 Isb1 int Isbo msbo msb1 I sb1 GRP grpout grp
45. ing between the two models The orientation is always sim name Thor node Here is a short example for a circuit which resembles an I O pad s rsim buf rsm n bufl inputs ctl ctll in inl outputs out outl biputs bus bus This allows the Rsim model buf rsm to be checked Its inputs are labeled ctl and in output is out and biputs is bus This will be checked against the Thor instance called bufl which may be either a model or subnetwork both work with the same definition The corresponding Thor names are ctl1 inl outl and bus The description of the timing characteristics of each node is separated out as that is expected to be dependent on the Thor model only Sample Thor Session gurgi cat buftst csl generate stimulus g COUNT n src o ctl1 ctl2 in1 in2 phi_n1 s 1 vs 5 clock for checking f INV n phibar i phi_n1 o phi_q1 do 0 f _OR n somedrive i ctl1 ctl2 o check do 0 f AND n checker i phi_q1 check o check_q1 do 0 89 2 simint 5 Integrated testing using THOR simint 5 driver subnet sub driver i ctl 1 o out b bus 4 f AND n inbuf i bus o out do 1 f TBUF n outdrv i ctl in o bus do l f driver n bufl i ctll inl o outl b bus f driver n buf2 i ctl2 in2 o out2 b bus m BINOUT n dr1 i in1 ctl1 m B
46. inl DESCRIPTION Logically inverts specified bits of grpin and then places the output in the specified bits of grpout FILES SEE ALSO vinv 3 BUGS 29 fior 3 THOR USER S MANUAL fior 3 NAME fior Logically ORs specified bits of two signal groups SYNOPSIS fior grpout msbo sbo grpin1 msb1 Isb1 grpin2 msb2 Isb2 int msbo Isbo msbl Isb1 msb2 Isb2 GRP grpout grpinl grpin2 DESCRIPTION Performs a logical inclusive OR of the specified bits of grpinl and grpin2 and then places the output in the specified bits of grpout Msbo Ilsbo msb1 lsb1 msb2 lsb2 specify the most significant and least significant bit positions for each group FILES SEE ALSO vor 3 fiorc 3 BUGS 30 1 fiore 3 THOR USER S MANUAL fiorc 3 NAME fiorc Logically ORs the specifed bits of a signal group with number SYNOPSIS fiorc grpout msbo sbo grpin1 msb1 lsb1 number int msb0 Isbo msb1 Isb1 number GRP grpout grpinl DESCRIPTION Performs an inclusive OR of the specified bits of grpinl and number and then places the output in the specified bits of grpout The bits used in number have the same msb Isb correspondence as grpinl FILES SEE ALSO fior 3 vor 3 BUGS fpack 3 THOR USER S MANUAL fpack 3 NAME fpack convert specified bits of a signal group to a number SYNOPSIS fpack grpin msb sb int msb lsb GRP grpin DESCRIPTION Packs converts specified bits of the signal group grpin into an integer
47. lements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vfall 4 4 edge detection array new ck old ck 0 0 0 0 0 no fall 1 0 1 l 1 fall 1 0 1 1 1 potential fall 1 0 1 1 E INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer indices is restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 76 1 vinv 3 UNIX Programmer s Manual vinv 3 NAME vinv vector INV one input INV table SYNOPSIS include vec h extem int vinv DESCRIPTION Performs the boolean INV NOT operation by a table look up approach using an integer logic value as an index Equivalent to a single input INVERTER gate The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The one dimensional integer array is defined as int vinv 4 l input INVERTER gate 1 0 2 2 nh INCLUDE FILE vec h file containing extern definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer index is restricted to
48. nloff Turns auto stop on or off With no arguments the command prints the auto stop status If autostop is turned on the analyzer will stop the simulator if a trigger point is found see trace below base trace rum num Change the display base of trace trace nun to base num 2 8 or 16 Traces are numbered L n starting with the topmost trace blank Clear the text window and move the cursor to the topmost line continue Alow the simulator to continue The simulator may be stopped by either 1 a stop command 2 a trigger point was found and autostop was on and 3 a lack of memory Note that the state of the simulator is shown in the window banner delete tnum The trigger point corresponding to tnum is removed The numbers associated with trigger points are printed by the status command display num num2 Move trace number num2 to the position occupied by trace num2 The traces are shifted up or down as required exec jilename Execute analyzer commands from file filename first Find the first trigger point and move the cursor to that time last Find the last trigger point and move the cursor to that time list sigl sigN List the signals that match the regular expressions sigl sigN lines number Enlarge or shrink the text window to contain number lines The current limit is 2 10 help commands With no arguments it prints the list of commands otherwise a short description of each command is printed Again
49. ormation see the THOR tutorial THORtutor 1 The generic models are all specified with the f modelname construction in CSL as indicated above TBUF and tbuf are tristate buffers TBUFI and tbufi are tristate inverters These are active with high enable The first input is the enable the second is data input n2mux is an n bit word multiplexor with a single select line The inputs are in order of select n_bit first word n_bit_second word If select is 0 the first word is selected SEE ALSO mon 3 gen 3 ttl 3 mkmod 1 TI IOR 1 cio 1 THORtutor 1 53 1 mname 3 THOR USER S MANUAL mname 3 NAME mname iobname get user defined names SYNOPSIS include model h char mname char iobname type index int type index mname returns a pointer to the user defined name for the model This string will be that assigned by n name in the CSL description of the network iobname returns a pointer to the user defined name for an input output or biput of the model type can be either CINPUT COUTPUT or CBIPUT index is the in amp x of the input output or biput starting with 1 For example if in the CSL description the model s outputs are specified by n elementA o inA inB inC mname would return elementA and tobname COUTPUT 2 would return inB Note that model h is included automatically by mkmod 1 FILES model h SEE ALSO self_sched 3 current_time 3 mkmod 1 THOR 1 A
50. pe of parity of the specifed bits of a signal group SYNOPSIS fckpty grpin msb Isb int msb Isb GRP grpin DESCRIPTION An ODD EVEN parity check is performed on the specifed bits of grpin The parity is EVEN is the number of ONEs in the group is EVEN and is ODD otherwise RETURNS Returns ODD if odd parity is detected Returns EVEN if even parity is detected Returns a value lt FAILED if an error is encountered FILES SEE ALSO fckvalue 3 fckbin 3 BUGS fckrange 3 THOR USER S MANUAL fckrange 3 NAME fckrange verifies range of an msb lsb Pair SYNOPSIS fckrange msb1 Isb1 msb2 lsb2 int msb1 lsb1 msb2 Isb2 DESCRIPTION Verifies that the ranges i e msb lsb of the msb Isb pairs are equal The distance between the msb and sb must be the same for each pair The value of the msb and lsb in each pair do not need to be equal RETURNS Returns PASSED if the ranges are equal otherwise RANGEERROR is returned FILES None SEE ALSO fckrange3 3 fckmsize 3 BUGS 17 1 fckrange3 3 THOR USER S MANUAL fckrange3 3 NAME fckrange3 verifies range of an msb lsb for three functions SYNOPSIS fckrange3 msbl1 Isb1 msb2 lsb2 msb3 lsb3 int msb1 Isb1 msb2 lsb2 msb3 sb3 DESCRIPTION Verifies that the ranges i e msb Isb of the msb Isb pairs are equal The distance between the msb and sb must be the same for each pair The value of the msb and lsb in each pair do not need to be equal RETURNS Returns
51. racters a b c enclosed by cl c2 Matches any characters in the range cl c2 nJ n2 Matches any number in the range n n2 Escapes any of the previous metacharacters Although each regular expression is matched in the order in which it is entered NO sorting of the matching names is performed so there s no guarantee as to what the order of the resulting name list will be furthermore the same name may be matched twice as for example a a will expand to al a2 al a2 a10 with inputs al a2 and a10 Commands The following commands are available for the analyzer add sig sigN b num Add a new trace consisting of signals sig stgN and display the value of the signal group using base num Bases 2 binary 8 octal and 16 hex are available If no base is specified base 16 will be used There is no restriction on what signals may be grouped in a single trace but the maximum number is limited to 32 bits Sigl will be the LSB and sigN the MSB Remember that sigl sigN are regular expressions The name of a trace consisting of more than 1 signal will be displayed as follows name nJ n2 for a group of signals with common prefix name and the numerical postfix nl and n2 of the Ist and last signals respectively analyzer 3 THOR USER S MANUAL analyzer 3 GRP n x for a group of signals with no common prefix where n is the number of such a trace and x is the number of signals in the trace autostop o
52. re S 8 the clock period An example of usage is g CLOCK n clock o b s 3 vs 10 2 5 Where the output is named b the clock starts oscillating at time 10 the period is 5 and the transition occurs 2 time steps after the start of the period COUNT n outputs 1 state This is an n bit up counter The state is the increment period Outputs are in order of o msb sb If initial values are UNDEF then they are set to ZERO An example of usage is g COUNT n count o msb 3sb 2sb Isb s 1 vs 2 Where count is a 4 bit up counter that will increment every 2 time steps DCOUNT n outputs 1 state This is ann bit down counter The state is the decrement period Outputs are in order of o msb lsb If initial values are UNDEF then they are set to ZERO An example of usage is g DCOUNT n dcount o msb 3sb 2sb Isb vo 1 1 1 1 s 1 vs 5 Where dcount is a 4 bit down counter with initial value of 1111 that will decrement every 5 time steps FSIG n outputs 2 states States are used internally This is a signal generator that reads changes from a file whose name matches that of the element username the file format is as follows mnemonic1 of signals associated with mnemonic 1 mnemonic2 _of signals _associated_with_mnemonic2 mnemonicn _of signals_associated_with_mnemonicn time nmemonic hexvalue comment to be printed out to standard output as read The lines are in order according to groups of outputs starting with ou
53. s detected BIERROR wrong number of buputs detected MODERROR general failure in a model RETURNS The value PASSED is returned EXAMPLE The following is an example of how to use this call if x fckbin group msb lsb BINERROR ferr x TEST ROUTINE ferr 3 THOR USER S MANUAL ferr 3 The ferr routine will print out in readable format the result of the fckbin call that is stored in the variable x The parameter TEST ROUTINE will be prepended to the default message that is printed by ferr FILES esimerror h error codes SEE ALSO perror 2 fgetval 3 THOR USER S MANUAL fgetval 3 NAME fgetval Interactive routine to initialize a signal group SYNOPSIS fgetval grpin msb Isb int msb Isb GRP grpin DESCRIPTION Prompts the user to input the values of each bit of the specified portion of the group grpin The input always starts with the sb value and ends after the user enters the msb value RETURNS Returns the filled in group if no errors occur A value lt FAILED is returned if an error occurs FILES SEE ALSO fprval 3 fsetword 3 BUGS 26 1 fincr 3 THOR USER S MANUAL fincr 3 NAME fincr increments the value of specified portion of a signal group SYNOPSIS fincr grpin msb Isb int msb Isb GRP grpin DESCRIPTION The specifed portion of the signal group grpin is incremented by 1 No carry or overflow is returned Incrementing all ones returns all zeroes
54. sb number int number msb Isb GRP grpin DESCRIPTION Rotates all bits of grpin from msb to lsb the number of positions specified by number The direction of rotation is from msb to lsb The lsb position is circularly rotated into the msb position RETURNS The last bit rotated out of the sb position is returned by the function if no errors occur A value less than zero is returned on error see ferr 3 FILES SEE ALSO frorl 3 fshftl 3 fshftr 3 ferr 3 BUGS 36 1 fsckbin 3 THOR USER S MANUAL fsckbin 3 NAME fsckbin checks that the value of the signal are in the set ZERO ONE SYNOPSIS fsckbin sig SIG sig DESCRIPTION Tests to see that the value of the signal sig are in the set ZERO ONE RETURNS Returns PASSED if the value is valid otherwise it returns the value BINERROR FILES SEE ALSO fckvalue 3 fekrange 3 fckmsize 3 fekpty 3 fckbin 3 BUGS 37 1 fsetword 3 THOR USER S MANUAL fsetword 3 NAME fsetword set all specified bits in a signal group to a value SYNOPSIS fsetword grpin msb Isb value int msb Isb value GRP grpin DESCRIPTION Sets all of the bits specifed by the msb lsb range to the value specified by value Value may be any value RETURNS Returns PASSED if no erros are detected Otherwise it returns a value lt FAILED FILES SEE ALSO fgetval 3 BUGS 38 1 fshftl 3 THOR USER S MANUAL fshftl 3 NAME fshftl shifts t
55. t elk 6 D3 7 D4 1 2 of octal D type FF w common tristate control common clock and common clear positive edge triggered 7 inputs 4 outputs 5 internal states index input output states l CNTRL Q1 Q1 72 til 3 15 ttl 3 2 3 4 5 6 7 SEE ALSO THOR USER S MANUAL Clk Q2 Q2 CLR Q3 Q3 D1 Q4 Q4 D2 last elk D3 D4 mon 3 gen 3 generic 3 mkmod 1 THOR cio 1 73 ttt 3 vand 3 UNIX Programmer s Manual vand 3 NAME vand vector AND two input AND table SYNOPSIS include vec h extem int vand DESCRIF TION Performs the boolean AND operation by a table look up approach using two integer logic values as indices Equivalent to a 2 input AND gate The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The two dimensional integer array is defined as int vand 4 4 2 input AND gate 0 0 0 0 0 1 2 2 0 2 2 2 0 2 2 2 b INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vmap 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer indices is restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 74 1 vectors 3 UNIX Programmer s Manual vectors 3 NAME vectors vector functions table look up variables SYNOPSIS in
56. tates Rotate a series of bits to the right The vacant leftmost bit is filled with TOGL Tquote the rightmost bit The first state indicates the time to start rotating and the second indicates the amount of time between rotates If initial values are UNDEF the values will be set to 10 0 An example is g ROT8R n rot8r o 01 02 03 04 s 2 vs 5 2 Where the four bits 01 04 will be rotated every 2 time steps starting at time 5 n outputs at least 1 state Toggle value of outputs at each time point specified in the state list Time point list should be in increasing time order Note this model calculates not ZERO ONE and not anything but ZERO ZERO An example is g TOGL n togl o 01 02 s 5 vs 1 3 5 7 15 Where tog will toggle 01 and 02 at time steps 1 3 5 7 and 15 n outputs 3 states Read change vector from a file at the specified time period The first state is the time period The other two states are for internal use The filename matches the model username The file format is as follows Each statement in the file begins with either a T or a The designates a comment terminates by a The T designates that an output vector enclosed in quotes follows Values are specified using characters 0 1 u U z Z Note that the number of value characters between quotes must equal the number of outputs For example comment line 51 2 gen 3 THOR USER S MANUAL comment line T 0000 T 01UZ An
57. the set of integers 0 1 2 3 AUTHOR Ernest J Frey 77 1 vmap 3 UNIX Programmer s Manual vmap 3 NAME vmap vector MAP one input MAP table SYNOPSIS include vec h extem int vmap DESCRIPTION Performs the boolean identity operation by a table look up approach using an integer logic value as an index Equivalent to a single input NON INVERTING gate however a FLOAT is mapped into an UNDEF The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDEF FLOAT The one dimensional integer array is defined as int vmap 4 l input non inverting gate 0 1 2 2 INCLUDE FILE vec h file containing extem definition ARCHIVE LIBRARY generic a SEE ALSO vand 3 vfall 3 vinv 3 vnand 3 vnor 3 vor 3 vrise 3 vtbuf 3 vtbufi 3 vtgate 3 vxnor 3 vxor 3 CAVEATS The integer indices is restricted to the set of integers 0 1 2 3 AUTHOR Ernest J Frey 78 1 vnand 3 UNIX Programmer s Manual vnand 3 NAME vnand vector NAND two input NAND table SYNOPSIS include vec h extern int vnand DESCRIPTION Performs the boolean NAND operation by a table look up approach using two integer logic values as indices Equivalent to a 2 input NAND gate The logic values must be elements of the integer set 0 1 2 3 corresponding to the logic values ZERO ONE UNDER FLOAT The two dimensional integer array is defined as
58. tly verifying equivalent operation This technical report is part two of two parts and is formatted similar to UNIX manuals Part one contains the THOR tutorial and all the commands associated with THOR Part two contains descriptions of the general purpose functions used in models the parts library including many TTL components and the logic analyzer model For first time users the tutorial in the first report is the best starting place additionally the THOR 1 man page is the root of the documentation tree in that all other documents are referenced there Key Words and Phrases behavioral simulation functional model hierarchical network description Copyright 1988 by Robert Alverson Tom Blank Kiyoung Choi Sun Young Hwang Arturo Salz Larry Soule Thomas Rokicki ACKNOWLEDGMENTS Many acknowledgments are necessary since THOR s heritage is long Specifically the evolution started from the CSIM program at the University of Colorado where Professor Mike Lightner and Henry and Beverly Vellandi created the core system and documentation At Stanford we ve rewritten and greatly extended the original work through the labors of Robert Alverson Professor Tom Blank Kiyoung Choi Dr Sun Young Hwang Arturo Salz Larry Soule and Thomas Rokicki DISTRIBUTION TAPE A copy of the distribution tape can be obtained by writing or calling Software Distribution Center Office of Technology Licensing Stanford University 350 Cambridg
59. tput 1 The lines 50 1 gen 3 THOR USER S MANUAL gen 3 containing times mnemonics and values are in increasing order according to time For example bus 4 strobe l l bus 0 2 strobe l 3 strobe 0 5 bus A 6 strobe l 7 strobe 0 The file could be used with the following specification g FSIG n drive4bitregister o lsb 1sb 2sb msb strobe s 2 f REG4 n 4bitreg i strobe sb 1sb 2sb msb This specifies that FSIG will drive a 4 bit register with strobe The group of signals labeled bus in the file correspond to the signals Isb msb PATRN n outputs at least 2 states output a bit pattern to n outputs Successive bits are output according to period specified The first state is the period the rest are the bit pattern For example g PATRN n patrn 0 01 02 s 6 vs 5 1 0 1 1 0 This would generate a bit pattern of 1 0 1 1 O where the output would change every 5 time steps Outputs 01 and 02 will always have the same value ROTS8L n outputs 2 states Rotate a series of bits to the left The vacant rightmost bit is filled with the leftmost bit The first state indicates the time to start rotating and the second indicates the amount of time between rotates If initial values are UNDEF the values will be set to 0 01 An example is g ROTS8L n rot81 0 01 02 03 04 s 2 vs 5 2 Where the four bits 01 04 will be rotated every 2 time steps starting at time 5 ROTS8R n outputs 2 s
60. ude uarp h The following is an example of the output from the feopy function FDUMP START x FCOPY input group grpin msb 765 4 3 10210 FCOPY output group grpout msb 43210 10210 FDUMP eee END 4 44 RETURNS All output is directed to standard out stdout FILES None SEE ALSO fprval 3 BUGS Not all f functions use the FDUMP flag yet ferr 3 THOR USER S MANUAL ferr 3 NAME ferr prints the type of error requested SYNOPSIS ferr error comment int error char comment DESCRIPTION Ferr prints the descriptions of the errors in the input parameter error The parameter comment will be prepended to the default message printed by ferr Normally the name of the calling routine is put in comment Since errors may be ORed together error may contain more than one error Ferr will print all of the errors it finds The following errors are recognized found in esimerror h PASS No error found PASSED No error found VALUEERROR bit value not in the set 0 1 2 3 RANGEERROR msb lsb do not match for groups compared MSIZEERROR size of groups is too large abs msb Isb gt MAXBUSLEN _ BINERROR bit value not in the set 0 1 FAIL general failure UNDEFERROR UNDEF value found when not expected FLOATERROR FLOAT value found when not expected INERROR wrong number of inputs detected OUTERROR wrong number of outputs detected STERROR wrong number of state

THOR USER`S MANUAL - The Stanford University InfoLab

Contents

Download Pdf Manuals

Related Search

Related Contents