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()