From: lkcl Date: Wed, 22 Mar 2023 17:08:05 +0000 (+0000) Subject: (no commit message) X-Git-Tag: opf_rfc_ls001_v3~118 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0bde975ad1bfe0842bec132ed4d9c456bc8ce991;p=libreriscv.git --- diff --git a/3d_gpu/architecture/dynamic_simd.mdwn b/3d_gpu/architecture/dynamic_simd.mdwn index 5529e32dc..afbce50a4 100644 --- a/3d_gpu/architecture/dynamic_simd.mdwn +++ b/3d_gpu/architecture/dynamic_simd.mdwn @@ -12,6 +12,8 @@ Links * Formal proof of PartitionedSignal * Formal proof of PartitionedSignal nmigen interaction * Partition-context-sensitive length adjustment +* continuation and completion of Type II + (DSL) astraction, for completing PartitionedSIMD. # Proposal Summary