Computer simulation, programming, software, technology, research, and more (since 2007)
The 2023-19 version of the Public Release of the Intel Simics Simulator added a simple RISC-V virtual platform. This is the second architecture supported by the public release, after x86.
I will be producing a series of blog posts to show a bit of what the you can do with this virtual platform. The first Intel blog post talks about system-level simulation use cases, in particular networking and simulating x86 and RISC-V systems together.
A few weeks ago I visited Berlin. A fantastically interesting city, and much more affordable and accessible than places like New York or London. However, it is almost comical how much of what you see ends up being about either the Third Reich or the Cold War and the DDR. The war in Ukraine was also noticeably present.
Continue reading “Berlin – Cold War, Third Reich, and Ukraine”
Windows PowerToys is a fantastic set of utilities for Windows, and it just got better with the addition of “Paste as Plain Text”. Just like the mouse pointer locator I blogged about before, it is a small thing that you get used to and immediately notice if it is absent.
Continue reading “Paste as Plain Text”
In previous three blog posts (1,2,3) about ChatGPT in particular and large language models in general, I touched on what they can do, what they cannot do, what they seem not to do, how they fall down in funny ways, and why I think they are fundamentally flawed for many applications. There is one more aspect left to consider – the legal and licensing side. I am not a lawyer, I am not an expert, but it seems obvious that there is a huge problem. There are also clear questions about business morals and what the right thing to do would be. I also doubt the business viability of LLMs in the way they are currently trained.
Continue reading “ChatGPT and Legal”ChatGPT and other transformer-based models like Dall-E are technologically very impressive. They do things that seemed totally impossible just a few years ago. However, they are not really generally intelligent, and there are innumerable problems with how they work, what they do, what people think they do, ethics, and legal and licensing issues. This is my third post about ChatGPT, where I present my critique of and reflections on the technology. The previous posts were about ChatGPT and Simics and Coding using ChatGPT.
Continue reading “ChatGPT and Critique”In my previous blog post about ChatGPT and Simics, I tested it on its knowledge and abilities with a fairly niche subject. Not unsurprisingly it did not do all that well. However, one area where ChatGPT appears to really work well is when dealing with program code. This seems more practically useful as well, especially as a generator of starting points and boiler-plate code. It can also sometimes do a decent job explaining code, subject to quite common bizarre mistakes and errors. Update: Part 3, a critique of ChatGPT has been published.
Continue reading “ChatGPT and Code”It is an understatement to say that ChatGPT has been a hot topic since it was launched a few months back. Everyone seems to be seeing what it can do in their favorite domain, so I had to try it on what I work with, Simics and virtual platforms. The results did not live up to the hype some people think the technology deserves, but it was very impressive and a little scary nevertheless. This is the first post in what looks like it will be a series about ChatGPT. Update: Part 2, ChatGPT and Code, is now out. Update to the update: Part 3, a critique of ChatGPT has been published.
Continue reading “ChatGPT and Simics”
Right when our old NUC5 died, its replacement had been delivered and brought online – a new Intel NUC12 Enthusiast, also known as the NUC12SNKi72 (I work at Intel, but even I find that name a bit obtuse). This is a seriously fast machine in a fairly compact package, even though admittedly not as small as the old NUC5. On the other hand, as a machine with an ambition to be a replacement for a dedicated gaming PC, it sports a dedicated graphics card and not just the integrated graphics typical for the classic NUCs.
Continue reading “The NUC12 Enthusiast”
Just before Christmas I stumbled on a most excellent little book: “100 Ways to Improve Your Writing” by Gary Provost. I wish I found it earlier, as it has been available for almost forty years. It is a little gem of good advice on how to write better (and how to communicate better general).
Continue reading ““100 Ways to Improve Your Writing””
Computers can wear out given enough time. I just had an old NUC basically fall apart – on the very day it was being replaced by a new one. The timing is rather too good to be believed, but basically the machine stopped working just when we transitioned to a new NUC. The old one still booted… but running it was questionable due to its many concurrent failure modes.
Continue reading “This NUC is Dead”The 2022 DVCon (Design and Verification) Europe conference was back in physical form at its usual venue at the Holiday Inn München. It was a great conference, and just like at the 2022 DAC people were very happy to be back in person.
Continue reading “DVCon Europe 2022. Verification, System Simulation, and People!”I presented a tutorial about the “verification of virtual platforms models” at DVCon Europe last week. The tutorial was prepared by me and Ola Dahl at Ericsson, but Ola unfortunately could not attend and present his part – so I had to learn his slides and style and do my best to be an Ola stand-in (tall order, we really missed you there Ola!). The title maybe did not entirely describe the contents – it was more a discussion around how to think about correctness and in particular specifications vs implementations. The best part was the animated discussion that we got going in the room, including some new insights from the audience that really added to the presented content.
Updated: Included an important point on software correctness that I forgot in the first publication.
Continue reading “Notes from our DVCon Europe 2022 Tutorial”The November 2022 on-paper magazine from Swedish electronics news site Elektroniktidningen features an article I wrote about the Device Modeling Language (DML). Among many other really good articles.
Update: The article is now available online in HTML format.
I finally got updated to Windows 11 on my work machine, and suddenly I have to figure out how to use Windows 11 for real work. The redesigned start menu is terribly bad compared to the Windows 10 variant. What is nice though is the new Terminal app, along with the quite pleasing Cascadia font. However, I found the default size of Cascadia to be a tad big. Which lead to the question: “just how on earth are you supposed to control the font on this thing?” The font adjustment is probably the least logical I have ever found, and without some help from the Internet I would never have figured out. So here is how you do it.
Continue reading “Setting the Font in Windows 11 “Terminal””
DVCon (Design and Verification Conference) Europe is coming up in early December, in person, in München, Germany. The selection of papers and posters is finished, and the program is firming up. I am happy to report that I am part of two items on the menu, a personal record for DVCon! For more on DVCon Europe in general and how it has been in the past, see my previous blog post on DVCon Europe 2022.
Continue reading “Two Presentations at DVCON Europe 2022”