Greyhound is alive! 🐶

Last week, I posted about soldering my custom chips onto breakout boards. Now, I can finally say that Greyhound is working 🎉
If the video below doesn't work, you can also view it on Peertube: https://makertube.net/w/3rQ8a7WxTYcr1BQY9nCUat

I'm incredibly happy that Greyhound is no longer just theoretical, but that it can run examples on its FPGA in the real world 🤩

Greyhound repository: https://github.com/mole99/greyhound-ihp

#FPGA #ASIC

Greyhound IHP v1

https://makertube.net/w/3rQ8a7WxTYcr1BQY9nCUat

Мост для ко-симуляции в Icarus Verilog и NGSpice

Автор: Cyberflex (по мотивам реальной разработки бриджа для Ко-симуляции " MixFighter" ) Как мы сделали мост между Icarus Verilog и NGSpice: две разных реализации архитектуры.

https://habr.com/ru/articles/1023270/

#IcarusVerilog #SPICE #NGSPIice #Cosimulation #Mixed_simulation #asic #verilog #netlist

Формальная верификация «для богатых»: используем Jasper C2RTL App из Cadence JasperGold

Приве! Меня зовут Андрей, я занимаюсь в YADRO верификацией аппаратного обеспечения. В разработке цифровых устройств (GPU, CPU, AI-ускорители) большое внимание уделяют трактам обработки данных (datapath). Архитекторы создают эталонные модели блоков на языках высокого уровня (C/C++), чтобы быстрее проводить архитектурные исследования и отладку алгоритмов — например, операции с плавающей точкой, полиномы, матричные умножения. Однако конечная реализация выполняется на RTL (Verilog/SystemVerilog). После реализации в виде RTL-кода всегда хочется проверить соответствие итогового дизайна оригинальной модели. В этот момент в мире ASIC-разработки часто начинают думать сразу о UVM, корнер-кейсах и прочих долгих прелюдиях перед оформлением багов. В качестве альтернативы здесь выступает формальная верификация. Если вы работаете в небольшом стартапе, то, скорее всего, вам нужен маршрут формальной верификации, описанный моим коллегой в статье «Формальная верификация „для бедных“: выбираем open-source решение» . Но если вам повезло работать в крупной полупроводниковой компании с доступом к коммерческим инструментам формальной верификации, то можно подумать о проверке логической эквивалентности между C и RTL-кодом. Один из популярных инструментов для такой проверки — это Jasper C2RTL App в составе платформы Cadence JasperGold. По механике он очень похож на известные многим инструменты LEC и SEC, но в качестве эталонной реализации здесь выступает код на C. В этой статье мы рассмотрим, как работает C2RTL, из каких этапов состоит процесс верификации с ним, как формируются проверки (ассерты) и с какими ограничениями здесь сталкиваются инженеры.

https://habr.com/ru/companies/yadro/articles/1022818/

#формальная_верификация #rtl #asic #cadence #jasper

We already have some nice looking entries into our #demoscene competition!

There's still 33 days to go, but don't leave it too late! Start on your entry today:

https://tinytapeout.com/competitions/demoscene-ttsky26a-announce/

#ASIC #opensource #TinyTapeout

Appleの独自チップ「Baltra」の全貌：GoogleとNVIDIAを切り離し年間10億ドルのAI依存を断つ

https://xenospectrum.com/apple-baltra-asic-inhouse-design/

English – The Conversation | Australia’s biggest stock exchange needs tougher competition, or we all risk paying the price by Helen Bird, Industry Fellow, Corporate Governance & Senior Lecturer, Swinburne Law School, Swinburne University of Technology

Almost every Australian has a stake in how well the Australian Securities Exchange (ASX) works. Most working adults have superannuation savings invested in companies listed on the ASX, which together are valued at more than A$3 trillion.

If you’re among the millions of members of big super funds AustralianSuper and UniSuper, those industry funds are some of the biggest investors in the publicly listed ASX itself. So you could also have a direct stake in the ASX too.

Yet after a decade of costly technology failures, outages and embarrassing mix-ups, an independent report has just found the “ASX is at serious risk of falling further behind without a fundamental reset”.

What the corporate watchdog found

The ASX’s lack of competition

Beyond new tech, investors need to demand change

Read more: https://theconversation.com/australias-biggest-stock-exchange-needs-tougher-competition-or-we-all-risk-paying-the-price-279839

#australiansecuritiesexchange #asx #australiansecuritiesandinvestmentscommission #asic #chess

📡 A fascinating talk (German) by Matthias DL9MJ 🎙️ on combining RISC-V with analog RF design — resulting in TinyWhisper, a custom chip fabricated in 130nm! 🤯 🏫 Done by @ce at JMU Würzburg and importantly JKU Linz!

#HAMRADIO #HAMR #ASIC #RISCV #WSPR

🔗 https://media.ccc.de/v/eh23-open-source-chip-design-a-new-playground-for-ham-radio#t=989