Show HN: FPGA watchdog a wɔagye atom wɔ ɔkwan a ɛfata so ama AM broadcast wɔ tunnels a nnipa nni mu

\u003ch2\u003eKyerɛ HN: FPGA hwɛfo a wɔagye atom wɔ ɔkwan a ɛfata so ama AM a wɔde bɔ amanneɛ wɔ akwan a nnipa nni mu mu\u003c/h2\u003e \u003cp\u003eHacker News "Show HN" post yi de adwuma anaa adwinnade foforo bi a developers ayɛ ama mpɔtam hɔfo no kyerɛ. Nneɛma a wɔde kɔma no gyina hɔ ma mfiridwuma mu nnoɔma foforɔ ne ɔhaw ano aduru a wɔde yɛ adwuma.\u003c/p\u003e \u003ch3\u003eAdwuma no Nsɛntitiriw\u003c/h3\u003e \u003cp\u003eNneɛma titire a ɛma adwuma yi yɛ nea ɛfata sɛ yɛhyɛ no nsow:\u003c/p\u003e \u003cul\u003e na ɛwɔ hɔ \u003cli\u003eOpen-source kwan a ɛhyɛ adwumayɛkuo ho nkuran\u003c/li\u003e \u003cli\u003eWiase haw ankasa ano aduru a mfaso wɔ so\u003c/li\u003e \u003cli\u003eMfiridwuma mu nneɛma foforo a wɔyɛ wɔ softwea nkɔso mu\u003c/li\u003e \u003cli\u003eMpɔtam hɔfoɔ a wɔde wɔn ho bɛhyɛ mu ne nkɔsoɔ a ɛnam nsɛm a wɔka fa ho so\u003c/li\u003e \u003c/ul\u003e na ɛyɛ adwuma \u003ch3\u003eMfiridwuma mu Nsεmfua\u003c/h3\u003e \u003cp\u003eSaa dwumadie yi kyerɛ tumi a ɛwɔ nkɔsoɔ a mpɔtam hɔfoɔ di anim ne mfiridwuma ano aduru a ɛkɔ so nya nkɔsoɔ denam mmɔdenbɔ a wɔbom yɛ so.\u003c/p\u003e

Nsɛmmisa a Wɔtaa Bisa

Dɛn ne FPGA watchdog a wɔagye atom wɔ ɔkwan a ɛfata so na dɛn nti na ɛho hia ma AM broadcast?

FPGA watchdog a wɔagye atom wɔ ɔkwan a ɛfata so yɛ hardware circuit a wɔde akontabuo ada ne suban a ɛteɛ adi denam nnwinnadeɛ a wɔde di adanseɛ a ɛyɛ mmara kwan so, a ɛyi mfomsoɔ akuo nyinaa a sɔhwɛ nko ara ntumi nkyere no firi hɔ. Wɔ AM broadcast wɔ unmanned tunnels mu no, eyi ho hia kɛse — sɛ ɔwɛmfo no di nkogu a, broadcast nhyehyɛe no betumi atoto mu a onipa biara nni hɔ a ɔde ne ho bɛhyɛ mu. Formal verification hyɛ bɔ sɛ watchdog no bɛsan asiesie nhyehyɛe no bere nyinaa wɔ mfomso tebea horow a wɔakyerɛ mu, na ama ayɛ nea ɛfata ma ahobammɔ-a ɛho hia, a obiara nhwɛ so deployments.

Dɛn nti na wode FPGA bedi dwuma sen sɛ wode microcontroller bedi dwuma ama saa ɔwɛmfo yi?

FPGAs ma deterministic, parallel hardware execution a enni operating system overhead, na ɛma ɛyɛ nea wotumi de ho to so kɛse fi awosu mu ma watchdog applications. Nea ɛnte sɛ microcontrollers no, FPGA watchdog ntumi nsɛe no denam software bugs, stack overflows, anaa runaway processes so — ɛyɛ adwuma wɔ logic level. Wɔ AM broadcast a ɛkyɛ a obiara nhwɛ so wɔ tunnels a ɛyɛ den sɛ wɔbɛhwɛ so no, saa hardware-level ahotoso yi ho hia yiye. Nsusuwii no mu nokwaredi a ɛwɔ mmara kwan so no hyɛ ahotoso a ɛwɔ hɔ sɛ FPGA ntease no yɛ n’ade pɛpɛɛpɛ sɛnea wɔakyerɛ wɔ nsɛm a wɔde hyɛ mu nyinaa mu no mu den bio.

Ɔkwan bɛn so na saa adwuma yi hyia wɔ broadcast anaa infrastructure management adwumayɛ nhyehyɛe a ɛtrɛw mu?

Saa FPGA watchdog yi yɛ adwuma sɛ ahotosoɔ a ɛba fam primitive a ɛne nhwehwɛmu ne dwumadie nhyehyɛeɛ a ɛkorɔn bom. Wɔ akuo a wɔhwɛ broadcast infrastructure so ka adwumayɛ nnwinnadeɛ foforɔ ho no, platforms te sɛ Mewayz — a ɛde module 207 a wɔaka abom ma wɔ $19/ɔsram — ma centralized workflow ne automation layer a wɔbɛtumi aboaboa kɔkɔbɔ, logging, ne remote diagnostics a ɛfiri hardware systems a ɛte saa mu ano na wɔayɛ ho adwuma bere a ɛho nhia wɔ-site baabi a wowɔ.

So mmara kwan so nokwaredi yɛ nea mfaso wɔ so ma hardware nnwuma nketewa, anaasɛ ɛyɛ ahyehyɛde akɛse nkutoo?

Formal verification abɛyɛ nea ankorankoro developers ne akuo nketewa tumi nya kɛseɛ, ɛnam open-source nnwinnadeɛ te sɛ SymbiYosys ne model checkers a ɛne standard HDL code yɛ adwuma nti. Saa adwuma yi kyerɛ sɛ hardware mmɔdenbɔ a wɔde wɔn adwene asi so, a wɔabue ano mpo betumi de akwan a wɔahyɛ da ayɛ adi dwuma de ayɛ nhyehyɛe ahorow a ɛda adi sɛ ɛteɛ. Nnwinnade a ne bo yɛ den ho nhyehyɛe a ɛrenya nkɔso no kyerɛ sɛnea softwea rekɔ so, baabi a platform ahorow te sɛ Mewayz ma adwumayɛbea-grade tumi — module 207, a efi ase fi $19/ɔsram — yɛ nea adansifo a wɔde wɔn ho ne akuw nketewa nyinaa betumi anya bi.

mu