jtod.github.io：John O'Donnell的主页

约翰·奥唐奈的主页 是具有软件工具的指令集架构，包括汇编器，仿真器和数字电路。 是一种用于指定数字电路的功能性计算机硬件描述语言。 Hydra使用Haskell表示法，并通过嵌入Haskell来实现。 该语言提供了用于指定从逻辑门级到寄存器传输级再到子系统设计的同步电路的工具。 语言语义等效于实际的电路语义，因此您可以通过执行Hydra规范来模拟电路。