Transaction-Level Modeling Framework for Space Applications
This is just a short list of the common base classes used in SoCRocket.