Introduction

Scade One provides a set of libraries that can be used for model design for simulation and debug of models.

• Bitfield
  The BitField library provides a set of operations on arrays of bits or integers seen as array of bits, with conversion from/to array of Boolean values. It also provides operators to make/split bit-fields from/to bytes.
• Check
  The Check library provides a set of operators to build oracles for test harnesses, which are divided into several categories.
• Digital
  The Digital library provides a set of basic functions aiming to help the construction of more complex digital data treatment algorithms.
• Float
  The Float library ensures good practices in the use of floating-point numbers.
• Flows
  The Flows library provides a set of simple operators on flows (delays, counters, timers, etc).
• Math::Common
  Common mathematical operations.
• Math::Complex
  Type and operations on complex numbers.
• Math::Trigo
  Common trigonometric functions and their inverse.
• Sources
  The Sources library provides a set of flow generators, mostly numeric, for usage in test harnesses.