https://files.cnblogs.com/files/blogs/714801/iverilog-12.0-windows.7z

5,536KB 不帶GTKWave. 玩玩在console看01就行。還有$dumpvars和$monitor呢。

Icarus Verilog is available in official MSYS2 repositories and mirrors: https://packages.msys2.org/search?t=pkg&q=iverilog

First, search the available package versions:pacman -Ss iverilog

Then, install the package for MINGW64 and/or MINGW32:pacman -S mingw-w64-x86_64-iverilog mingw-w64-i686-iverilog

https://files.cnblogs.com/files/blogs/714801/verilog-11.0.tar.gz

1,743KB 近7萬行C++ Linux下編譯應該不難，configure再make. byte code而不是彙編，LLVM JIT? :-)

Logic synthesis uses a Hardware Description Language to automate the most tedious and error-prone aspects of design

simulation: the activity of producing conditions which are similar to real ones, especially in order to test something, or the conditions that are produced.

emulate/imitate: do something or behave in the same way as someone else, especially because you admire them. 在x86上跑安卓emulator.

stimulate: 刺激，激勵.stipulate: 講明，規定