model.cc File Reference

module with circuit structure model and functions More...

#include <fstream>
#include <iostream>
#include <map>
#include <set>
#include <string>
#include <utility>
#include <stdio.h>
#include <stdlib.h>
#include <math.h>
#include "misc.h"
#include "model.h"

Include dependency graph for model.cc:

Functions
void	clrTAdata (clsCircuit *c)
	clears values stored in all testability-data blocks within the circuit
void	dump_string_set (set< string > sset, string id)
	dumps data stored in given set of string
void	clrTAdata (t_TAdata *ta_data)
	clears values stored in testability-data block
void	setTAdata (t_TAdata *ta_data)
	sets values to testability-data block
void	dumpTAdata (t_TAdata *ta_data)
	dumps data stored in given testability-data block
void	transport_wireMark (clsCircuit *c, clsWire wire, bool Cmode)
	transports mark through wire
t_TAdata	getAvgOfTAdata (clsModule *m, string bits)
	computes and returns average of values stored in testability-data blocks of specified module bits
t_TAdata	getProdOfTAdata (clsModule *m, string bits, int *nbits, int *nclks)
	computes and returns product of values stored in testability-data blocks of specified module bits
void	transport_modCmark (clsCircuit *c, string module, set< string > *olds, set< string > *news)
	transports controllability mark through module structure
void	transport_modOmark (clsCircuit *c, string module, set< string > *olds, set< string > *markedCbits, set< string > *news)
	transports observability mark through module structure
set< string >	set_union (set< string > s1, set< string > s2)
	set-of-string union definition
Variables
clsDesign *	dsgnPtr
	pointer to the top clsDesign object
bool	debug_mode
	debug/normal mode switch. In debug mode, implementation and low-level model related data are sent to std. Undocumented at present.
bool	scan_mode
	scan mode switch
tProPen	mark_operation
	operation used to evaluate penalty during mark transportation process
tSeqEst	clk_cnt
	type of sequential length estimation
unsigned long	nerrors
	number of errors counter
string	freg
	string to store a file name information about circuit registers will be read from. The name is set by means of a command line command
string	fscan
	string to store a file name information about scan will be read from. The name is set by means of a command line command

---

Detailed Description

module with circuit structure model and functions

---

Function Documentation

void clrTAdata

(

t_TAdata *

ta_data

)

clears values stored in testability-data block

void clrTAdata

(

clsCircuit *

c

)

clears values stored in all testability-data blocks within the circuit

void dump_string_set	(	set< string >	sset,
		string	id
	)

dumps data stored in given set of string

void dumpTAdata

(

t_TAdata *

ta_data

)

dumps data stored in given testability-data block

t_TAdata getAvgOfTAdata	(	clsModule *	m,
		string	bits
	)

computes and returns average of values stored in testability-data blocks of specified module bits

Parameters:

[in]	m	pointer to clsModule object
[in]	bits	string of bits for computing average

t_TAdata getProdOfTAdata	(	clsModule *	m,
		string	bits,
		int *	nbits,
		int *	nclks
	)

computes and returns product of values stored in testability-data blocks of specified module bits

Parameters:

[in]	m	pointer to clsModule object
[in]	bits	string of bits for computing product
[out]	nbits	number of control-bits to be added to actual mark
[out]	nclks	number of clock-bits to be added to actual mark

set<string> set_union	(	set< string >	s1,
		set< string >	s2
	)

set-of-string union definition

void setTAdata

(

t_TAdata *

ta_data

)

sets values to testability-data block

void transport_modCmark	(	clsCircuit *	c,
		string	module,
		set< string > *	olds,
		set< string > *	news
	)

transports controllability mark through module structure

Parameters:

[in]	c	pointer to clsCircuit object module belongs to
[in]	module	name of the module
[in]	olds	set set of bits having controllability mark assigned
[out]	news	set of bits marked during transportation through module structure

void transport_modOmark	(	clsCircuit *	c,
		string	module,
		set< string > *	olds,
		set< string > *	markedCbits,
		set< string > *	news
	)

transports observability mark through module structure

Parameters:

[in]	c	pointer to clsCircuit object module belongs to
[in]	module	name of the module
[in]	olds	set of bits having observability mark assigned
[in]	markedCbits	set of bits having controllability mark assigned
[out]	news	set of bits marked during transportation through module structure

void transport_wireMark	(	clsCircuit *	c,
		clsWire	wire,
		bool	Cmode
	)

transports mark through wire

Parameters:

[in]	c	pointer to clsCircuit object the wire belongs to
[in]	wire	interconnection that will be utilized to transport the mark
[in]	Cmode	direction of transportation process: during controllability (observability) analysis, marks are transported in direction from PIs to POs (POs to PIs)

---

Variable Documentation

tSeqEst clk_cnt

type of sequential length estimation

Implicitly set to SE_BASIC. Undocumented at present.

bool debug_mode

debug/normal mode switch. In debug mode, implementation and low-level model related data are sent to std. Undocumented at present.

clsDesign* dsgnPtr

pointer to the top clsDesign object

string freg

string to store a file name information about circuit registers will be read from. The name is set by means of a command line command

string fscan

string to store a file name information about scan will be read from. The name is set by means of a command line command

tProPen mark_operation

operation used to evaluate penalty during mark transportation process

Implicitly set to PP_EXP. Undocumented at present.

unsigned long nerrors

number of errors counter

bool scan_mode

scan mode switch

switching the mode ON, scan will be implemented into the circuit structure. The mode can be changed using a command-line switch (see tool's help).