Recorded computer software for verifying the trusted and assured implementation of microelectronic designs; Downloadable computer software for verifying the trusted and assured implementation of microelectronic designs