Adrian Sampson

1.4K Followers
454 Following
2K Posts
Carly Rae Jepsen fan account.
pronounshe/him
affiliationCornell
homehttps://www.cs.cornell.edu/~asampson
Carly RaeJepsen
@wingo hmm, I don't think any of them are public, but I am noodling with a new such idea now and will send it along if it works out!
@wingo not sure if it counts, but I have had a grand ol’ time making IRs out of im::Vector https://docs.rs/im/latest/im/struct.Vector.html
Vector in im - Rust

A persistent vector.

@slava why is the world so full of this one type of dude
I have had this Lykke Li song low-level stuck in my head continuously for 15 years; I did not expect Drake to be the guy to bring it right back to the surface this week https://youtu.be/vZYbEL06lEU
Lykke Li - I Follow Rivers (Director: Tarik Saleh)

YouTube
the social media client for my dotage
💡 daily export from Mastodon timeline to ePub, so I can sit on the porch once each evening and read your jokes like a newspaper while the sun sets

@adrian I feel this. I am currently working on our SystemVerilog Frontend for @verijit and I was surprised how differently you think about Verilog when designing hardware vs when writing a simulator. I mean I knew in theory that Verilog is event driven, but the common subset people actually use does conveniently not run into this much.

I feel like I am actually writing half a synthesis toolchain to make our simulator fast. We gained an entire new intermediate representation for this reason.

@ekiwi @thezoq2 Ah yeah, maybe I should mention somewhere that (despite X-optimism being the official semantics), different simulators disagree and some have configuration options…
@PeteBleackley Ah yeah, great question! VHDL is sometimes the exception to the rule that "all EDA tools support Verilog and only Verilog." Not all tools support it, though, and it is sometimes a second-class citizen. For example, IIRC Yosys supports VHDL only by translating it to Verilog first via https://github.com/ldoolitt/vhd2vl !
GitHub - ldoolitt/vhd2vl

Contribute to ldoolitt/vhd2vl development by creating an account on GitHub.

GitHub