check_vcd.cpp File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <cmath>
#include <assert.h>
#include <float.h>
#include <ctype.h>
#include "check_vcd.h"

Go to the source code of this file.

Macros
#define	VCD_DEBUG   0
#define	VCD_SKIP_ARRAYS   1
#define	VCD_INCLUDE_RANGE   0
#define	VCD_TIMEVAR   "dtime"

Functions
static struct vcd_vardef *	vcd_find_code (struct vcd_scope *root, char *code)
static void	vcd_free_change (struct vcd_change *vc)
static void	vcd_free_changeset (struct vcd_changeset *cs)
static struct vcd_changeset *	vcd_find_firstset_fast (struct vcd_changeset *root)
static struct vcd_changeset *	vcd_reverse_changesets (struct vcd_changeset *root)
static struct vcd_variable *	vcd_find_variable (struct vcd_variable *root, struct vcd_vardef *var)
static void	vcd_sort_changesets (struct vcd_changeset *root)
static char *	vcd_prepend_scopes (struct vcd_vardef *var, char *ident)
static struct dataset_variable *	vcd_create_variable (struct vcd_vardef *var)
static char *	vcd_create_value (struct vcd_variable *vv, int size)
static struct dataset_variable *	vcd_create_dataset (struct vcd_vardef *var)
static struct dataset_variable *	vcd_create_indep (const char *name)
static void	vcd_prepare_variable_datasets (struct vcd_scope *root)
static void	vcd_prepare_datasets (void)
int	vcd_checker (void)
static void	vcd_free_scope (struct vcd_scope *root)
static void	vcd_free_file (struct vcd_file *vcd)
static void	vcd_free_set (struct vcd_set *root)
static void	vcd_free_dataset (struct dataset_variable *root)
void	vcd_destroy (void)
void	vcd_init (void)

Variables
struct vcd_file *	vcd = NULL
int	vcd_errors = 0
int	vcd_freehdl = 1
int	vcd_correct = 0
struct vcd_set *	vcd_sets = NULL
struct dataset_variable *	dataset_root = NULL

Macro Definition Documentation

#define VCD_DEBUG   0

Definition at line 41 of file check_vcd.cpp.

#define VCD_INCLUDE_RANGE   0

Definition at line 45 of file check_vcd.cpp.

#define VCD_SKIP_ARRAYS   1

Definition at line 44 of file check_vcd.cpp.

#define VCD_TIMEVAR   "dtime"

Definition at line 46 of file check_vcd.cpp.

Function Documentation

int vcd_checker

(

void

)

Definition at line 500 of file check_vcd.cpp.

static struct dataset_variable* vcd_create_dataset ( struct vcd_vardef *  var )

static

Definition at line 348 of file check_vcd.cpp.

static struct dataset_variable* vcd_create_indep ( const char *  name )

static

Definition at line 409 of file check_vcd.cpp.

static char* vcd_create_value ( struct vcd_variable *  vv, int  size  )

static

Definition at line 308 of file check_vcd.cpp.

static struct dataset_variable* vcd_create_variable ( struct vcd_vardef *  var )

static

Definition at line 236 of file check_vcd.cpp.

void vcd_destroy

(

void

)

Definition at line 594 of file check_vcd.cpp.

static struct vcd_vardef* vcd_find_code ( struct vcd_scope *  root, char *  code  )

static

Definition at line 59 of file check_vcd.cpp.

static struct vcd_changeset* vcd_find_firstset_fast ( struct vcd_changeset *  root )

static

Definition at line 95 of file check_vcd.cpp.

static struct vcd_variable* vcd_find_variable ( struct vcd_variable *  root, struct vcd_vardef *  var  )

static

Definition at line 139 of file check_vcd.cpp.

static void vcd_free_change ( struct vcd_change *  vc )

static

Definition at line 75 of file check_vcd.cpp.

static void vcd_free_changeset ( struct vcd_changeset *  cs )

static

Definition at line 82 of file check_vcd.cpp.

static void vcd_free_dataset ( struct dataset_variable *  root )

static

Definition at line 577 of file check_vcd.cpp.

static void vcd_free_file ( struct vcd_file *  vcd )

static

Definition at line 552 of file check_vcd.cpp.

static void vcd_free_scope ( struct vcd_scope *  root )

static

Definition at line 533 of file check_vcd.cpp.

static void vcd_free_set ( struct vcd_set *  root )

static

Definition at line 563 of file check_vcd.cpp.

void vcd_init

(

void

)

Definition at line 605 of file check_vcd.cpp.

static void vcd_prepare_datasets ( void  )

static

Definition at line 459 of file check_vcd.cpp.

static void vcd_prepare_variable_datasets ( struct vcd_scope *  root )

static

Definition at line 439 of file check_vcd.cpp.

static char* vcd_prepend_scopes ( struct vcd_vardef *  var, char *  ident  )

static

Definition at line 214 of file check_vcd.cpp.

static struct vcd_changeset* vcd_reverse_changesets ( struct vcd_changeset *  root )

static

Definition at line 106 of file check_vcd.cpp.

static void vcd_sort_changesets ( struct vcd_changeset *  root )

static

Definition at line 150 of file check_vcd.cpp.

Variable Documentation

struct dataset_variable* dataset_root = NULL

Definition at line 54 of file check_vcd.cpp.

struct vcd_file* vcd = NULL

Definition at line 49 of file check_vcd.cpp.

int vcd_correct = 0

Definition at line 52 of file check_vcd.cpp.

int vcd_errors = 0

Definition at line 50 of file check_vcd.cpp.

int vcd_freehdl = 1

Definition at line 51 of file check_vcd.cpp.

struct vcd_set* vcd_sets = NULL

Definition at line 53 of file check_vcd.cpp.