写verilog不就是时序逻辑和组合逻辑嘛，counter正是一个很好的hello world例子。

领域特定架构已成为计算机发展的一种趋势。在提供更高效算力的同时，它也给底层硬件的开发带来了更大的挑战。传统的芯片设计和验证技术已越来越无法应对这些新的要求和挑战。在芯片设计上，本文将介绍如何使用SpinalHDL，一种基于Scala的新型硬件描述语言（HDL），或者更准确地说是硬件构造语言，提高硬件设计的效率和质量。对于SpinalHDL，本文还介绍了如何利用Scala的类型系统高效地进行复杂硬件的设计。对于验证，本文将介绍基于Python的验证环境Cocotb，以及如何利用Python简洁高效的语言特性及其繁荣的开源社区，提升芯片验证的效率。

SpinalHDL和Chisel师承一脉，都是基于Scala来进行电路描述。其本质上仍旧是HDL而非HLS，在设计之前依旧需要有清晰的电路结构，只不过是在电路描述上更加方便和快捷而已。个人学习SpinalHDL已有半年时间，SpinalHDL在解决上面的那些痛点上觉得做的是相当优秀，有感兴趣的小伙伴不妨尝试了解下。诚然，SpinalHDL的入门曲线可能较陡一些，但越过此门当真是打开一个新的世界。结合SpinalHDL—Doc文档及个人学习经历，推出下面个人的SpinalHDL的笔记总结，建议结合SpinalHDL-Doc进行阅览。