共 114 条
[51]
khronos, 2020, SYCL specification
[52]
Khronos Group, 2023, SPIR-V specification
[53]
Kissner M., 2023, Proc. SPIE, V12427
[54]
Formal Verification of SUBLEQ Microcode implementing the RV32I ISA
[J].
PROCEEDINGS OF THE 2022 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL),
2022,
[56]
Lancaster D., 1974, TTL Cookbook
[57]
LECERF Y, 1963, CR HEBD ACAD SCI, V257, P2597
[58]
Leclerc O., 2005, Encyclopedia Modern Opt., V1, P364