Bus Finite State Machine (BusFSM) Plugin

From FSL

	MOP
		FSM	ERE	CFG	PTLTL	FTLTL	PTCaRet	...
	JavaMOP	JavaFSM	JavaERE	JavaCFG	JavaPTLTL	JavaFTLTL	JavaPTCaRet	...
	BusMOP	BusFSM	BusERE	...	BusPTLTL	...	...	...
	...	...	...	...	...	...	...	...
	MOP Matrix: a clickable map of MOP pages.

BusFSM is an instance of MOP for monitoring PCI Bus traffic and for FSM specifications. This instance is technically unnecessary, since one can simply run BusMOP with FSM specifications, which is precisely what the online interface below does. BusFSM has, however, conceptual (and potentially theoretical) value; many Bus users prefer to specify properties exclusively as finite state machines.

Run BusFSM Online

Enter your specification or chose (and modify) one example from the menu - provided examples are also reachable from the menu of the main BusMOP interface. Click Run to run BusFSM.

Choose an example: InterruptFix NoDisableWhileConverting SafeConversionSpeed SafeCounterModify SafeDivrModify