Verification Engineer by day, Verification Gentleman by night. Tweets may contain snark and/or sarcasm.
Joined June 2011
- Tweets 2,622
- Following 91
- Followers 835
- Likes 543
Photos and videos
Pinned Tweet
7 Dec 2020
I'm now on GitHub sponsors: github.com/sponsors/tudortim…
I don't expect to get rich off of it. If anything, it's a motivator to get more content out there to make the sponsors proud. What I get I want to put back into the blog: domain, hosting, books, etc.
1
2
9
Mar 1
After a long hiatus, I finally wrote a new blog post: blog.verificationgentleman.c… . This one's about the "embedded covergroup inheritance" feature added to SystemVerilog by IEEE 1800-2023. Is what I wrote in 2015 about coverage extensibility now obsolete? Read the post to find out!
3
72
Feb 18
Enjoy the same posts on various verification-related topics on Bluesky: bsky.app/profile/tudortimi.c…. (Same snark, same sarcasm.)
38
Feb 15
Who says @GitHubCopilot can't be used for underrepresented languages like e?
I asked it to fix this error in #Specman and it managed to do it! It only took a few iterations of editing the wrong file, removing <' markers from working code and using HTML brackets before succeeding
1
60
Feb 15
I joke, but in all seriousness, I am an AI optimist. It's just going to take a bit more effort from us digital verification folks.
28
Feb 8
For all the talk about covergroup inheritance in #systemverilog that one can find online since 2023, it seems that EDA vendors couldn't really be bothered to implement it.
8
2
161
27 Aug 2025
I found a quote that very summarizes one of my main reasons for preferring Git over other version control systems:
"Git isn't just a version control system, but part of a broader, highly integrated toolset that many teams rely on daily. ".
1
1
101
27 Aug 2025
Funnily enough, the quote comes from the Perforce website: perforce.com/blog/vcs/git-vs…
152
20 Jul 2025
That feeling when GitHub Copilot warns you that it found similar code to what it generated and then it points you to your own repo. 😎
2
150
22 Mar 2025
Absolutely necessary for IT to change $HOME from `/home/<user>` to `/<company-ticker>home/<user>` (where `/<company-ticker>home` is a symlink to `/home`). Absolutely necessary for all the little issues it causes with various programs (like VS Code) that don't like to symlinks.
2
153
22 Mar 2025
E.g. VS Code has doesn't like symlinks for indexing or refreshing Git status.
82
2 Feb 2025
I was doing some productive procrastination by going through the tutorial for @astrodotbuild and I have to say that it's absolutely fantastic. It introduces concepts progressively, let's the user make mistakes and then shows how to fix them, and is just all around easy to follow.
141
30 Jan 2025
Yet again, I run into the problem that a crappy #semiEDA tool wrapper can't properly handle multi-token arguments (i.e. `wrapper --tool-arg 'some value'` leads to something like `tool --arg some value`). I'm getting pretty sick and tired of running into this again and again.
130
17 Jan 2025
Using @GitLab and think it would be better if you wouldn't get horizontal scroll bars for long commit message lines? Leave a thumbs up here: buff.ly/4aou6WD
104
14 Jan 2025
Sometimes while having to work on projects developed by various "experts", I look at the screen and think "with code like this, who needs enemies?".
1
5
187
3 Jan 2025
I just used `git bisect` for the first time to find a broken commit. I feel like a wizard!
3
148
27 Dec 2024
Where does one normally ask questions to clarify contents of the SystemVerilog standard? StackOverflow doesn't feel like the best place for this somehow. On the Accellera forums there's the "UVM SystemVerilog Discussions" section, but that should be for UVM related stuff.
1
1
3
202
27 Dec 2024
Makes me wonder why there isn't a "SystemVerilog" group, like there is for SystemC.
1
106
11 Dec 2024
It's interesting to see that none of the simulators got the behavior from section 8.16 Casting of IEEE 1800-2023 right. Some got it more wrong that others too. I'm also starting to doubt myself, whether maybe I'm the one who's wrong.
1
134
11 Dec 2024
Only `$cast(b, null)` should succeed, the others should fail.
`$cast(b, o)` should obviously fail.
`$cast(e, b)` should fail, because even though source could be cast to destination, `b` evaluates to `null`. The source expression is not the literal constant null, though.
72