|
|
1.1 root 1: .TH SMOKE 10.1 UCDS
2: .SH NAME
3: smoke \- static circuit checks
4: .br
5: wcheck \- static circuit checker
6: .SH SYNOPSIS
7: .B smoke
8: [
9: .B -abclmnpsxL
10: ]
11: .I files
12: .br
13: .B wcheck
14: .I files
15: .SH DESCRIPTION
16: .I Smoke
17: reads and checks a circuit and reports simple
18: errors like
19: .IR lint(1)
20: would find in C programs.
21: .PP
22: The circuit description language is
23: .IR cdl (7).
24: The
25: .I files
26: are usually a circuit description file(s) made with
27: .IR jraw -w (10.1)
28: and/or
29: .IR cdmglob (10.1)
30: and the pins files with
31: .B \&.tt
32: lines like those given to
33: .IR cdmglob.
34: Files with net lists come first, pins files come second.
35: .PP
36: .I Wcheck
37: reads and checks a circuit description and reports simple errors found.
38: .PP
39: The circuit description language is
40: .IR cdl (7).
41: The
42: .I files
43: are usually a board description file
44: .RB ( .wb )
45: made with
46: .BR "board -w",
47: a chips description file made with
48: .BR "mkchip -t" ,
49: and
50: (a) circuit description file(s) made with
51: .B "draw -w"
52: and/or
53: .BR cdm .
54: .PP
55: The .tt line contains one character per pin on the chip according to
56: the following table:
57: .sp
58: .nf
59: \fB1\fP open collector output
60: \fB2\fP totem pole ttl output
61: \fB3\fP 3-state output
62: \fBi\fP input
63: \fBp\fP pull-up (for 1)
64: \fBd\fP pull-down
65: \fB0\fP 1 and p
66: \fB4\fP 3 and i
67: \fB5\fP 1 and i
68: \fB6\fP 1 and p and i
69: \fBj\fP p and i
70: \fBk\fP d and i
71: \fB9\fP voltage source
72: \fBv\fP vcc sink (.vb 1)
73: \fBw\fP .vb 2 sink
74: \fBx\fP .vb 3 sink
75: \fBy\fP .vb 4 sink
76: \fBz\fP .vb 5 sink
77: \fBg\fP ground
78: \fBn\fP no connect (use as tie point prohibited)
79: \fB8\fP analog output
80: .fi
81: .sp
82: The following are
83: .IR smoke
84: declarations only.
85: .nf
86: \fBa\fP analog input
87: \fBA\fP analog input/output pin
88: \fBs\fP switch contact
89: \fBt\fP terminator
90: \fBb\fP PAL undeclared pin
91: \fBI\fP current source (not supported)
92: \fBJ\fP current sink (not supported)
93: \fBD\fP + driver
94: \fBd\fP - driver
95: \fBR\fP + receiver
96: \fBr\fP - receiver
97: \fBP\fP pulldown
98: \fB.\fP no type
99: .fi
100: .sp
101: .PP
102: The various options for
103: .IR smoke
104: are
105: .TP 7
106: .B -a
107: Don't print out errors on analog nets.
108: .TP 7
109: .B -b
110: Don't print out errors on nets with bidirectional pins.
111: .TP 7
112: .B -c
113: Print out the entire circuit with type declarations by each pin (but
114: Does \fBnot\fP do any checking.
115: .TP 7
116: .B -l
117: Don't complain about loading errors.
118: .TP 7
119: .B -m
120: Don't complain about lone pins on macro signals.
121: .TP 7
122: .B -n
123: Turn on `complete' nets; when errors occur, nets will be completely printed
124: out (when used with
125: .BR -x ).
126: .TP 7
127: .B -p
128: Turn on paranoid mode;
129: .IR smoke
130: normally doesn't complain if
131: there are any undeclared pins in a net. Now it will.
132: .TP 7
133: .B -s
134: Ignore multiple source messages. Not recommended for general use.
135: .TP 7
136: .B -x
137: Turn on extra (excessive) mode. Offending nets will be printed out in
138: gory detail; \fIvery\fP useful for debugging the nets it complains about.
139: .TP 7
140: .B \-L
141: Ignore lonely pins with names beginning with
142: .B $
143: (local names).
144: .SH BUGS
145: In
146: .IR smoke,
147: the last definition of the chip is the one that counts.
148: Doesn't handle ECL.
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.