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"

Include dependency graph for check_vcd.cpp:

Go to the source code of this file.

Defines
#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

---

Define 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, read]

Definition at line 348 of file check_vcd.cpp.

static struct dataset_variable* vcd_create_indep

(

const char *

name

)

[static, read]

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, read]

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, read]

Definition at line 59 of file check_vcd.cpp.

static struct vcd_changeset* vcd_find_firstset_fast

(

struct vcd_changeset *

root

)

[static, read]

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, read]

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, read]

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.