Explore tweets tagged as #SystemVerilog
Vibe coding with @headinthebox using LLMs to generate circuits specified and formally verified in Agda and Lean, LLM transliterated into SystemVerilog with corresponding UVM tests and SVA formal properties for model checking, as well as LLM generated FSM Mermaid diagrams. Took
14
20
205
The #FPGA Programming Handbook.Second Edition. An essential guide to FPGA design for transforming ideas into hardware using #SystemVerilog and VHDL. Frank #Bruno .Guy #Eschemann
2
48
506
SystemVerilogで書いたFPGA Lチカを、Vivadoから実機(KR260 Robotics Starter Kit)に焼けたー😆🎉. これが、現代コンピュータの1,000~10万倍、高速なエンジンを構築する土台になります😉. もしくは同じ性能なら、1/1,000~1/10万分の1の電力消費にセーブできるので、電力問題やCo2排出の解消も可😌
先週から、SystemVerilog/VivadoでのFPGA RTLプログラミングに入門したった … 159言語目😝. 昨年からIoTやハードウェア絡みの開発を手掛けるようになっていったんだが、やっと自分もその領域に踏み込む機会が訪れた(良い先生に恵まれたので、スイスイ進んで有り難い)😌. 明日、いよいよ実機焼き😆
2
6
26