#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"
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 |
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
computes and returns average of values stored in testability-data blocks of specified module bits
[in] | m | pointer to clsModule object |
[in] | bits | string of bits for computing average |
computes and returns product of values stored in testability-data blocks of specified module bits
[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
[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
[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
[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) |
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.
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
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).