|
|
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.