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 / WizardLink Analyser Real Time

SPACEART® – SpaceWire / SpaceFibre / WizardLink Analyser Real Time

SpaceART® – SpaceWire/SpaceFibre/WizardLink Analyser Real-Time – is the complete testing solution for high speed links in space applications, supporting…

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 CODEC IP core allows the implementation of point-to-point high-speed connection between two units, in full compliance with SpaceFibre standard…

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 solution providing a complete and configurable interfacing solution for high…

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…

ACM TESTBED

ACM TESTBED

“ACM TESTBED” is an European Space Agency project, aimed at implementing a Copernicus reference testbed to accurately model the new…

HIGH RATE FLEXIBLE HIGH-ORDER SCCC COMMUNICATIONS SYSTEM FOR SCIENCE X-BAND

HIGH RATE FLEXIBLE HIGH-ORDER SCCC COMMUNICATIONS SYSTEM FOR SCIENCE X-BAND

“High rate flexible high-order SCCC communications system for Science X-band” is an European Space Agency project. It aims at developing…

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…

SEE YOU AT SPACE TECH EXPO USA IN LA!

SEE YOU AT SPACE TECH EXPO USA IN LA!

Next week our space crew will be at Space Tech Expo USA, taking place on May 2-4 2023 at Long…

SEE YOU AT SESP 2023 IN ESTEC

SEE YOU AT SESP 2023 IN ESTEC

You will find us at ESA SESP 2023 next week in ESTEC, The Netherlands. See you there!…

We will be attending SEFUW 2023 at ESA ESTEC

We will be attending SEFUW 2023 at ESA ESTEC

Between the 14th and 16th of March we will be at the 5th edition of SEFUW, the SpacE FPGA Users…

IngeniArs Golden Sponsor at 4th Italian Space Startup Competition

IngeniArs Golden Sponsor at 4th Italian Space Startup Competition

IngeniArs will be golden sponsor of the 4th Italian Space Startup Competition, taking place from 12…

INGENIARS AT SPACE TECH EXPO EUROPE

INGENIARS AT SPACE TECH EXPO EUROPE

We are approaching to the Space Tech Expo Europe, the fifth edition of Europe’s largest B2B event for the space…

LOOKING FORWARD TO MEETING YOU AT ISC 2022!

LOOKING FORWARD TO MEETING YOU AT ISC 2022!

Only a few days left to the International SpaceWire and SpaceFibre Conference – ISC 2022! Though the pandemic situation has…

INGENIARS’ SUPPLIER PAGE ON SATSEARCH WEBSITE!

INGENIARS’ SUPPLIER PAGE ON SATSEARCH WEBSITE!

We are very proud to announce that IngeniArs profile page is now available on SATSEARCH website! Take a moment to visit…

INGENIARS SPACE CATALOGUE AT AUSTRALIAN SPACE FORUM

INGENIARS SPACE CATALOGUE AT AUSTRALIAN SPACE FORUM

We are very thankful to ITA – Italian Trade Agency and ITA – Italian Trade Agency – Sydney for giving visibility to Italian aerospace…

INGENIARS SPACE DIVISION AT ISD 2022, 28-29 SEPT AT ESTEC

INGENIARS SPACE DIVISION AT ISD 2022, 28-29 SEPT AT ESTEC

IngeniArs at the Industry Space Days 2022 (28-29 Sept. 2022) organised and hosted by the ESA at ESTEC facilities, to showcase…

IAC 2022, 18-22 SEPTEMBER: READY TO GO!

IAC 2022, 18-22 SEPTEMBER: READY TO GO!

IngeniArs is going to join this year the International Astronautical Congress – IAC 2022, from 18 to…

IngeniArs at Space Symposium 2022 in Colorado Springs, CO

IngeniArs at Space Symposium 2022 in Colorado Springs, CO

IngeniArs participated to the 37th Space Symposium edition, on April 4 – 7, 2022 in Colorado…

IngeniArs corporate video now available!

IngeniArs corporate video now available!

Take a moment to watch our new corporate video available on our YouTube channel:…

IngeniArs takes part in the bilateral cooperation between ASI and NOSA

IngeniArs takes part in the bilateral cooperation between ASI and NOSA

IngeniArs S.r.l. today at Agenzia Spaziale Italiana in Rome for taking part in the bilateral cooperation between Italian and Norwegian…

IngeniArs is Xilinx Certified Partner!

IngeniArs is Xilinx Certified Partner!

We are very proud to announce that we are Xilinx Certified Partner now! We would like to thank Xilinx for…

IngeniArs on the new Unipi Spin-off website

IngeniArs on the new Unipi Spin-off website

The new University of Pisa Spin-off website is now available online: spinoff.unipi.it IngeniArs profile is…

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…

OUR NEW WEBSITE FINALLY ONLINE

OUR NEW WEBSITE FINALLY ONLINE

We are so excited to announce that IngeniArs new website is finally online! Discover more about our technologies,…

NEW CEO FOR INGENIARS

NEW CEO FOR INGENIARS

After 5 years of Professor Luca Fanucci’s great leadership, Giuseppe Gentile becomes the new CEO of the company. We are happy to…

Want to know more? Contact Us