Discussion about this post

User's avatar
Michal's avatar

Thank you for the post! What do you think of other compilers, like Clash? https://clash-lang.org/ Does it make sense to compile high-level code written in languages like Haskell for FPGAs, or there are too many performance ‘traps‘ that it doesn’t work well?

Expand full comment
Thales Pereira's avatar

Hey Zack, I do see potential in using LLMs as copilots, particularly in areas like verification, where there’s a significant talent bottleneck. Automating tedious verification processes or assisting with documentation and debugging could free up engineers to focus on innovation. However, for LLMs to make a substantial impact in chip verification, they would need to move beyond general-purpose reasoning and incorporate formal models to truly "understand" chip specifications. It seems to me that the key for LLMs in this field isn’t to replace engineers but to augment their efficiency in specific, well-defined areas.

Expand full comment
5 more comments...

No posts