Skip to content
agnisys, april 28, 2022

Formal Verification of Registers and SoC Assembly in Collaboration with Jasper™ and OneSpin™

Learn how to formally verify your design by automatically generating SystemVerilog Assertions (SVA) for your block-level register specifications, chip-level RTL, and RTL connectivity at the SoC level using ARV-Formal™.

Merry Christmas 2021

It’s time for my annual Christmas and Holiday greetings from Semiconductor, #SemiEDA and #SemiIP companies. Send me your favorites. Past years: 2020 2019 2018 2017 2016 Happy holidays from all of us at Rambus! pic.twitter.com/ZfzZVgA3V9 — Rambus Inc.… Merry Christmas 2021

Dini Group

Peace on Earth, Good Will To Men

  In the next two weeks we will receive many end of year greetings from friends, co-workers and yes, high-tech companies too. I simply enjoy collecting and publishing the many greetings from high-tech companies, so… Peace on Earth, Good Will To Men