联合开发网   搜索   要求与建议
                登陆    注册
排序按匹配   按投票   按下载次数   按上传日期
按分类查找All 硬件设计(6) 
按平台查找All Scala(6) 

[硬件设计] formal-verification-symbiYosys-chisel-example

首次使用SymbiYosys来正式验证用凿子编写的简单计数器,
First use of SymbiYosys to formally verify a simple counter written in chisel, (2023-10-24, Scala, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1698176792838462.html

[硬件设计] sse-breaker

Scala中的断路器实现,
A circuit breaker implementation in Scala, (2017-10-26, Scala, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694054832980654.html

[硬件设计] qlione

Scala中具有漂亮电路DSL的量子模拟器,
a quantum simulator with pretty circuit DSL in Scala, (2018-09-27, Scala, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694054800362041.html

[硬件设计] Circuit-Breaker-for-Scala

根据《释放它》(Michael Nygard)一书,使用断路器保护外部服务访问,
Guard external service access with a Circuit Breaker based on the book "Release It" (Michael Nygard), (2010-05-19, Scala, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694054526396364.html

[硬件设计] scala-circuit-breaker

Scala应用程序和服务的断路器,
A circuit breaker for Scala applications and services, (2020-09-30, Scala, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694054526990823.html

[硬件设计] csim

数字电路模拟器。,
A digital circuit simulator., (2020-09-13, Scala, 0KB, 下载0次)

http://www.pudn.com/Download/item/id/1694052794716735.html
总计:6