Text this: Characterization of BDD-based single-electron basic logic circuit using SIMON