LOGISCOPE Software quality analysis tools from {Verilog} SA, used to evaluate the quality of software, both statically (based on {software metrics}) and dynamically.