1
0
Fork 0

Disable coverage collection for testbench related verilog files (#1204)

This commit is contained in:
Jacob Chang 2018-01-22 16:40:38 -08:00 committed by GitHub
parent c32150b994
commit dcda98dcaf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
5 changed files with 6 additions and 3 deletions

View File

@ -1,4 +1,5 @@
// See LICENSE.SiFive for license details. // See LICENSE.SiFive for license details.
//VCS coverage exclude_file
import "DPI-C" function int debug_tick import "DPI-C" function int debug_tick
( (

View File

@ -1,5 +1,5 @@
// See LICENSE.SiFive for license details. // See LICENSE.SiFive for license details.
//VCS coverage exclude_file
import "DPI-C" function int jtag_tick import "DPI-C" function int jtag_tick
( (
output bit jtag_TCK, output bit jtag_TCK,

View File

@ -1,5 +1,5 @@
// See LICENSE.SiFive for license details. // See LICENSE.SiFive for license details.
//VCS coverage exclude_file
`ifndef RESET_DELAY `ifndef RESET_DELAY
`define RESET_DELAY 777.7 `define RESET_DELAY 777.7
`endif `endif

View File

@ -31,7 +31,7 @@
* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
* POSSIBILITY OF SUCH DAMAGE. * POSSIBILITY OF SUCH DAMAGE.
*/ */
//VCS coverage exclude_file
`define CMD_RESET 0 `define CMD_RESET 0
`define CMD_TMS_SEQ 1 `define CMD_TMS_SEQ 1
`define CMD_SCAN_CHAIN 2 `define CMD_SCAN_CHAIN 2

View File

@ -1,5 +1,7 @@
// See LICENSE.SiFive for license details. // See LICENSE.SiFive for license details.
//VCS coverage exclude_file
// No default parameter values are intended, nor does IEEE 1800-2012 require them (clause A.2.4 param_assignment), // No default parameter values are intended, nor does IEEE 1800-2012 require them (clause A.2.4 param_assignment),
// but Incisive demands them. These default values should never be used. // but Incisive demands them. These default values should never be used.
module plusarg_reader #(parameter FORMAT="borked=%d", DEFAULT=0) ( module plusarg_reader #(parameter FORMAT="borked=%d", DEFAULT=0) (