]> sigrok.org Git - libsigrokdecode.git/blame - decoders/can/pd.py
can: add basic CAN-FD handling of non BRS extended frames
[libsigrokdecode.git] / decoders / can / pd.py
CommitLineData
702fa251 1##
50bd5d25 2## This file is part of the libsigrokdecode project.
702fa251 3##
e20f455c 4## Copyright (C) 2012-2013 Uwe Hermann <uwe@hermann-uwe.de>
38b40330 5## Copyright (C) 2019 Stephan Thiele <stephan.thiele@mailbox.org>
702fa251
UH
6##
7## This program is free software; you can redistribute it and/or modify
8## it under the terms of the GNU General Public License as published by
9## the Free Software Foundation; either version 2 of the License, or
10## (at your option) any later version.
11##
12## This program is distributed in the hope that it will be useful,
13## but WITHOUT ANY WARRANTY; without even the implied warranty of
14## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15## GNU General Public License for more details.
16##
17## You should have received a copy of the GNU General Public License
4539e9ca 18## along with this program; if not, see <http://www.gnu.org/licenses/>.
702fa251 19##
702fa251
UH
20
21import sigrokdecode as srd
22
21cda951
UH
23class SamplerateError(Exception):
24 pass
25
702fa251 26class Decoder(srd.Decoder):
64d87119 27 api_version = 3
702fa251
UH
28 id = 'can'
29 name = 'CAN'
9e1437a0 30 longname = 'Controller Area Network'
702fa251
UH
31 desc = 'Field bus protocol for distributed realtime control.'
32 license = 'gplv2+'
33 inputs = ['logic']
6cbba91f 34 outputs = []
d6d8a8a4 35 tags = ['Automotive']
6a15597a 36 channels = (
702fa251 37 {'id': 'can_rx', 'name': 'CAN RX', 'desc': 'CAN bus line'},
da9bcbd9 38 )
84c1c0b5 39 options = (
b0918d40
UH
40 {'id': 'bitrate', 'desc': 'Bitrate (bits/s)', 'default': 1000000},
41 {'id': 'sample_point', 'desc': 'Sample point (%)', 'default': 70.0},
84c1c0b5 42 )
da9bcbd9
BV
43 annotations = (
44 ('data', 'CAN payload data'),
45 ('sof', 'Start of frame'),
46 ('eof', 'End of frame'),
47 ('id', 'Identifier'),
48 ('ext-id', 'Extended identifier'),
49 ('full-id', 'Full identifier'),
50 ('ide', 'Identifier extension bit'),
51 ('reserved-bit', 'Reserved bit 0 and 1'),
52 ('rtr', 'Remote transmission request'),
53 ('srr', 'Substitute remote request'),
54 ('dlc', 'Data length count'),
55 ('crc-sequence', 'CRC sequence'),
56 ('crc-delimiter', 'CRC delimiter'),
57 ('ack-slot', 'ACK slot'),
58 ('ack-delimiter', 'ACK delimiter'),
59 ('stuff-bit', 'Stuff bit'),
60 ('warnings', 'Human-readable warnings'),
544038d9 61 ('bit', 'Bit'),
d4a28d0f
UH
62 )
63 annotation_rows = (
544038d9 64 ('bits', 'Bits', (15, 17)),
2fac4493
UH
65 ('fields', 'Fields', tuple(range(15))),
66 ('warnings', 'Warnings', (16,)),
da9bcbd9 67 )
fd41596a 68 fd = False
702fa251 69
92b7b49f 70 def __init__(self):
10aeb8ea
GS
71 self.reset()
72
0102e92b
ST
73 def dlc2len(self, dlc):
74 return [0, 1, 2, 3, 4, 5, 6, 7, 8, 12, 16, 20, 24, 32, 48, 64][dlc]
75
10aeb8ea 76 def reset(self):
f372d597 77 self.samplerate = None
702fa251
UH
78 self.reset_variables()
79
f372d597 80 def start(self):
be465111 81 self.out_ann = self.register(srd.OUTPUT_ANN)
702fa251 82
f372d597
BV
83 def metadata(self, key, value):
84 if key == srd.SRD_CONF_SAMPLERATE:
85 self.samplerate = value
86 self.bit_width = float(self.samplerate) / float(self.options['bitrate'])
300f9194 87 self.sample_point = (self.bit_width / 100.0) * self.options['sample_point']
702fa251 88
4b1813b4
UH
89 # Generic helper for CAN bit annotations.
90 def putg(self, ss, es, data):
300f9194 91 left, right = int(self.sample_point), int(self.bit_width - self.sample_point)
4b1813b4
UH
92 self.put(ss - left, es + right, self.out_ann, data)
93
94 # Single-CAN-bit annotation using the current samplenum.
e20f455c 95 def putx(self, data):
4b1813b4
UH
96 self.putg(self.samplenum, self.samplenum, data)
97
98 # Single-CAN-bit annotation using the samplenum of CAN bit 12.
99 def put12(self, data):
100 self.putg(self.ss_bit12, self.ss_bit12, data)
101
102 # Multi-CAN-bit annotation from self.ss_block to current samplenum.
103 def putb(self, data):
104 self.putg(self.ss_block, self.samplenum, data)
e20f455c 105
702fa251
UH
106 def reset_variables(self):
107 self.state = 'IDLE'
108 self.sof = self.frame_type = self.dlc = None
109 self.rawbits = [] # All bits, including stuff bits
110 self.bits = [] # Only actual CAN frame bits (no stuff bits)
111 self.curbit = 0 # Current bit of CAN frame (bit 0 == SOF)
112 self.last_databit = 999 # Positive value that bitnum+x will never match
4b1813b4
UH
113 self.ss_block = None
114 self.ss_bit12 = None
115 self.ss_databytebits = []
702fa251 116
45a50880
GS
117 # Poor man's clock synchronization. Use signal edges which change to
118 # dominant state in rather simple ways. This naive approach is neither
119 # aware of the SYNC phase's width nor the specific location of the edge,
120 # but improves the decoder's reliability when the input signal's bitrate
121 # does not exactly match the nominal rate.
122 def dom_edge_seen(self, force = False):
123 self.dom_edge_snum = self.samplenum
124 self.dom_edge_bcount = self.curbit
125
126 def bit_sampled(self):
127 # EMPTY
128 pass
129
64d87119
GS
130 # Determine the position of the next desired bit's sample point.
131 def get_sample_point(self, bitnum):
45a50880
GS
132 samplenum = self.dom_edge_snum
133 samplenum += int(self.bit_width * (bitnum - self.dom_edge_bcount))
134 samplenum += int(self.sample_point)
300f9194 135 return samplenum
702fa251
UH
136
137 def is_stuff_bit(self):
138 # CAN uses NRZ encoding and bit stuffing.
139 # After 5 identical bits, a stuff bit of opposite value is added.
a0128522 140 # But not in the CRC delimiter, ACK, and end of frame fields.
cffb6592 141 if len(self.bits) > self.last_databit + 17:
a0128522 142 return False
702fa251
UH
143 last_6_bits = self.rawbits[-6:]
144 if last_6_bits not in ([0, 0, 0, 0, 0, 1], [1, 1, 1, 1, 1, 0]):
145 return False
146
147 # Stuff bit. Keep it in self.rawbits, but drop it from self.bits.
702fa251
UH
148 self.bits.pop() # Drop last bit.
149 return True
150
151 def is_valid_crc(self, crc_bits):
152 return True # TODO
153
154 def decode_error_frame(self, bits):
155 pass # TODO
156
157 def decode_overload_frame(self, bits):
158 pass # TODO
159
160 # Both standard and extended frames end with CRC, CRC delimiter, ACK,
161 # ACK delimiter, and EOF fields. Handle them in a common function.
162 # Returns True if the frame ended (EOF), False otherwise.
163 def decode_frame_end(self, can_rx, bitnum):
164
4b1813b4
UH
165 # Remember start of CRC sequence (see below).
166 if bitnum == (self.last_databit + 1):
167 self.ss_block = self.samplenum
168
741dba78 169 if self.fd:
fd41596a 170 if self.dlc2len(self.dlc) < 16:
741dba78
ST
171 self.crc_len = 27 # 17 + SBC + stuff bits
172 else:
fd41596a 173 self.crc_len = 32 # 21 + SBC + stuff bits
741dba78
ST
174 else:
175 self.crc_len = 15
176
177 # CRC sequence (15 bits, 17 bits or 21 bits)
178 elif bitnum == (self.last_databit + self.crc_len):
179 if self.fd:
fd41596a 180 if self.dlc2len(self.dlc) < 16:
741dba78
ST
181 crc_type = "CRC-17"
182 else:
183 crc_type = "CRC-21"
184 else:
b177af15 185 crc_type = "CRC" # TODO: CRC-15 (will break existing tests)
741dba78 186
702fa251 187 x = self.last_databit + 1
741dba78 188 crc_bits = self.bits[x:x + self.crc_len + 1]
702fa251 189 self.crc = int(''.join(str(d) for d in crc_bits), 2)
741dba78
ST
190 self.putb([11, ['%s sequence: 0x%04x' % (crc_type, self.crc),
191 '%s: 0x%04x' % (crc_type, self.crc), '%s' % crc_type]])
702fa251 192 if not self.is_valid_crc(crc_bits):
74c9bb3c 193 self.putb([16, ['CRC is invalid']])
702fa251
UH
194
195 # CRC delimiter bit (recessive)
741dba78 196 elif bitnum == (self.last_databit + self.crc_len + 1):
74c9bb3c
UH
197 self.putx([12, ['CRC delimiter: %d' % can_rx,
198 'CRC d: %d' % can_rx, 'CRC d']])
2fac4493
UH
199 if can_rx != 1:
200 self.putx([16, ['CRC delimiter must be a recessive bit']])
702fa251
UH
201
202 # ACK slot bit (dominant: ACK, recessive: NACK)
741dba78 203 elif bitnum == (self.last_databit + self.crc_len + 2):
702fa251 204 ack = 'ACK' if can_rx == 0 else 'NACK'
74c9bb3c 205 self.putx([13, ['ACK slot: %s' % ack, 'ACK s: %s' % ack, 'ACK s']])
702fa251
UH
206
207 # ACK delimiter bit (recessive)
741dba78 208 elif bitnum == (self.last_databit + self.crc_len + 3):
74c9bb3c
UH
209 self.putx([14, ['ACK delimiter: %d' % can_rx,
210 'ACK d: %d' % can_rx, 'ACK d']])
2fac4493
UH
211 if can_rx != 1:
212 self.putx([16, ['ACK delimiter must be a recessive bit']])
702fa251 213
4b1813b4 214 # Remember start of EOF (see below).
741dba78 215 elif bitnum == (self.last_databit + self.crc_len + 4):
4b1813b4
UH
216 self.ss_block = self.samplenum
217
702fa251 218 # End of frame (EOF), 7 recessive bits
b177af15 219 elif bitnum == (self.last_databit + self.crc_len + 10):
74c9bb3c 220 self.putb([2, ['End of frame', 'EOF', 'E']])
2fac4493
UH
221 if self.rawbits[-7:] != [1, 1, 1, 1, 1, 1, 1]:
222 self.putb([16, ['End of frame (EOF) must be 7 recessive bits']])
702fa251
UH
223 self.reset_variables()
224 return True
225
226 return False
227
228 # Returns True if the frame ended (EOF), False otherwise.
229 def decode_standard_frame(self, can_rx, bitnum):
230
38b40330
ST
231 # Bit 14: FDF (Flexible Data Format)
232 # Has to be sent dominant when FD frame, has to be sent recessive when classic CAN frame.
702fa251 233 if bitnum == 14:
38b40330
ST
234 self.fd = True if can_rx else False
235
b177af15
ST
236 if self.fd:
237 self.putx([7, ['Flexible Data Format: %d' % can_rx,
238 'FDF: %d' % can_rx,
239 'FDF']])
240 else:
241 self.putx([7, ['Reserved bit 0: %d' % can_rx,
242 'RB0: %d' % can_rx,
243 'RB0']])
38b40330
ST
244
245 # SRR Substitute Remote Request
246 if self.fd:
247 self.put12([8, ['Substitute Remote Request', 'SRR']])
7f75d507 248 self.dlc_start = 18
38b40330
ST
249 else:
250 # Bit 12: Remote transmission request (RTR) bit
251 # Data frame: dominant, remote frame: recessive
252 # Remote frames do not contain a data field.
253 rtr = 'remote' if self.bits[12] == 1 else 'data'
254 self.put12([8, ['Remote transmission request: %s frame' % rtr,
255 'RTR: %s frame' % rtr, 'RTR']])
7f75d507 256 self.dlc_start = 15
38b40330 257
7f75d507
ST
258 if bitnum == 15:
259 if self.fd:
260 self.putx([7, ['Reserved: %d' % can_rx, 'R0: %d' % can_rx, 'R0']])
261
262 if bitnum == 16:
263 if self.fd:
264 self.putx([7, ['Bit rate switch: %d' % can_rx, 'BRS: %d' % can_rx, 'BRS']])
702fa251 265
7f75d507
ST
266 if bitnum == 17:
267 if self.fd:
268 self.putx([7, ['Error state indicator: %d' % can_rx, 'ESI: %d' % can_rx, 'ESI']])
4b1813b4
UH
269
270 # Remember start of DLC (see below).
7f75d507 271 elif bitnum == self.dlc_start:
4b1813b4 272 self.ss_block = self.samplenum
702fa251
UH
273
274 # Bits 15-18: Data length code (DLC), in number of bytes (0-8).
7f75d507
ST
275 elif bitnum == self.dlc_start + 3:
276 self.dlc = int(''.join(str(d) for d in self.bits[self.dlc_start:self.dlc_start + 4]), 2)
b177af15
ST
277 self.putb([10, ['Data length code: %d' % self.dlc,
278 'DLC: %d' % self.dlc, 'DLC']])
fd41596a 279 self.last_databit = self.dlc_start + 3 + (self.dlc2len(self.dlc) * 8)
b177af15
ST
280 if self.dlc > 8 and not self.fd:
281 self.putb([16, ['Data length code (DLC) > 8 is not allowed']])
702fa251 282
4b1813b4 283 # Remember all databyte bits, except the very last one.
7f75d507 284 elif bitnum in range(self.dlc_start + 4, self.last_databit):
4b1813b4
UH
285 self.ss_databytebits.append(self.samplenum)
286
702fa251
UH
287 # Bits 19-X: Data field (0-8 bytes, depending on DLC)
288 # The bits within a data byte are transferred MSB-first.
289 elif bitnum == self.last_databit:
4b1813b4 290 self.ss_databytebits.append(self.samplenum) # Last databyte bit.
fd41596a 291 for i in range(self.dlc2len(self.dlc)):
7f75d507 292 x = self.dlc_start + 4 + (8 * i)
702fa251 293 b = int(''.join(str(d) for d in self.bits[x:x + 8]), 2)
4b1813b4
UH
294 ss = self.ss_databytebits[i * 8]
295 es = self.ss_databytebits[((i + 1) * 8) - 1]
534ae912
UH
296 self.putg(ss, es, [0, ['Data byte %d: 0x%02x' % (i, b),
297 'DB %d: 0x%02x' % (i, b), 'DB']])
4b1813b4 298 self.ss_databytebits = []
702fa251
UH
299
300 elif bitnum > self.last_databit:
301 return self.decode_frame_end(can_rx, bitnum)
302
303 return False
304
305 # Returns True if the frame ended (EOF), False otherwise.
306 def decode_extended_frame(self, can_rx, bitnum):
307
4b1813b4
UH
308 # Remember start of EID (see below).
309 if bitnum == 14:
310 self.ss_block = self.samplenum
655f8b16 311 self.fd = False
312 self.dlc_start = 35
4b1813b4 313
702fa251 314 # Bits 14-31: Extended identifier (EID[17..0])
4b1813b4 315 elif bitnum == 31:
702fa251 316 self.eid = int(''.join(str(d) for d in self.bits[14:]), 2)
534ae912 317 s = '%d (0x%x)' % (self.eid, self.eid)
74c9bb3c 318 self.putb([4, ['Extended Identifier: %s' % s,
534ae912 319 'Extended ID: %s' % s, 'Extended ID', 'EID']])
702fa251
UH
320
321 self.fullid = self.id << 18 | self.eid
534ae912 322 s = '%d (0x%x)' % (self.fullid, self.fullid)
74c9bb3c 323 self.putb([5, ['Full Identifier: %s' % s, 'Full ID: %s' % s,
534ae912 324 'Full ID', 'FID']])
702fa251
UH
325
326 # Bit 12: Substitute remote request (SRR) bit
74c9bb3c 327 self.put12([9, ['Substitute remote request: %d' % self.bits[12],
534ae912 328 'SRR: %d' % self.bits[12], 'SRR']])
702fa251
UH
329
330 # Bit 32: Remote transmission request (RTR) bit
331 # Data frame: dominant, remote frame: recessive
332 # Remote frames do not contain a data field.
655f8b16 333
334 # Remember start of RTR (see below).
702fa251
UH
335 if bitnum == 32:
336 rtr = 'remote' if can_rx == 1 else 'data'
74c9bb3c 337 self.putx([8, ['Remote transmission request: %s frame' % rtr,
534ae912 338 'RTR: %s frame' % rtr, 'RTR']])
702fa251 339
655f8b16 340 # TODO: annotate as R1 on FD frame
341
702fa251
UH
342 # Bit 33: RB1 (reserved bit)
343 elif bitnum == 33:
655f8b16 344 self.fd = True if can_rx else False
345
346 if self.fd:
347 self.dlc_start = 37
348 self.putx([7, ['Flexible Data Format: %d' % can_rx,
349 'FDF: %d' % can_rx, 'FDF']])
350 else:
351 self.putx([7, ['Reserved bit 1: %d' % can_rx,
352 'RB1: %d' % can_rx, 'RB1']])
702fa251
UH
353
354 # Bit 34: RB0 (reserved bit)
355 elif bitnum == 34:
74c9bb3c 356 self.putx([7, ['Reserved bit 0: %d' % can_rx,
534ae912 357 'RB0: %d' % can_rx, 'RB0']])
702fa251 358
655f8b16 359 elif bitnum == 35 and self.fd:
360 self.putx([7, ['Bit rate switch: %d' % can_rx,
361 'BRS: %d' % can_rx, 'BRS']])
362
363 elif bitnum == 36 and self.fd:
364 self.putx([7, ['Error state indicator: %d' % can_rx,
365 'ESI: %d' % can_rx, 'ESI']])
366
4b1813b4 367 # Remember start of DLC (see below).
655f8b16 368 elif bitnum == self.dlc_start:
4b1813b4
UH
369 self.ss_block = self.samplenum
370
702fa251 371 # Bits 35-38: Data length code (DLC), in number of bytes (0-8).
655f8b16 372 elif bitnum == self.dlc_start + 3:
373 self.dlc = int(''.join(str(d) for d in self.bits[self.dlc_start:self.dlc_start + 4]), 2)
b177af15
ST
374 self.putb([10, ['Data length code: %d' % self.dlc,
375 'DLC: %d' % self.dlc, 'DLC']])
655f8b16 376 self.last_databit = self.dlc_start + 3 + (self.dlc2len(self.dlc) * 8)
702fa251 377
4b1813b4 378 # Remember all databyte bits, except the very last one.
655f8b16 379 elif bitnum in range(self.dlc_start + 4, self.last_databit):
4b1813b4
UH
380 self.ss_databytebits.append(self.samplenum)
381
702fa251
UH
382 # Bits 39-X: Data field (0-8 bytes, depending on DLC)
383 # The bits within a data byte are transferred MSB-first.
384 elif bitnum == self.last_databit:
4b1813b4 385 self.ss_databytebits.append(self.samplenum) # Last databyte bit.
fd41596a 386 for i in range(self.dlc2len(self.dlc)):
655f8b16 387 x = self.dlc_start + 4 + (8 * i)
702fa251 388 b = int(''.join(str(d) for d in self.bits[x:x + 8]), 2)
4b1813b4
UH
389 ss = self.ss_databytebits[i * 8]
390 es = self.ss_databytebits[((i + 1) * 8) - 1]
534ae912
UH
391 self.putg(ss, es, [0, ['Data byte %d: 0x%02x' % (i, b),
392 'DB %d: 0x%02x' % (i, b), 'DB']])
4b1813b4 393 self.ss_databytebits = []
702fa251
UH
394
395 elif bitnum > self.last_databit:
396 return self.decode_frame_end(can_rx, bitnum)
397
398 return False
399
400 def handle_bit(self, can_rx):
401 self.rawbits.append(can_rx)
402 self.bits.append(can_rx)
403
404 # Get the index of the current CAN frame bit (without stuff bits).
405 bitnum = len(self.bits) - 1
406
702fa251
UH
407 # If this is a stuff bit, remove it from self.bits and ignore it.
408 if self.is_stuff_bit():
544038d9 409 self.putx([15, [str(can_rx)]])
702fa251
UH
410 self.curbit += 1 # Increase self.curbit (bitnum is not affected).
411 return
544038d9
UH
412 else:
413 self.putx([17, [str(can_rx)]])
702fa251
UH
414
415 # Bit 0: Start of frame (SOF) bit
416 if bitnum == 0:
2fac4493
UH
417 self.putx([1, ['Start of frame', 'SOF', 'S']])
418 if can_rx != 0:
74c9bb3c 419 self.putx([16, ['Start of frame (SOF) must be a dominant bit']])
702fa251 420
4b1813b4
UH
421 # Remember start of ID (see below).
422 elif bitnum == 1:
423 self.ss_block = self.samplenum
424
702fa251
UH
425 # Bits 1-11: Identifier (ID[10..0])
426 # The bits ID[10..4] must NOT be all recessive.
427 elif bitnum == 11:
428 self.id = int(''.join(str(d) for d in self.bits[1:]), 2)
534ae912 429 s = '%d (0x%x)' % (self.id, self.id),
74c9bb3c 430 self.putb([3, ['Identifier: %s' % s, 'ID: %s' % s, 'ID']])
2fac4493
UH
431 if (self.id & 0x7f0) == 0x7f0:
432 self.putb([16, ['Identifier bits 10..4 must not be all recessive']])
702fa251
UH
433
434 # RTR or SRR bit, depending on frame type (gets handled later).
435 elif bitnum == 12:
4b1813b4
UH
436 # self.putx([0, ['RTR/SRR: %d' % can_rx]]) # Debug only.
437 self.ss_bit12 = self.samplenum
702fa251
UH
438
439 # Bit 13: Identifier extension (IDE) bit
440 # Standard frame: dominant, extended frame: recessive
441 elif bitnum == 13:
442 ide = self.frame_type = 'standard' if can_rx == 0 else 'extended'
74c9bb3c 443 self.putx([6, ['Identifier extension bit: %s frame' % ide,
534ae912 444 'IDE: %s frame' % ide, 'IDE']])
702fa251
UH
445
446 # Bits 14-X: Frame-type dependent, passed to the resp. handlers.
447 elif bitnum >= 14:
448 if self.frame_type == 'standard':
449 done = self.decode_standard_frame(can_rx, bitnum)
450 else:
451 done = self.decode_extended_frame(can_rx, bitnum)
452
453 # The handlers return True if a frame ended (EOF).
454 if done:
455 return
456
457 # After a frame there are 3 intermission bits (recessive).
458 # After these bits, the bus is considered free.
459
460 self.curbit += 1
461
64d87119 462 def decode(self):
21cda951
UH
463 if not self.samplerate:
464 raise SamplerateError('Cannot decode without samplerate.')
702fa251 465
64d87119 466 while True:
702fa251
UH
467 # State machine.
468 if self.state == 'IDLE':
469 # Wait for a dominant state (logic 0) on the bus.
64d87119 470 (can_rx,) = self.wait({0: 'l'})
702fa251 471 self.sof = self.samplenum
45a50880 472 self.dom_edge_seen(force = True)
702fa251
UH
473 self.state = 'GET BITS'
474 elif self.state == 'GET BITS':
475 # Wait until we're in the correct bit/sampling position.
64d87119 476 pos = self.get_sample_point(self.curbit)
45a50880
GS
477 (can_rx,) = self.wait([{'skip': pos - self.samplenum}, {0: 'f'}])
478 if self.matched[1]:
479 self.dom_edge_seen()
480 if self.matched[0]:
481 self.handle_bit(can_rx)
482 self.bit_sampled()