fault.json

{
	"max_instruction_count": 100 ,
	"start" : {
		"address" : 134218138,
		"counter" : 0
	},
	"end" : {
		"address" : 134217964,
		"counter" : 2
	},
	"faults" :[	
			[
				{	
					"fault_address"		: [134217728],
					"fault_type"		: "data",
					"fault_model"		: "toggle",
					"fault_livespan"	: [1000],
					"fault_mask"		: [3],
					"trigger_address"	: [134217950],
					"trigger_counter"	: [1]
				}
			],
			[
				{	
					"fault_address"		: [134217954],
					"fault_type"		: "instruction",
					"fault_model"		: "set1",
					"fault_livespan"	: [10],
					"fault_mask"		: [4],
					"trigger_address"	: [-5],
					"trigger_counter"	: [1]
				}
			],
			[
				{
					"fault_address"		: [3],
					"fault_type"		: "register",
					"fault_model"		: "set1",
					"fault_livespan"	: [0],
					"fault_mask"		: {"type" : "shift", "range" : [1, 0, 6]},
					"trigger_address"	: [134217954],
					"trigger_counter"	: [1]
				}
			],
			[
				{
					"fault_address"		: [134217962],
					"fault_type"		: "instruction",
					"fault_model"		: "overwrite",
					"fault_livespan"	: [0, 3, 2],
					"fault_mask"		: [191], 
					"trigger_address"	: [-1],
					"trigger_counter"	: [3],
					"num_bytes"		: [2]
				}
			]
		],
	"memorydump": [
			{
				"address" : 134217728 , 
				"length" : 1023 
			}
		]
}