PROLEAD
A Probing-Based Leakage Detection Tool for Hardware and Software
Loading...
Searching...
No Matches
Read.hpp
Go to the documentation of this file.
1#pragma once
2
3#include <iostream>
4#include <climits>
5#include <cstring>
6#include <stdexcept>
7
9
10namespace Hardware
11{
12 namespace Read
13 {
14 void NonCommentFromFile(FILE *, char *, const char *);
15 void fReadaWord(FILE *, char *, char *);
17 void LibraryFile(char *, char *, Hardware::LibraryStruct *);
18 int TrimSignalName(char*, int*);
19 void DesignFile_Find_IO_Port(char*, char, int, int, Hardware::LibraryStruct*, Hardware::CircuitStruct*, int, char*, Hardware::CircuitStruct*, int*&, int&, int*&, int&);
20 void DesignFile_Find_Signal_Name(char*, char, int, int, Hardware::LibraryStruct*, CircuitStruct*, int, int, int, char*, Hardware::CircuitStruct*, int*&, int&, int*&, int&, int&);
21 void DesignFile(char *, char *, Hardware::LibraryStruct *, Hardware::CircuitStruct *, int, int, int);
23 }
24}
void DesignFile_Find_IO_Port(char *, char, int, int, Hardware::LibraryStruct *, Hardware::CircuitStruct *, int, char *, Hardware::CircuitStruct *, int *&, int &, int *&, int &)
void DesignFile(char *, char *, Hardware::LibraryStruct *, Hardware::CircuitStruct *, int, int, int)
void DesignFile_Find_Signal_Name(char *, char, int, int, Hardware::LibraryStruct *, CircuitStruct *, int, int, int, char *, Hardware::CircuitStruct *, int *&, int &, int *&, int &, int &)
int MakeFormulaForCellInLibrary(Hardware::CellTypeStruct *)
void LibraryFile(char *, char *, Hardware::LibraryStruct *)
void fReadaWord(FILE *, char *, char *)
int TrimSignalName(char *, int *)
void NonCommentFromFile(FILE *, char *, const char *)
void SettingsFile(char *, Hardware::CircuitStruct *, Hardware::SettingsStruct *)
Defines a hardware circuit.
Defines a cell library.
Definition: Definitions.hpp:69
Defines the settings of the evaluation procedure.