src Directory Reference

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.


Generated on Sun Nov 21 00:55:43 2010 for Covered by  doxygen 1.6.3