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.
September 28, 2011
featured blogs
Feb 15, 2019
Shrinking size of ICs and highly complex layouts containing billions of transistors and miles of interconnects....all of this doesn't sound new now. The industry has been pretty fast in adopting...
[[ Click on the title to access the full blog on the Cadence Community s...
Feb 14, 2019
Samtec's complete line of discrete wire connectors and cable assemblies are used in a variety of applications, including industrial automation, industrial equipment, security, telecom, automation, controls, military and defense, and transportation, to name a few. Samtec d...
Feb 14, 2019
IC/ASIC Language and Library Adoption Trends
This blog is a continuation of a series of blogs related to the 2018 Wilson Research Group Functional Verification Study (click here). In my previous blog (click here), I examined IC/ASIC project verification technology adoption...
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...