ilang  1.1.4
ILAng: A Modeling and Verification Platform for SoCs
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Macros
Classes | Namespaces | Typedefs
abst_to_ila.h File Reference
#include <memory>
#include <string>
#include <vector>
#include <ilang/ila/instr_lvl_abs.h>
#include <ilasynth/abstraction.hpp>

Go to the source code of this file.

Classes

class  ilang::SynthAbsConverter
 The class for converting an abstraction from the synthesis engine to an ILA model. More...
 

Namespaces

 ilang
 

Typedefs

typedef
SynthAbsConverter::SynthAbsConverterPtr 
ilang::SynthAbsConverterPtr
 Pointer type for normal use of SynthAbsConverter.
 

Detailed Description

The object to convert an abstraction from the synthesis engine to an ILA.