[obsidian] vault backup: 2023-08-31 18:43:34[

This commit is contained in:
Tomoya Matsuura(MacBookPro) 2023-08-31 18:43:34 +09:00
parent 91ef170cab
commit 3f7f6e0c64
2 changed files with 37 additions and 0 deletions

View File

@ -16,6 +16,30 @@ tags:
## サーベイ
### 個人でのASIC製造
- Open Source Silicon Initiative
- Group Buyみたいな感じでデータを集めて定期的に工場に発注する流れをオープン化しているもの(Open MPW Shuttle)
- Google、Skywater、efabless、GlobalFoundriesの4社がやってる
- [Built Custom Silicon with Google](https://developers.google.com/silicon?hl=ja)
- https://riscv.or.jp/wp-content/uploads/DAY1_Aaron_Google_RISC-V_Tokyo_Autumn_2022-Aaron_Slides_cp.pdf
- OpenLaneefablessの提供するeda
- [GlobalFoundries、無償でカスタムASICが作れるOpen Source Silicon Initiativeに参加
](https://pc.watch.impress.co.jp/docs/column/tidbit/1433235.html)
- [TinyTapeOut](https://tinytapeout.com/)
- efablessがやってるやつ
- [Zero to ASIC Course](https://zerotoasiccourse.com/)
[Open-source IC cells as 3D prints. A rough how-to guide.](https://medium.com/@thorstenknoll/open-source-ic-cells-as-3d-prints-a-rough-how-to-guide-90a8bc8b3b57)
https://vlsi.jp/ クレイジーピエロさんがやってる情報集
[MakeLSI](https://scrapbox.io/makelsi/)
https://www.bookpark.ne.jp/cm/ieej/detail/IEEJ-ECT16039-PDF/
### 金属酸化物
[[酸化亜鉛系トランジスタ]]

View File

@ -137,6 +137,19 @@ fn lowpass(input,fb){
実際、Faustのパターンマッチングでの項書き換えは書き換えを適用するたびに異なる入出力数のードを返すことができるだからこそ`take`みたいな関数が定義できるわけだし)
要素数が$2^n$なアダマール積の定義とか
```java
bus(n) = par(i,n,_); // There is si.bus(n) in the \FL s
// hmtx(2) = _,_ <: +,-; // scalar butterfly
hmtx(2) = _,_ <: (bus(2):>_),(_,*(-1):>_) ; // prettier drawing
hmtx(n) = bus(n) <: (bus(n):>bus(n/2)) , // vector butterfly
((bus(n/2),(bus(n/2):par(i,n/2,*(-1)))) :> bus(n/2)) : (hmtx(n/2) , hmtx(n/2));
process = hmtx(16);
```
この辺は、多段階計算を使ったとしても生成したコードの型を変えるみたいなことは出来ないのでは?
項でインデックスされた型=依存型な気がするのよな