オープンソース・ツールを用いた形式検証を行いたくて、いろいろチュートリアルを読んでいる。 例えば、以下の記事で書いてあるようなBRAMの形式検証を行ってみたい。 zipcpu.com デザインとしては以下をそのまま利用してみる： github.com デザインの本体： always @(posedge w_clk) begin if(w_en) bram[w_addr] <= w_data; end always @(posedge r_clk) begin if(r_en) r_data <= bram[r_addr]; end Formalのassertionの部分 assume()によって、探索の範囲を小さくする： symbiyosys.readthedocs.io // set data variable to whats in the bram initial begin ass
What is OpenFreeMap? OpenFreeMap lets you display custom maps on your website and apps for free. You can either self-host or use our public instance. Everything is open-source, including the full production setup — there’s no ‘open-core’ model here. Check out our GitHub. The map data comes from OpenStreetMap. Using our public instance is completely free: there are no limits on the number of map vi
About Bino Bino is a video player with a focus on 3D and Virtual Reality: Support for 3D videos in various formats Support for 360° and 180° videos, with and without 3D Support for 3D displays with various modes Support for Virtual Reality environments, including SteamVR, CAVEs, powerwalls, and other multi-display / multi-GPU / multi-host systems Bino is based on Qt. The optional Virtual Reality s
The sigrok project aims at creating a portable, cross-platform, Free/Libre/Open-Source signal analysis software suite that supports various device types (e.g. logic analyzers, oscilloscopes, and many more). It is licensed under the terms of the GNU GPL, version 3 or later. Design goals and features include: Broad hardware support. Supports many different devices (logic analyzers, oscilloscopes, mu
ドイツのシュレースヴィヒ＝ホルシュタイン州のデジタル担当大臣であるディルク・シュレーダー氏が、州政府のシステムをオープンソースのソフトウェアへと切り替えることを発表しました。これにより、約3万人の職員が使うOSがWindowsからLinuxへと変わり、Microsoft OfficeがLibreOfficeへと切り替えられる予定です。 schleswig-holstein.de - Der Ministerpräsident - Staatskanzlei und Bundesangelegenheiten - Einstieg in den Umstieg: Schleswig-Holstein setzt auf einen digital souveränen IT-Arbeitsplatz in der Landesverwaltung https://www.schleswig-
2024年4月1日。「IchigoJam」と「IchigoJam BASIC」は誕生10週年を迎えました。 10年間で、「IchigoJam」累計販売台数84,538台、PCN（「すべてのこどもたちにプログラミングの機会を提供する」を理念におくサークル活動）全国96組織、PCN「こどもプロコン2024」への応募作品数297作品になるなど、すべてのこどもたちが気軽にテキストプログラミングに触れられる環境が全国に広がりました。また、2017年に福井から始まったPCN等団体が各地で開催する「ご当地こどもロボコン」が、全国10ヶ所で開催されるまでになりました。 この広がりをより一層加速させるために、10周年を契機として2つの項目を発表します。 1点目に、「IchigoJam BASIC」をいろいろなコンピューターに搭載できるようにオープンソース化します。第1段として「Sony SPRESENSE」
前回Platformio+RTOS環境でch32v203向けのプログラム環境を確認しました。 今回はch32v003について開発環境の確認してみます。ch32v003はRTOSサポートしてないので、直接レジスタを設定するOSレスな開発になります。その場合、ch32v003funというGithubリポジトリで開発環境とサンプルが一番揃っている感じなので、使い方を試してみました。 利用するマイコンは、8ピンのCH32V003J4M6です。ほかにWCH-LinkEが必要になります。 Github 開発環境のインストール Win環境はいろいろ試してみようと思いましたが断念。WSLであればビルドはできるけど、USBに接続してアップロードするところについて、ツールを使わないと接続できない不便さで却下。結局Ubuntu22.04稼働するPCで作業しています。（ラズパイとかでも良いので、Ubuntu環境で
Help us reach our goal of $409,774 this season to keep SFC going. For only 12 more days, the next $47,962 of support we receive will be matched! A Comprehensive Analysis of the GPL Issues With the Red Hat Enterprise Linux (RHEL) Business Model by Bradley M. Kuhn on June 23, 2023 This article was originally published primarily as a response to IBM's Red Hat's change to no longer publish complete, c
The open-source AI models you can fine-tune, distill and deploy anywhere. Choose from our collection of models: Llama 3.1, Llama 3.2, Llama 3.3.
Android端末を始めとする数多くのデバイスに採用されている音声コーデック「aptX」と「aptX HD」がAndroidオープンソース・プロジェクト(AOSP)に追加され、誰でも利用できるようになりました。Qualcommが特許を持っていたこれらのコーデックが開発者に開放されたことが一体何を意味するのかについて、Android専門のジャーナリストであるミシャール・ラーマン氏が解説しました。 Qualcomm has open sourced its aptX and aptX HD encoders, making them freely available to Android OEMs. Here's what that means. : Android https://old.reddit.com/r/Android/comments/11t16lk/qualcomm_has_o
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
