Leverage Commercial Off-the-Shelf Tools to Create Verifiable Hardware and Software Solutions