Xilinx系列FPGA SelectIO简介连载一 | FPGA 开发圈

[https://fpga.eetrend.com/content/2021/100554077.html] - 2024-09-13 02:11:20 - public:speqz

fpga, lvds, selectio, xilinx - 4 | id:1492963 -

Formal验证技术总结 – Wenhui's Rotten Pen

[https://www.wenhui.space/docs/07-ic-verify/formal/formal/] - 2024-09-11 22:02:12 - public:speqz

SMT求解技术的发展及最新应用研究综述

[https://crad.ict.ac.cn/fileJSJYJYFZ/journal/article/jsjyjyfz/HTML/2017-7-1405.shtml] - 2024-09-11 06:52:49 - public:speqz

sat, smt - 2 | id:1492937 -

形式化驗證 (Formal Verification) - HackMD

[https://hackmd.io/@sysprog/formal-verification] - 2024-09-11 02:45:51 - public:speqz

formal - 1 | id:1492936 -

building-python3.11.md

[https://gist.github.com/jacky9813/619d2eff88c080de9402924e46fc55f7] - 2024-09-10 05:58:00 - public:speqz

build, centos, python - 3 | id:1492925 -

VLSIDA/OpenRAM: An open-source static random access memory (SRAM) compiler.

[https://github.com/VLSIDA/OpenRAM] - 2024-04-12 03:19:30 - public:speqz

compiler, ram, rom - 3 | id:1490945 -

SVN to Git Migration - TMate SubGit

[https://subgit.com/] - 2024-04-10 14:41:35 - public:speqz

bridge, git, svn, sync - 4 | id:1490937 -

mrts/git-svn-bridge: Instructions, scripts and utility programs for synchronizing/mirroring changes between git and Subversion

[https://github.com/mrts/git-svn-bridge] - 2024-04-10 14:41:14 - public:speqz

bridge, git, svn, sync - 4 | id:1490936 -

stnolting/neorv32: :rocket: A tiny, customizable and extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.

[https://github.com/stnolting/neorv32] - 2024-03-31 07:29:41 - public:speqz

riscv - 1 | id:1490820 -

totalspectrum/zpugccle: GNU toolchain ported to a little endian variant of the ZPU

[https://github.com/totalspectrum/zpugccle] - 2024-03-24 00:01:32 - public:speqz

zpu - 1 | id:1490103 -

I²C Master Mode

[https://onlinedocs.microchip.com/pr/GUID-04DAA7D3-9FC2-45F2-B757-157190106490-en-US-2/index.html] - 2024-03-14 20:05:49 - public:speqz

i2c - 1 | id:1489912 -

GitHub - gerph/memory-layout-diagram: Diagrams for memory map layouts, in code or definition files

[https://github.com/gerph/memory-layout-diagram] - 2024-03-07 11:46:04 - public:speqz

generator, map, memory - 3 | id:1489840 -

GitHub - sgherbst/svreal: Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats

[https://github.com/sgherbst/svreal] - 2024-03-07 01:37:33 - public:speqz

floating, real, synthesis, verilog - 4 | id:1489835 -

charlesnicholson/nanoprintf: The smallest public printf implementation for its feature set.

[https://github.com/charlesnicholson/nanoprintf] - 2023-12-02 07:48:47 - public:speqz

printf, small - 2 | id:1485431 -

RISC-V 指令集架構介紹 - Integer Calling convention | Jim's Dev Blog

[https://tclin914.github.io/77838749/] - 2023-12-01 09:30:33 - public:speqz

instruction, riscv - 2 | id:1485416 -

riscv-collab/riscv-gnu-toolchain: GNU toolchain for RISC-V, including GCC

[https://github.com/riscv-collab/riscv-gnu-toolchain] - 2023-11-30 04:08:55 - public:speqz

gcc, riscv - 2 | id:1485394 -

syntacore/scr1: SCR1 is a high-quality open-source RISC-V MCU core in Verilog

[https://github.com/syntacore/scr1] - 2023-11-30 03:54:06 - public:speqz

core, riscv - 2 | id:1485393 -

Picorv32 启动流程 + 中断 (RV32IM) - 知乎

[https://zhuanlan.zhihu.com/p/659246477] - 2023-11-27 07:36:45 - public:speqz

irq, picorv32, timer - 3 | id:1485323 -

Zylin ZPU: 32 bit CPU with GCC toolchain | Hacker News

[https://news.ycombinator.com/item?id=35552824] - 2023-11-17 07:44:15 - public:speqz

gcc, zpu - 2 | id:1485183 -

Coroutine demonstration with setjmp/longjmp (STM32) | Mooshim Engineering

[https://moosh.im/2020/07/coroutine-demonstration-with-setjmp-longjmp-stm32/] - 2023-11-17 06:29:22 - public:speqz

c, coroutine, setjmp - 3 | id:1485182 -

Composerize

[https://www.composerize.com/] - 2023-10-18 17:55:24 - public:speqz

docker, docker-compose, run - 3 | id:1484926 -

Windows SSH: Permissions for 'private-key' are too open - Super User

[https://superuser.com/questions/1296024/windows-ssh-permissions-for-private-key-are-too-open] - 2023-10-17 00:38:16 - public:speqz

key, ssh, windows - 3 | id:1484903 -

How to Develop an Asyncio Port Scanner in Python

[https://superfastpython.com/asyncio-port-scanner/] - 2023-10-10 21:53:51 - public:speqz

asyncio, port, scanner - 3 | id:1484850 -

How to Run GPO Logon Script Only Once | Windows OS Hub

[https://woshub.com/run-gpo-logon-script-once/] - 2023-10-10 20:40:47 - public:speqz

ad, gpo, logon, script - 4 | id:1484848 -

synoindexwatcher · PyPI

[https://pypi.org/project/synoindexwatcher/] - 2023-10-08 09:31:28 - public:speqz

everything, inotify, synology, watch - 4 | id:1484836 -

RAM Disk Software: 11 Best Free Tools We Tested

[https://whatsoftware.com/12-ram-disk-software-benchmarked-for-fastest-read-and-write-speed/] - 2023-10-07 10:00:31 - public:speqz

benchmark, disk, ram - 3 | id:1484826 -

認識姚長安 Mr. Frank顧問

[https://www.mrfrank.cc/p/blog-page_31.html] - 2023-10-06 22:55:22 - public:speqz

創業, 補助, 顧問 - 3 | id:1484813 -

Dan Dar3: Mounting OSFMount RAM drive on boot

[https://dandar3.blogspot.com/2018/05/mounting-osfmount-ram-drive-on-boot.html] - 2023-10-06 20:18:27 - public:speqz

auto, boot, drive, ram - 4 | id:1484803 -

GitHub - massgravel/Microsoft-Activation-Scripts: A Windows and Office activator using HWID / KMS38 / Online KMS activation methods, with a focus on open-source code and fewer antivirus detections.

[https://github.com/massgravel/Microsoft-Activation-Scripts] - 2023-10-06 17:44:44 - public:speqz

activator, kms, windows - 3 | id:1484801 -

如何使用 OpenSSL 建立開發測試用途的自簽憑證 (Self-Signed Certificate) | The Will Will Web

[https://blog.miniasp.com/post/2019/02/25/Creating-Self-signed-Certificate-using-OpenSSL] - 2023-10-04 18:14:15 - public:speqz

cert, openssl, self-signed - 3 | id:1484782 -

GO Contact Sync Mod download | SourceForge.net

[https://sourceforge.net/projects/googlesyncmod/] - 2023-10-02 15:34:54 - public:speqz

gmail, outlook, sync - 3 | id:1484741 -

Accounts: Rename administrator account | ManageEngine ADAudit Plus

[https://www.manageengine.com/products/active-directory-audit/kb/security-policy-settings/accounts-rename-administrator-account.html] - 2023-10-01 20:41:03 - public:speqz

active, ad, administrator, directory - 4 | id:1484721 -

數字後端知識點(2)-如何解決congestion問題 - 知乎

[https://zhuanlan.zhihu.com/p/425549143] - 2023-09-30 08:22:35 - public:speqz

congestion, icc - 2 | id:1484708 -

liberate: examples of cadence liberate 15.10

[https://gitee.com/chaujohnthan/liberate] - 2023-08-24 19:51:49 - public:speqz

cadence, char, liberate - 3 | id:1483962 -

Homelab：我的賽博積木 - 公網服務 - ECWU's Notebook

[https://ecwuuuuu.com/post/homelab-journey-internet/] - 2023-07-28 15:26:38 - public:speqz

authentik, Gitea, outline - 3 | id:1483682 -

How to Create a Scheduled Task Using GPO | Windows OS Hub

[https://woshub.com/scheduled-task-gpo/] - 2023-06-24 11:54:55 - public:speqz

gpo, tasksche - 2 | id:1461519 -

GitHub - skywind3000/kcp: KCP - A Fast and Reliable ARQ Protocol

[https://github.com/skywind3000/kcp] - 2023-05-05 09:35:42 - public:speqz

kcp - 1 | id:1420264 -

指令碼之家_www.jb51.net

[https://www.jb51.net/] - 2023-04-10 03:45:50 - public:speqz

china, crack, download, software - 4 | id:1406546 -

lark-parser/lark: Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

[https://github.com/lark-parser/lark] - 2023-03-18 10:03:23 - public:speqz

parser, python - 2 | id:1384952 -

Outlook Not Responding – solutions for hanging, freezing, crashing

[https://www.ablebits.com/office-addins-blog/outlook-not-responding-solutions/] - 2023-03-01 18:39:01 - public:speqz

fixing, mailbox, outlook - 3 | id:1370970 -

windows - How do I find out the browser's proxy settings? - Stack Overflow

[https://stackoverflow.com/questions/202547/how-do-i-find-out-the-browsers-proxy-settings] - 2023-01-03 07:46:43 - public:speqz

network, proxy, python, windows - 4 | id:1294774 -

66786 - UltraScale+/ Zynq UltraScale+ MPSoC SelectIO: Interfacing LVDS signals with 1.2V I/O banks

[https://support.xilinx.com/s/article/66786?language=en_US] - 2022-12-30 23:37:06 - public:speqz

lvds, voltage, xilinx - 3 | id:1294746 -

Vivado TCL script to insert ILA

[https://support.xilinx.com/s/question/0D52E00006iHrk8SAC/vivado-tcl-script-to-insert-ila?language=en_US] - 2022-12-28 09:54:16 - public:speqz

ila, tcl, vivado - 3 | id:1294732 -

How can I use locate only for a directory - Unix & Linux Stack Exchange

[https://unix.stackexchange.com/questions/40015/how-can-i-use-locate-only-for-a-directory] - 2022-12-26 00:34:53 - public:speqz

directory, locate - 2 | id:1294704 -

astroza/udptunnel: It allows TCP/UDP/ICMP traffic over UDP tunneling. It's useful to avoid Internet restrictions.

[https://github.com/astroza/udptunnel] - 2022-12-16 08:30:44 - public:speqz

tunnel, udp - 2 | id:1294661 -

max_fanout命令的正確打開方式 | 電子創新網賽靈思社區

[https://xilinx.eetrend.com/content/2019/100016875.html] - 2022-12-14 16:17:14 - public:speqz

fpga, max_fanout, xilinx - 3 | id:1294638 -

How do I force sync the time on Windows Workstation or Server? - Server Fault

[https://serverfault.com/questions/294787/how-do-i-force-sync-the-time-on-windows-workstation-or-server] - 2022-12-13 05:29:04 - public:speqz

ad, ntp, w32tm - 3 | id:1294628 -

【阿福的隨筆】淺談 I3C 的 SDR broadcast, Direct CCC，及如何變更速率 - 大大通

[https://www.wpgdadatong.com/tw/blog/detail/46698] - 2022-12-10 00:58:27 - public:speqz

i3c - 1 | id:1294604 -

Decrypting WeChat Messages Without Physical Possession of a Mobile Device - Nisos

[https://www.nisos.com/blog/decrypting-wechat-messages/] - 2022-12-02 17:38:57 - public:speqz

decode, wechat - 2 | id:1294536 -

Enable optimized moves of redirected folders | Microsoft Learn

[https://learn.microsoft.com/en-us/windows-server/storage/folder-redirection/enable-optimized-moving] - 2022-11-07 15:02:58 - public:speqz

ad, change, folder, offline, redirection - 5 | id:1294165 -

Viewing speqz's Bookmarks