ilang: sc_manual.h File Reference

ilang 1.1.4

ILAng: A Modeling and Verification Platform for SoCs

All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Macros

#include <ilang/mcm/inter_ila_unroller.h>
#include <ilang/mcm/memory_model.h>

Go to the source code of this file.

Classes
class	ilang::ScTraceStep
	Class of TSO trace step. More...

class	ilang::Sc
	Class of TSO. More...

Namespaces
	ilang

Detailed Description

Header for SC memory model (constructed manually, rather than fully automaticated generation)