欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

所有开放百科 - 灰狐公开日志的联合展示。你可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2022年5月17日 (二) 12:54 Allen (讨论 | 贡献)标记页面FPGA的版本164283为已巡查
• 2022年5月17日 (二) 12:10 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164282为已巡查
• 2022年5月17日 (二) 11:59 Allen (讨论 | 贡献)上传“文件:Systemc-ams-architecture.png” (https://systemc.org/about/systemc-ams/overview/ category:c++ category:EDA category:processor category:hardware)
• 2022年5月17日 (二) 11:58 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164280为已巡查
• 2022年5月17日 (二) 11:55 Allen (讨论 | 贡献)上传“文件:SystemC.png” (https://systemc.org/about/systemc/overview/ category:c++ category:EDA category:processor category:hardware)
• 2022年5月17日 (二) 11:51 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164278为已巡查
• 2022年5月17日 (二) 11:43 Allen (讨论 | 贡献)标记页面Verilog的版本164277为已巡查
• 2022年5月17日 (二) 11:12 Allen (讨论 | 贡献)标记页面FPGA的版本164276为已巡查
• 2022年5月17日 (二) 11:09 Allen (讨论 | 贡献)上传“文件:1st-CLaaS-framework.png” (https://github.com/os-fpga/1st-CLaaS category:processor category:FPGA category:cloud computing)
• 2022年5月17日 (二) 11:06 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164274为已巡查
• 2022年5月17日 (二) 11:05 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164273为已巡查
• 2022年5月17日 (二) 10:15 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164272为已巡查
• 2022年5月17日 (二) 10:07 Allen (讨论 | 贡献)上传“文件:EDA-and-IP-Design.jpg” (https://www.accellera.org/activities category:EDA)
• 2022年5月17日 (二) 10:06 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164270为已巡查
• 2022年5月17日 (二) 09:56 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164269为已巡查
• 2022年5月17日 (二) 09:54 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164268为已巡查
• 2022年5月17日 (二) 08:10 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164267为已巡查
• 2022年5月17日 (二) 08:08 Allen (讨论 | 贡献)标记页面CAD的版本164266为已巡查
• 2022年5月17日 (二) 08:04 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164265为已巡查
• 2022年5月17日 (二) 07:54 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164264为已巡查
• 2022年5月17日 (二) 07:32 Allen (讨论 | 贡献)上传“文件:F4PGA-project-structure.png” (https://f4pga.org/ category:EDA)
• 2022年5月17日 (二) 07:32 Allen (讨论 | 贡献)上传“文件:EDA-Tooling-Ecosystem.png” (https://f4pga.org/ category:EDA)
• 2022年5月17日 (二) 07:32 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164261为已巡查
• 2022年5月17日 (二) 07:31 Allen (讨论 | 贡献)标记页面FPGA的版本164260为已巡查
• 2022年5月17日 (二) 07:27 Allen (讨论 | 贡献)标记页面FPGA的版本164259为已巡查
• 2022年5月17日 (二) 07:26 Allen (讨论 | 贡献)标记页面FPGA的版本164258为已巡查
• 2022年5月17日 (二) 07:24 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164257为已巡查
• 2022年5月17日 (二) 07:18 Allen (讨论 | 贡献)上传“文件:Ringdove-EDA-logo.png” (http://www.repo.hu/projects/ringdove/index.html category:EDA)
• 2022年5月17日 (二) 07:17 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164255为已巡查
• 2022年5月17日 (二) 05:09 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164254为已巡查
• 2022年5月17日 (二) 03:27 Allen (讨论 | 贡献)标记页面KiCad的版本164253为已巡查
• 2022年5月17日 (二) 03:25 Allen (讨论 | 贡献)标记页面KiCad的版本164252为已巡查
• 2022年5月17日 (二) 03:19 Allen (讨论 | 贡献)标记页面Electronic design automation的版本164251为已巡查
• 2022年5月17日 (二) 03:18 Allen (讨论 | 贡献)标记页面分类:EDA的版本164250为已巡查
• 2022年5月17日 (二) 03:18 Allen (讨论 | 贡献)标记页面分类:EDA的版本164249为已巡查
• 2022年5月17日 (二) 03:17 Allen (讨论 | 贡献)上传“文件:Ngspice-logo.jpg” (http://ngspice.sourceforge.net/ category:simulation category:EDA )
• 2022年5月17日 (二) 03:16 Allen (讨论 | 贡献)上传“文件:Kicad-logo-small.png” (https://www.kicad.org/ category:EDA category:CAD category:processor)
• 2022年5月17日 (二) 03:16 Allen (讨论 | 贡献)上传“文件:Kicad-logo.png” (https://www.kicad.org/ category:EDA category:CAD category:processor)
• 2022年5月17日 (二) 03:15 Allen (讨论 | 贡献)标记页面KiCad的版本164245为已巡查
• 2022年5月17日 (二) 03:06 Allen (讨论 | 贡献)标记页面KiCad的版本164244为已巡查
• 2022年5月17日 (二) 02:34 Allen (讨论 | 贡献)标记页面RISC-V的版本164243为已巡查
• 2022年5月17日 (二) 02:27 Allen (讨论 | 贡献)标记页面RISC-V的版本164242为已巡查
• 2022年5月17日 (二) 02:26 Allen (讨论 | 贡献)标记页面RISC-V的版本164241为已巡查
• 2022年5月17日 (二) 02:21 Allen (讨论 | 贡献)标记页面RISC-V的版本164240为已巡查
• 2022年5月17日 (二) 02:21 Allen (讨论 | 贡献)标记页面Processor的版本164239为已巡查
• 2022年5月17日 (二) 02:16 Allen (讨论 | 贡献)标记页面OpenRISC的版本164238为已巡查
• 2022年5月17日 (二) 02:15 Allen (讨论 | 贡献)标记页面OpenSPARC的版本164237为已巡查
• 2022年5月17日 (二) 02:15 Allen (讨论 | 贡献)标记页面X86的版本164236为已巡查
• 2022年5月17日 (二) 02:14 Allen (讨论 | 贡献)标记页面Power的版本164235为已巡查
• 2022年5月17日 (二) 02:13 Allen (讨论 | 贡献)标记页面PA-RISC的版本164234为已巡查