Verification is the process of demonstrating that the design meets the specified requirements. All IngeniArs products undergo a formal process of verification to ensure that all the requirements are fully met with the total coverage of functionality. Typically, the verification process and the design process are separated in order to avoid biasing from the design process and therefore to have a more effective verification process. A detailed verification plan is produced together with a requirement traceability matrix to ensure that every requirement is covered and to trace possible failures back to the requirements. With respect to FPGA / ASIC / IP Core design, the verification process is typically performed by simulation of the Hardware Description Language (HDL) code. IngeniArs verification methods rely on advanced modern techniques based on SystemVerilog, but also more “traditional” verification methods based on VHDL/Verilog test-benches are performed depending on the design and verification goal.
Verification is a process that is included in all IngeniArs developments, but it is also offered “as a service”. This can be particularly useful for a customer to have a fully independent verification process. The customer provides at least the design and the requirements document and, starting from these, IngeniArs can produce the Verification Plan and Verification Report including requirement/code coverage analysis.
ECC Accelerator Suite

ECC Accelerator Suite

The ECC Accelerator Suite is our IP Core dedicated to accelerate asymmetric-key cryptographic schemes based on Elliptic-Curve Cryptography…

RNG IP Core

RNG IP Core

The RNG IP Core is a module able to generate random numbers, a primitive function widely used in…

SHA Engine

SHA Engine

The Secure Hash Algorithm (SHA) is a family of cryptographic hash functions developed and distributed by NIST.

Crypto-AES IP Core

Crypto-AES IP Core

The Crypto-AES IP Core performs hardware acceleration of symmetric-key algorithms based on the Advanced Encryption Standard (AES) cipher,…

SpaceART SpaceWire Sniffer

SpaceART SpaceWire Sniffer

The SpaceART SpaceWire Sniffer unit allows the analysis of SpaceWire communication between two nodes at character level, with no…

SpaceART – SpaceWire / SpaceFibre Analyser Real Time

SpaceART – SpaceWire / SpaceFibre Analyser Real Time

SpaceART is a complete testing solution for high speed links in space applications. SpaceART supports both SpaceWire…

WizardLink TLK equivalent IP Core

WizardLink TLK equivalent IP Core

WizardLink is a family of transceivers produced by Texas Instruments and in particular, for space applications, the TI TLK2711…

SpaceFibre Router IP Core

SpaceFibre Router IP Core

The SpaceFibre Router IP Core offers a configurable and flexible solution for very high data-rate routing switch functionality for…

SpaceFibre CODEC IP Core

SpaceFibre CODEC IP Core

SpaceFibre is the ESA standard (ECSS-E-ST-50-11C) for very high speed serial communication links between the units of the satellite.

SpaceWire Router IP Core

SpaceWire Router IP Core

The SpaceWire Router IP Core offers a configurable and flexible solution for high data-rate routing switch functionality for on-board…

SpaceWire CODEC IP Core

SpaceWire CODEC IP Core

The SpaceWire CODEC IP Core is a very compact IP Core providing a complete and configurable interfacing solution for…

CCSDS 131.2-B Encoder/Modulator IP Core

CCSDS 131.2-B Encoder/Modulator IP Core

A considerable number of Earth Observation missions are based on small satellites class and embark payloads producing substantial…

SIMPLE

SIMPLE

European space missions both for Earth observation and science (e.g. Euclid, Metop-SG) are more and more demanding very…

IP Core for medium data rate PDT

IP Core for medium data rate PDT

“IP Core for medium data rate PDT” is an European Space Agency project for the implementation of a…

INGENIARS AT ITALY-JAPAN SPACE COOPERATION WORKSHOP

INGENIARS AT ITALY-JAPAN SPACE COOPERATION WORKSHOP

On 14th April at 10:00 AM CEST we will join the interesting B2B workshop “Italy Japan space cooperation for emerging…

Want to know more? Contact Us