Framework Overview¶

Summary¶

The LoopCheck Test Framework provides a local test and simulation environment for XpressRT models. Its main focus is fast verification of model behavior, inputs/outputs, scenarios, and assertions.

Core Capabilities¶

Load and run IR-based models
Interactive GUI for signals, inputs, and visualization
Scenario definition with actions and assertions
Report generation for test runs

Main Components¶

GUI and interaction logic: sim_worker.py
Simulation process: sim_process.py
Runtime adapters: xprt_runner.py and xprt_serial_runner.py
Scenario editor: scenario_builder.py
Assertion evaluation: assertion_evaluator.py
Report generation: scenario_report_generator.py

Typical Workflow¶

Load model
Configure inputs and scenario
Run simulation
Evaluate assertions
Export report

Scope¶

LoopCheck is primarily a runtime-focused testing tool. It does not replace build and compiler pipelines; it complements them.