Thermodynamics templates
Ready-to-deploy state contracts in the Thermodynamics category. Each is a running machine — protocols pre-composed into states and transitions, deployable as-is onto your state machine.
| Template | What it does |
|---|---|
| Heat Exchanger Fouling Monitor | THERMO_HEAT_TRANSFER effectiveness decline: clean → fouling → clean-now as the heat-transfer coefficient drops below the cleaning threshold. Schedules maintenan |
| ZeqFPGA | TH1 watch — cool → warm → thermal_alarm when junction_temp_c crosses your thresholds; auto-logged with a ZeqProof per transition. FPGA synthesis and place-route |
| ZeqPowerIntegrity | TH1 watch — cool → warm → thermal_alarm when junction_temp_c crosses your thresholds; auto-logged with a ZeqProof per transition. PDN analysis with HulyaPulse n |
| ZeqChipDesign | TH1 watch — cool → warm → thermal_alarm when junction_temp_c crosses your thresholds; auto-logged with a ZeqProof per transition. IC timing analysis with HulyaP |
| ZeqChipTest | TH1 watch — cool → warm → thermal_alarm when junction_temp_c crosses your thresholds; auto-logged with a ZeqProof per transition. Automated test pattern generat |
| ZeqThermal | TH1 watch — cool → warm → thermal_alarm when junction_temp_c crosses your thresholds; auto-logged with a ZeqProof per transition. Chip thermal simulation with R |
See the full Templates Library for all categories, or the State Contracts model for how to author your own.