verilog_writer.cpp File Reference

Write system verilog provided descriptions. More...

#include "verilog_writer.hpp"
#include "config_HAVE_FROM_C_BUILT.hpp"
#include "HDL_manager.hpp"
#include "NP_functionality.hpp"
#include "Parameter.hpp"
#include "dbgPrintHelper.hpp"
#include "exceptions.hpp"
#include "indented_output_stream.hpp"
#include "state_transition_graph_manager.hpp"
#include "string_manipulation.hpp"
#include "structural_objects.hpp"
#include "technology_manager.hpp"
#include "technology_node.hpp"
#include "testbench_generation_constants.hpp"
#include "time_info.hpp"
#include <algorithm>
#include <boost/algorithm/string.hpp>
#include <boost/tokenizer.hpp>
#include <fstream>
#include <functional>
#include <iosfwd>
#include <limits>
#include <utility>

Include dependency graph for verilog_writer.cpp:

Go to the source code of this file.

Macros
#define	VERILOG_2001_SUPPORTED

Detailed Description

Write system verilog provided descriptions.

This class implements the methods to write Verilog descriptions.

Author

Fabrizio Ferrandi fabri.nosp@m.zio..nosp@m.ferra.nosp@m.ndi@.nosp@m.polim.nosp@m.i.it $Revision$ $Date$ Last modified by $Author$

Fabrizio Ferrandi fabri.nosp@m.zio..nosp@m.ferra.nosp@m.ndi@.nosp@m.polim.nosp@m.i.it

Christian Pilato pilat.nosp@m.o@el.nosp@m.et.po.nosp@m.limi.nosp@m..it $Revision$ $Date$ Last modified by $Author$

Definition in file verilog_writer.cpp.

Macro Definition Documentation

VERILOG_2001_SUPPORTED

#define VERILOG_2001_SUPPORTED

Definition at line 71 of file verilog_writer.cpp.