This package contains models that validate the blocks in IDEAS.Controls.OBC.CDL.Logical.
The examples plot various outputs, which have been verified against analytical solutions. These model outputs are stored as reference data to allow continuous validation whenever models in the library change.
| Name | Description |
|---|---|
| And | Validation model for the And block |
| Change | Validation model for the Change block. |
| Edge | Validation model for the Edge block |
| FallingEdge | Validation model for the falling edge block |
| Latch | Validation model for the Latch block |
| MultiAnd | Model to validate the application of MultiAnd block |
| MultiOr | Model to validate the application of MultiOr block |
| Nand | Validation model for the Nand block |
| Nor | Validation model for the Nor block |
| Not | Validation model for the Not block |
| Or | Validation model for the Or block |
| Proof | Validation model for the Proof block |
| Switch | Validation model for the Switch block |
| Timer | Validation model for the Timer block |
| TimerAccumulating | Validation model for the timer that accumulates the time |
| TimerAccumulatingNegativeStartTime | Validation model for the timer that accumulates the time, with a negative start time |
| TimerNegativeStartTime | Validation model for the Timer block with a negative start time |
| Toggle | Validation model for the Toggle block |
| TrueDelay | Validation model for the TrueDelay block |
| TrueFalseHold | Validation model for the TrueFalseHold block |
| VariablePulse | Validation model for producing boolean pulse output |
| VariablePulseMinHold | Validation model for producing boolean pulse output |
| Xor | Validation model for the Xor block |