BusMOP

From FSL

Jump to: navigation, search


  

MOP

ERE

CFG

PTLTL

FTLTL

PTCaRet

...

JavaMOP

JavaERE

JavaCFG

JavaPTLTL

JavaFTLTL

JavaPTCaRet

...
BusMOP

BusERE

...

BusPTLTL

... ... ...
... ... ... ... ... ... ...
MOP Matrix: a clickable map of MOP pages.


Authors: Rodolfo Pellizzoni, Patrick Meredith, Marco Cacamo, Grigore Rosu

Brief Discription

BusMOP is an extension of MOP designed to monitor system buses using FPGA-based monitors. More information can be found in:

Online Trial

We have an online interactive webpage for the two logics we currently support, extended regular expressions (ERE) and past time temporal logic (PTLTL). Examples of each are in their particular directories. For help with specification syntax click the Specification Syntax Help button.

Choose an example:
  • ERE
    • InterruptFix
    • SafeConversionSpeed
    • SafeCounterModify
    • example
  • PTLTL
    • NoDisableWhileConverting
    • SafeDivrModify
 

Please press the Run button once and wait; it may take a few seconds to run BusMOPOnline; the execution of BusMOPOnline using this web interface is limited to 2 minutes of CPU time and 500 MB of RAM.

Views
Personal tools