2018-10-17 04:53:15 +02:00
|
|
|
#!/usr/bin/env python3
|
|
|
|
|
'''
|
2018-10-19 17:33:31 +02:00
|
|
|
Take raw .bits files and decode them to FASM.
|
2018-10-17 04:53:15 +02:00
|
|
|
'''
|
|
|
|
|
|
2018-10-19 17:33:31 +02:00
|
|
|
import os
|
|
|
|
|
import fasm
|
|
|
|
|
from prjxray import db
|
|
|
|
|
from prjxray import fasm_disassembler
|
|
|
|
|
from prjxray import bitstream
|
2018-10-17 04:53:15 +02:00
|
|
|
|
2018-10-20 01:19:22 +02:00
|
|
|
|
2018-10-19 23:24:02 +02:00
|
|
|
def run(db_root, bits_file, verbose, canonical):
|
2018-10-19 17:33:31 +02:00
|
|
|
disassembler = fasm_disassembler.FasmDisassembler(db.Database(db_root))
|
2018-10-17 04:53:15 +02:00
|
|
|
|
2018-10-19 17:33:31 +02:00
|
|
|
with open(bits_file) as f:
|
|
|
|
|
bitdata = bitstream.load_bitdata(f)
|
2018-10-17 04:53:15 +02:00
|
|
|
|
2018-10-20 01:19:22 +02:00
|
|
|
print(
|
|
|
|
|
fasm.fasm_tuple_to_string(
|
|
|
|
|
disassembler.find_features_in_bitstream(bitdata, verbose=verbose),
|
|
|
|
|
canonical=canonical))
|
|
|
|
|
|
2018-10-17 04:53:15 +02:00
|
|
|
|
|
|
|
|
def main():
|
|
|
|
|
import argparse
|
|
|
|
|
|
|
|
|
|
parser = argparse.ArgumentParser(
|
2018-10-19 17:33:31 +02:00
|
|
|
description='Convert 7-series bits file to FASM.')
|
|
|
|
|
|
|
|
|
|
database_dir = os.getenv("XRAY_DATABASE_DIR")
|
|
|
|
|
database = os.getenv("XRAY_DATABASE")
|
|
|
|
|
db_root_kwargs = {}
|
|
|
|
|
if database_dir is None or database is None:
|
|
|
|
|
db_root_kwargs['required'] = True
|
|
|
|
|
else:
|
|
|
|
|
db_root_kwargs['required'] = False
|
|
|
|
|
db_root_kwargs['default'] = os.path.join(database_dir, database)
|
2018-10-17 04:53:15 +02:00
|
|
|
|
2018-11-12 23:37:01 +01:00
|
|
|
parser.add_argument('--db-root', help="Database root.", **db_root_kwargs)
|
2018-10-19 17:33:31 +02:00
|
|
|
parser.add_argument('bits_file', help='')
|
2018-10-20 01:19:22 +02:00
|
|
|
parser.add_argument(
|
2018-10-22 18:08:34 +02:00
|
|
|
'--verbose',
|
2018-10-20 01:19:22 +02:00
|
|
|
help='Print lines for unknown tiles and bits',
|
|
|
|
|
action='store_true')
|
|
|
|
|
parser.add_argument(
|
|
|
|
|
'--canonical', help='Output canonical bitstream.', action='store_true')
|
2018-10-17 04:53:15 +02:00
|
|
|
args = parser.parse_args()
|
|
|
|
|
|
2018-10-19 23:24:02 +02:00
|
|
|
run(args.db_root, args.bits_file, args.verbose, args.canonical)
|
2018-10-17 04:53:15 +02:00
|
|
|
|
2018-10-20 01:19:22 +02:00
|
|
|
|
2018-10-17 04:53:15 +02:00
|
|
|
if __name__ == '__main__':
|
|
|
|
|
main()
|