microprobe.passes.memory.GenericMemoryModelPass

class GenericMemoryModelPass(model)[source]

Bases: microprobe.passes.Pass

GenericMemoryModelPass pass.

__init__(model)[source]
Parameters

model

Methods

__init__(model)

param model

check(building_block, target)

param building_block

info()

Te

report()

requires()




check(building_block, target)[source]
Parameters
  • building_block

  • target

info()

Te

report()
requires()