mc2lib::codegen::armv7 Namespace Reference

Implementations of Operations for ARMv7 (incomplete). More...

Classes
class	Backend
class	Delay
class	DMB_ST
struct	RandomFactory
class	Read
class	ReadAddrDp
class	Return
class	Write

Typedefs
typedef Op< Backend, EvtStateCats >	Operation
typedef MemOp< Backend, EvtStateCats >	MemOperation
typedef NullOp< Backend, EvtStateCats >	NullOperation

Detailed Description

Implementations of Operations for ARMv7 (incomplete).

The current operations do not exercise all aspects of the MCM.

Typedef Documentation

MemOperation

typedef MemOp<Backend, EvtStateCats> mc2lib::codegen::armv7::MemOperation

NullOperation

typedef NullOp<Backend, EvtStateCats> mc2lib::codegen::armv7::NullOperation

Operation

typedef Op<Backend, EvtStateCats> mc2lib::codegen::armv7::Operation