I mentioned back in June that Synopsys had launched a blog on formal verification, intended to demystify the field and provide help in understanding key concepts. It’s been a few months, time to check in on some of their more recent posts.
First up, it feels like they are finding their groove. Relaxed style, useful topics but now with… Read More
Any sufficiently advanced technology is indistinguishable from magic, as the saying goes. Which is all very well when the purpose is entertainment or serving the arcane skills of a select priesthood, but it’s not a good way to grow a market. Then you want to dispel the magic aura, make the basic mechanics more accessible to a wider… Read More
I am often asked how I became a blogger (or a journalist if you want to make it sound more professional). I think people assume that I planned it in some way but I never did. Life is what happens while you are making other plans. To see how unlikely it is, you need to know a bit of my background.
I have a PhD in computer science so I’m actually… Read More
If you ask me: Are you blogging for Semiwiki? The real answer could be:
No, I am just telling stories, but these are true stories! This idea is perfectly illustrated by this post that I found on:
And in particular this extract, as it is something that I could have written … Read More
Atrentais well-known for their SpyGlass software that enables SoC engineers to run early design analysis on RTL code and create a hardware virtual prototype for analysis prior to implementation. Visiting their website you quickly see that social media plays an important role in connecting with engineers as links for Facebook,… Read More
Started in 2002 Carbon Design Systems has ESL (Electronic System Level) modeling and validation tools for complex SoC design. With their software you can:
- Perform system level model generation of existing and 3rd party IP directly from RTL for use in any virtual platform
- Do performance analysis & optimization of SoC architectures
… Read More