def device_initializer(sc, idcode):
maskedidcode = (idcode&bitarray('00001111111111111111111111111111'))\
.tobytes()
if maskedidcode in deviceDrivers.device_driver_lookup:
return deviceDrivers.device_driver_lookup[maskedidcode]\
(sc, idcode)
return JTAGUnsupportedDevice(sc, idcode)
def to_bitstream(self, name, reg_len, mapdata):
#devicedesc):
#name = devicedesc._device_name.replace("_"+devicedesc._chip_package, '').lower()
#mapf = open(os.path.join(adapt_base_dir, "res", "map", "%s.map"%name))
#mapf = open(os.path.join("/home/diamondman/Downloads/digilent.adept.runtime_2.16.5-x86_64/data/xbr", "%s.map"%name))
#reader = csv.reader(mapf, delimiter='\t')
#mapdata = [row for row in reader]
#reg_len = devicedesc._ins_reg_map['ISC_PROGRAM'].length
if "xc2c32" in name:
addr_len = 6
align = [0, 259]
else:
addr_len = 7
if "xc2c64" in name:
align = []
elif "xc2c128" in name:
align = [0,375,376,751]
elif "xc2c256" in name:
align = [0,681,682,1363]
outbuffers = []
for col in range(len(mapdata[0])):
outbf = bitarray(reg_len-addr_len)
outbf.setall(True)
for row in range(len(mapdata)):
v = mapdata[row][col]
if v.isdigit():
outbf[row] = self.fuses[int(v)]
elif row in align:
outbf[row] = 0
elif v in ["done_1", "done<1>"]:
outbf[row] = 0
#elif v in ["done_0", "done<0>"]:
# outbf[row] = 1
# outbf[0] = 1
#elif "sec_" in v:
# outbf[row] = 1
#elif v == "":
# outbf[row] = 1
outbuffers.append(graycode_buff(col, addr_len)+outbf)
return BitStream(outbuffers)
def to_bitstream(self, name, reg_len, mapdata):
#devicedesc):
#name = devicedesc._device_name.replace("_"+devicedesc._chip_package, '').lower()
#mapf = open(os.path.join(adapt_base_dir, "res", "map", "%s.map"%name))
#mapf = open(os.path.join("/home/diamondman/Downloads/digilent.adept.runtime_2.16.5-x86_64/data/xbr", "%s.map"%name))
#reader = csv.reader(mapf, delimiter='\t')
#mapdata = [row for row in reader]
#reg_len = devicedesc._ins_reg_map['ISC_PROGRAM'].length
if "xc2c32" in name:
addr_len = 6
align = [0, 259]
else:
addr_len = 7
if "xc2c64" in name:
align = []
elif "xc2c128" in name:
align = [0, 375, 376, 751]
elif "xc2c256" in name:
align = [0, 681, 682, 1363]
outbuffers = []
for col in range(len(mapdata[0])):
outbf = bitarray(reg_len - addr_len)
outbf.setall(True)
for row in range(len(mapdata)):
v = mapdata[row][col]
if v.isdigit():
outbf[row] = self.fuses[int(v)]
elif row in align:
outbf[row] = 0
elif v in ["done_1", "done<1>"]:
outbf[row] = 0
#elif v in ["done_0", "done<0>"]:
# outbf[row] = 1
# outbf[0] = 1
#elif "sec_" in v:
# outbf[row] = 1
#elif v == "":
# outbf[row] = 1
outbuffers.append(graycode_buff(col, addr_len) + outbf)
return BitStream(outbuffers)
def __init__(self, path):
self.entity_started = False
self.entity_finished = False
self.device_name = None
self.default_test = None
self.default_fuse = None
self.fuse_count = None
self.checksum = None
self.pin_count = None
self.dev_id = None
self.fuses = bitarray()
with open(path) as f:
last_addr = 0
for line in f:
line = line.replace('\n', '').replace('\r','')
if not self.entity_started:
if '\x02' in line:
stx_index = line.index('\x02')
line = line[stx_index+1:]
self.entity_started = True
else:
continue
if self.entity_finished:
break
if '\x03' in line:
etx_index = line.index('\x03')
line = line[:etx_index]
self.entity_finished = True
if len(line)==0:
continue
if line[-1] != '*':
raise Exception("F**K")
else:
line = line[:-1]
term = line[0].upper()
if term == 'L':
space_index = line.index(' ')
addr = int(line[1:space_index])
addr_diff = addr-len(self.fuses)
if addr_diff<0:
raise Exception("Addresses for fuse bits must monotonically increase")
if addr_diff:
self.fuses += bitarray([bool(self.default_fuse)]*addr_diff)
data = bitarray(line[space_index+1:].translate({ord(' '): None}))
self.fuses += data
elif term == 'N':
if "DEVICE" in line:
term_index = line.index("DEVICE")
self.device_name = line[term_index+7:].replace(' ', '')
elif term == 'C':
self.checksum = int(line[1:].replace(' ', ''), 16)
elif term == 'J':
self.dev_id = line[1:]
elif term == 'F':
default_fuse_str = line[1:].replace(' ', '')
if len(default_fuse_str) is not 1:
raise Exception("F term can only have one bit")
self.default_fuse = int(default_fuse_str, 2)
elif term == 'X':
default_test_str = line[1:].replace(' ', '')
if len(default_test_str) is not 1:
raise Exception("X term can only have one bit")
self.default_test = int(default_test_str, 2)
elif term == 'Q' and len(line)>1:
term2 = line[1].upper()
if term2 == 'F':
self.fuse_count = int(line[2:].replace(' ', ''))
elif term2 == 'P': #PINCOUNT
self.pin_count = int(line[2:].replace(' ', ''))
elif term2 == 'V': #TESTVECMAX
self.test_vec_max = int(line[2:].replace(' ', ''))
else:
raise NotImplementedError
fuselen_diff = self.fuse_count-len(self.fuses)
if fuselen_diff>0:
print("ADDING", fuselen_diff)
self.fuses += bitarray([bool(self.default_fuse)]*fuselen_diff)
if fuselen_diff<0:
raise Exception("Too many bits provided in jed file fuses")
def graycode_buff(num, fillcount):
buff = bitarray(bin(gc(num))[2:].zfill(fillcount))
buff.reverse()
return buff
def to_bitarray(self):
res = bitarray()
res.frombytes(self._data)
res.reverse()
return res
from proteusisc.controllerManager import getDriverInstanceForDevice
from proteusisc.jtagScanChain import JTAGScanChain
from proteusisc.test_utils import FakeUSBDev, FakeDevHandle,\
MockPhysicalJTAGDevice, FakeXPCU1Handle
from proteusisc import ConstantBitarray, NoCareBitarray, bitarray
#ctrl = FakeDevHandle(
#ctrl = FakeXPCU1Handle(
# MockPhysicalJTAGDevice(name="D0", status=bitarray('11111100')),
# MockPhysicalJTAGDevice(name="D1", status=bitarray('11111101')),
# MockPhysicalJTAGDevice(name="D2", status=bitarray('11111110'))
#
ctrl = FakeXPCU1Handle(
#ctrl = FakeDevHandle(
MockPhysicalJTAGDevice(
name="D0", status=bitarray('111100'),
idcode=bitarray('00000001110000101110000010010011')),
MockPhysicalJTAGDevice(
name="D1", status=bitarray('111101'),
idcode=bitarray('00000001110000101110000010010011')),
MockPhysicalJTAGDevice(
name="D2", status=bitarray('111110'),
idcode=bitarray('00000001110000101110000010010011')),
)
usbdev = FakeUSBDev(ctrl)
c = getDriverInstanceForDevice(usbdev)
chain = JTAGScanChain(c, collect_compiler_artifacts=True)
#devid = bitarray('11110110110101001100000010010011')
devid = bitarray('00000001110000101110000010010011')
d0 = chain.initialize_device_from_id(chain, devid)
def __init__(self, path):
self.entity_started = False
self.entity_finished = False
self.device_name = None
self.default_test = None
self.default_fuse = None
self.fuse_count = None
self.checksum = None
self.pin_count = None
self.dev_id = None
self.fuses = bitarray()
with open(path) as f:
last_addr = 0
for line in f:
line = line.replace('\n', '').replace('\r', '')
if not self.entity_started:
if '\x02' in line:
stx_index = line.index('\x02')
line = line[stx_index + 1:]
self.entity_started = True
else:
continue
if self.entity_finished:
break
if '\x03' in line:
etx_index = line.index('\x03')
line = line[:etx_index]
self.entity_finished = True
if len(line) == 0:
continue
if line[-1] != '*':
raise Exception("F**K")
else:
line = line[:-1]
term = line[0].upper()
if term == 'L':
space_index = line.index(' ')
addr = int(line[1:space_index])
addr_diff = addr - len(self.fuses)
if addr_diff < 0:
raise Exception(
"Addresses for fuse bits must monotonically increase"
)
if addr_diff:
self.fuses += bitarray([bool(self.default_fuse)] *
addr_diff)
data = bitarray(line[space_index + 1:].translate(
{ord(' '): None}))
self.fuses += data
elif term == 'N':
if "DEVICE" in line:
term_index = line.index("DEVICE")
self.device_name = line[term_index + 7:].replace(
' ', '')
elif term == 'C':
self.checksum = int(line[1:].replace(' ', ''), 16)
elif term == 'J':
self.dev_id = line[1:]
elif term == 'F':
default_fuse_str = line[1:].replace(' ', '')
if len(default_fuse_str) is not 1:
raise Exception("F term can only have one bit")
self.default_fuse = int(default_fuse_str, 2)
elif term == 'X':
default_test_str = line[1:].replace(' ', '')
if len(default_test_str) is not 1:
raise Exception("X term can only have one bit")
self.default_test = int(default_test_str, 2)
elif term == 'Q' and len(line) > 1:
term2 = line[1].upper()
if term2 == 'F':
self.fuse_count = int(line[2:].replace(' ', ''))
elif term2 == 'P': #PINCOUNT
self.pin_count = int(line[2:].replace(' ', ''))
elif term2 == 'V': #TESTVECMAX
self.test_vec_max = int(line[2:].replace(' ', ''))
else:
raise NotImplementedError
fuselen_diff = self.fuse_count - len(self.fuses)
if fuselen_diff > 0:
print("ADDING", fuselen_diff)
self.fuses += bitarray([bool(self.default_fuse)] * fuselen_diff)
if fuselen_diff < 0:
raise Exception("Too many bits provided in jed file fuses")
def graycode_buff(num, fillcount):
buff = bitarray(bin(gc(num))[2:].zfill(fillcount))
buff.reverse()
return buff
def to_bitarray(self):
res = bitarray()
res.frombytes(self._data)
res.reverse()
return res