editor's blog
Subscribe Now

AdaCore also suports SPARK, a cr

AdaCore also suports SPARK, a cross between a development environment, a tool set and and an Ada subset, which is even more suitable for safety-critical environment than Ada.

Leave a Reply

featured blogs
Apr 25, 2019
We first released the most modern version of our Series Product Pages (aka Tech Specs pages) in March of 2016. These pages make up the bread and butter of Samtec.com, with nearly 1000 different variations based on the product you are viewing. These also lead into full part nu...
Apr 25, 2019
Before manufacturing, PCB fabricators analyze Gerber data to verify if it is manufacturable or not. If the artwork data meets the requirement, it is processed to make it usable by production tools... [[ Click on the title to access the full blog on the Cadence Community site...
Apr 23, 2019
The April 17th rigid-flex webinar had record attendance from companies all around the world. As such, we had lot’s of great questions like: “Can you detect DRC'€™s for the flex design at the product assembly level?” Tune in as these questions and more subm...
Jan 25, 2019
Let'€™s face it: We'€™re addicted to SRAM. It'€™s big, it'€™s power-hungry, but it'€™s fast. And no matter how much we complain about it, we still use it. Because we don'€™t have anything better in the mainstream yet. We'€™ve looked at attempts to improve conven...