Files | |
file | arc.c |
file | arc.h [code] |
Contains functions for handling FSM arc arrays. | |
file | assertion.c |
file | assertion.h [code] |
Contains functions for handling assertion coverage. | |
file | attr.c |
file | attr.h [code] |
Contains functions for handling attributes. | |
file | binding.c |
file | binding.h [code] |
Contains all functions for vsignal/expression binding. | |
file | cexcept.h [code] |
file | cli.c |
file | cli.h [code] |
Contains functions for handling the score command CLI debugger. | |
file | codegen.c |
file | codegen.h [code] |
Contains functions for generating Verilog code from expression trees. | |
file | comb.c |
file | comb.h [code] |
Contains functions for determining/reporting combinational logic coverage. | |
file | db.c |
file | db.h [code] |
Contains functions for writing and reading contents of covered database file. | |
file | defines.h [code] |
Contains definitions/structures used in the Covered utility. | |
file | devel_doc.h [code] |
file | enumerate.c |
file | enumerate.h [code] |
Contains functions for handling enumerations. | |
file | exclude.c |
file | exclude.h [code] |
Contains functions for handling user-specified exclusion of coverage results. | |
file | expr.c |
file | expr.h [code] |
Contains functions for handling expressions. | |
file | fastlz.c |
file | fastlz.h [code] |
file | fsm.c |
file | fsm.h [code] |
Contains functions for determining/reporting FSM coverage. | |
file | fsm_arg.c |
file | fsm_arg.h [code] |
Contains functions for handling FSM arguments from the command-line. | |
file | fsm_var.c |
file | fsm_var.h [code] |
Contains functions for handling FSM variable structure. | |
file | fst.c |
file | fst.h [code] |
Contains functions for FST parsing/simulation. | |
file | fstapi.c |
file | fstapi.h [code] |
file | func_iter.c |
file | func_iter.h [code] |
Contains functions for dealing with functional unit iterators. | |
file | func_unit.c |
file | func_unit.h [code] |
Contains functions for handling functional units. | |
file | gen_item.c |
file | gen_item.h [code] |
Contains functions for handling generate items. | |
file | genprof.c |
file | genprof.h [code] |
file | info.c |
file | info.h [code] |
Contains functions for reading/writing info line of CDD file. | |
file | instance.c |
file | instance.h [code] |
Contains functions for handling functional unit instances. | |
file | keywords.h [code] |
Contains functions for checking Verilog keywords. | |
file | line.c |
file | line.h [code] |
Contains functions for determining/reporting line coverage. | |
file | link.c |
file | link.h [code] |
Contains functions to manipulate a linked lists. | |
file | lxt.c |
file | lxt.h [code] |
Contains functions for LXT parsing/simulation. | |
file | lxt2_read.c |
file | lxt2_read.h [code] |
file | main.c |
file | memory.c |
file | memory.h [code] |
Contains functions for generating memory coverage reports. | |
file | merge.c |
file | merge.h [code] |
Contains functions for merge command. | |
file | obfuscate.c |
file | obfuscate.h [code] |
Contains functions for internal obfuscation. | |
file | ovl.c |
file | ovl.h [code] |
Contains functions for handling OVL assertion extraction. | |
file | param.c |
file | param.h [code] |
Contains functions and structures necessary to handle parameters. | |
file | parse.c |
file | parse.h [code] |
Contains functions for parsing Verilog modules. | |
file | parser_misc.c |
file | parser_misc.h [code] |
Contains miscellaneous functions declarations and defines used by parser. | |
file | perf.c |
file | perf.h [code] |
Contains functions for calculating and outputting simulation performance metrics. | |
file | profiler.c |
file | profiler.h [code] |
Contains defines and functions used for profiling Covered commands. | |
file | race.c |
file | race.h [code] |
Contains functions used to check for race conditions and proper signal use within the specified design. | |
file | rank.c |
file | rank.h [code] |
Contains functions for rank command. | |
file | reentrant.c |
file | reentrant.h [code] |
Contains functions for handling re-entrant tasks and functions. | |
file | report.c |
file | report.h [code] |
Contains functions for report command. | |
file | scope.c |
file | scope.h [code] |
Contains functions for looking up structures for the given scope. | |
file | score.c |
file | score.h [code] |
Contains functions for score command. | |
file | search.c |
file | search.h [code] |
Contains functions used for finding Verilog files in the search information provided on the command line. | |
file | sim.c |
file | sim.h [code] |
Contains functions for simulation engine. | |
file | stat.c |
file | stat.h [code] |
Contains functions for handling coverage statistics. | |
file | statement.c |
file | statement.h [code] |
Contains functions to create, manipulate and deallocate statements. | |
file | static.c |
file | static.h [code] |
Contains functions for handling creation of static expressions. | |
file | stmt_blk.c |
file | stmt_blk.h [code] |
Contains functions for removing statement blocks from coverage consideration. | |
file | struct_union.c |
file | struct_union.h [code] |
Contains functions for handling SystemVerilog structs/unions. | |
file | symtable.c |
file | symtable.h [code] |
Contains functions for manipulating a symtable structure. | |
file | sys_tasks.c |
file | sys_tasks.h [code] |
Contains functions that handle various system tasks. | |
file | tcl_funcs.c |
file | tcl_funcs.h [code] |
Contains functions to interact with TCL scripts. | |
file | toggle.c |
file | toggle.h [code] |
Contains functions for determining/reporting toggle coverage. | |
file | tree.c |
file | tree.h [code] |
Contains functions for adding, finding, and removing nodes from binary tree. | |
file | util.c |
file | util.h [code] |
Contains miscellaneous global functions used by many functions. | |
file | vcd.c |
file | vcd.h [code] |
Contains VCD parser functions. | |
file | vector.c |
file | vector.h [code] |
Contains vector-related functions for signal vectors. | |
file | vpi.c |
file | vpi.h [code] |
Contains functions for handling VPI-related activity. | |
file | vsignal.c |
file | vsignal.h [code] |
Contains functions for handling Verilog signals. |