Pramana Modelling Labs, Glasgow, UK
School of Engineering, University of Glasgow, UK
Semiwise Ltd., Glasgow, UK
[repost] Modern transistors have gate lengths of around 8 nm. To put that in perspective: a red blood cell is 10,000 nm wide. A DNA strand is just 2 nm, and a transistor is sitting right between those two scales. We are literally engineering at the edge of atomic limits, silicon atoms themselves are only 0.2 nm wide.
That foundational brick of modern electronics keeps shrinking year after year, driven by companies like TSMC, Intel, Samsung, and ASML pushing the boundaries of what is physically possible.
Billions of these switches/transistors, smaller than a virus, packed into a chip you can hold between two fingers. That is what powers every microcontroller, every processor, every smart device you touch today.
| Time | Program |
|---|---|
| Opening Session | |
| 10:00 – 10:20 | Welcome & Registration |
| 10:20 – 10:30 | Opening Remarks (Prof. Sung‑Jae Cho, Ewha Womans University) |
| Session 1 | Chair: Prof. Sung‑Jae Cho | |
| 10:30 – 11:15 | Semiconductor Devices for the New Computing Era Prof. Woo‑Young Choi, Seoul National University |
| 11:15 – 12:00 | Development Strategy for AI‑Oriented NAND Solutions Prof. Ki‑Hwan Song, Yonsei University |
| 12:00 – 13:30 | Lunch |
| Session 2 | Chair: Prof. Myung‑Gon Kang | |
| 13:30 – 14:15 | Trends and Outlook of eNVM Technology Visiting Prof. Yong‑Gyu Lee, Seoul National University |
| 14:15 – 15:00 | Memcapacitor Technology for Charge‑Domain PIM Implementation Prof. Tae‑Hyun Kim, Seoul National University of Science and Technology |
| 15:00 – 15:10 | Coffee Break |
| Session 3 | Chair: Prof. Il‑Hwan Cho | |
| 15:10 – 15:55 |
Atomically Thin 2D Semiconductor Electronics toward Beyond‑CMOS Technology Prof. Chul‑Ho Lee, Seoul National University |
| 15:55 – 16:40 |
Orders‑of‑Magnitude Faster TCAD Device Simulation of GAA MOSFETs without Additional Computational Training Cost Prof. Sung‑Min Hong, GIST |
| 16:40 – 17:00 | Closing Ceremony | Prof. Il‑Hwan Cho, Myongji University |
联系人:小葛,18334212431,邮箱:gemy@jitric.cn地址:无锡市锡山区凤威路与春江东路交叉口,长三角工业芯谷 A 栋 4 楼定位:轻资产、高专业、全流程建模验证平台合作模式:仪器有偿使用、可靠提参、技术赋能
MONDAY, June 22 | ||
| 8:30-12:00 am | MOS Transistor Modeling for Low-Voltage and Low-Power Circuit Design | Christian Enz |
| 1:30-5:00 pm | Design of Low-Power Analog Circuits using the Inversion Coefficient | Christian Enz |
TUESDAY, June 23 | ||
| 8:30-10:00 am | Noise Performance of Elementary Circuits | Boris Murmann |
| 10:30-12:00 am | Noise Performance of Filters, Feedback & SC Circuits | Boris Murmann |
| 1:30-3:00 pm | Opamp Topologies and Design: Single-Stage Circuits | Boris Murmann |
| 3:30-5:00 pm | Opamp Topologies: Cascoded and Two-Stage Circuits | Boris Murmann |
| Label | Title | Authors |
|---|---|---|
| TS02.8 | ML-DSA-OSH: An Efficient, Open-Source Hardware Implementation of ML-DSA | Quinten Norga; Suparna Kundu; Ingrid Verbauwhede |
| LK03 | Democratizing Silicon: The Rise of Open-Source EDA and Europe’s Strategic Roadmap | Luca Benini |
| TS10.1 | PICOSNN: Partially Incoherent Configurable Optical Computing Architecture for SNN Acceleration | Bowen Duan; Zhenhua Zhu; Zhengyang Duan; Huazhong Yang; Yuan Xie; Yu Wang |
| TS16.1 | Non-Volatile Spintronic Flip-Flops with Checkpoint Preservation Supported in RISC-V Platform | Jiongzhe Su; Mingtao Chen; Zhanpeng Qiu; Bo Liu; Hao Cai |
| LBR01.4 | Float Fight - Verifying Floating-Point Behavior In Risc-V Simulators | Katharina Ruep, Manfred Schlaegl and Daniel Grosse |
| LBR01.7 | Hybrid Virtual Platform + FPGA Co-Emulation Framework | Lorenzo Ruotolo; Giovanni Pollo; Mohamed Amine Hamdi; Matteo Risso; Yukai Chen; Enrico Macii; Massimo Poncino; Sara Vinco; Alessio Burrello; Daniele Jahier Pagliari |
| TS20.1 | Fault-Tolerance Mapping of Spiking Neural Networks to RRAM-Based Neuromorphic Hardware | Yuqing Xiong; Chao Xiao; Zhijie Yang; Lei Wang; Mengying Zhao |
| TS21.4 | Substrate: A Statically Typed Framework for Designing Highly Configurable Analog and Mixed-Signal Circuit Generators | Rahul Kumar; Rohan Kumar; Borivoje Nikolic |
| SD03 | Open-Source Hardware Landscape | |
| SD03.1 | Open Silicon Fabrication – Made in Europe | Gerhard Kahmen, IHP GmbH, DE |
| SD03.2 | From Schematic To Silicon: Mixed Signal Ic Design In Open Source Flows | Harald Pretl, JKU Linz, AT |
| SD03.3 | Bringing Software Design Thinking To Chip Design | Tomi Rantakari, ChipFlow, GB |
The heatmap illustrates the distribution of developers with GitHub accounts across Africa. It shows that accounts are dispersed in multiple regions throughout the continent. Among the countries highlighted in the OpenUK report, Nigeria has the largest number of users with approximately 1.8 million accounts, followed by Kenya with 666,020 accounts and Rwanda with 85,978 accounts.
[Read More] in recent Commonwealth Report "Open Source Africa" by OpenUK
| Category | Tool | Official Link |
|---|---|---|
| Code-Generation Tools | PandA Bambu HLS | https://github.com/ferrandi/PandA-bambu (accessed on 20 January 2026) |
| Kiwi Compiler | https://www.cl.cam.ac.uk/~djg11/kiwi/ (accessed on 20 January 2026) | |
| LegUp HLS | https://github.com/LegUpComputing/legup-examples?tab=readme-ov-file (accessed on 20 January 2026) | |
| ROCCC | http://roccc.cs.ucr.edu/ (accessed on 20 January 2026) | |
| PyMTL3 | https://github.com/pymtl/pymtl3 (accessed on 20 January 2026) | |
| Chisel | https://www.chisel-lang.org/ (accessed on 20 January 2026) | |
| SpinalHDL | https://github.com/SpinalHDL/SpinalHDL (accessed on 20 January 2026) | |
| Pyverilog | https://github.com/PyHDI/Pyverilog (accessed on 20 January 2026) | |
| Amaranth HDL | https://github.com/amaranth-lang (accessed on 20 January 2026) | |
| LLM-Based Code Generation | RTLCoder | https://github.com/hkust-zhiyao/RTL-Coder (accessed on 20 January 2026) |
| Spec2RTL-Agent | https://cirkitly.kernex.sbs/ (accessed on 20 January 2026) | |
| OriGen | https://github.com/pku-liang/OriGen (accessed on 20 January 2026) | |
| AutoChip | https://github.com/shailja-thakur/AutoChip (accessed on 20 January 2026) | |
| CodeV | https://github.com/cluesmith/codev (accessed on 20 January 2026) | |
| VeriCoder | https://github.com/Anjiang-Wei/VeriCoder (accessed on 20 January 2026) | |
| StarCoder | https://github.com/bigcode-project/starcoder (accessed on 20 January 2026) | |
| CodeLlama | https://github.com/meta-llama/codellama (accessed on 20 January 2026) | |
| DeepSeek-Coder | https://github.com/deepseek-ai/DeepSeek-Coder (accessed on 20 January 2026) | |
| CodeQwen | https://github.com/QwenLM/qwen-code (accessed on 20 January 2026) | |
| Gemini | https://gemini.google.com/ (accessed on 20 January 2026) | |
| GPT | https://chatgpt.com/ (accessed on 20 January 2026) | |
| ChatEDA | https://github.com/wuhy68/ChatEDA (accessed on 20 January 2026) | |
| Synthesis Tools | Yosys | https://yosyshq.net/yosys/ (accessed on 20 January 2026) |
| ABC (Berkeley) | https://people.eecs.berkeley.edu/~alanmi/abc/ (accessed on 20 January 2026) | |
| ODIN II (VTR) | https://docs.verilogtorouting.org/en/latest/odin/ (accessed on 20 January 2026) | |
| GHDL-Yosys Plugin | https://github.com/YosysHQ/yosys (accessed on 20 January 2026) | |
| Synlig | https://github.com/chipsalliance/synlig (accessed on 20 January 2026) | |
| Mockturtle (EPFL) | https://github.com/lsils/mockturtle (accessed on 20 January 2026) | |
| Simulation & Verification Tools | Verilator | https://www.veripool.org/verilator/ (accessed on 20 January 2026) |
| Icarus Verilog | https://steveicarus.github.io/iverilog/ (accessed on 20 January 2026) | |
| cocotb | https://www.cocotb.org/ (accessed on 20 January 2026) | |
| GTKWave | https://gtkwave.sourceforge.net/ (accessed on 20 January 2026) | |
| Yosys-SMTBMC | https://symbiyosys.readthedocs.io/en/latest/reference.html (accessed on 20 January 2026) | |
| EQY | https://github.com/YosysHQ/eqy (accessed on 20 January 2026) | |
| CoSA | https://github.com/cristian-mattarei/CoSA (accessed on 20 January 2026) | |
| OpenSTA | https://github.com/The-OpenROAD-Project/OpenSTA (accessed on 20 January 2026) | |
| OpenTimer | https://github.com/OpenTimer/OpenTimer (accessed on 20 January 2026) | |
| Tatum (VTR) | https://github.com/verilog-to-routing/tatum (accessed on 20 January 2026) | |
| Physical Design Flow Tools | OpenROAD | https://theopenroadproject.org/ (accessed on 20 January 2026) |
| OpenLane | https://github.com/The-OpenROAD-Project/OpenLane (accessed on 20 January 2026) | |
| iEDA | https://github.com/OSCC-Project/iEDA (accessed on 20 January 2026) | |
| SiliconComp | https://github.com/siliconcompiler/siliconcompiler (accessed on 20 January 2026) | |
| Fabricable PDKs | SKY130 | https://github.com/gdsfactory/skywater130 (accessed on 20 January 2026) |
| GF180MCU | https://github.com/google/gf180mcu-pdk (accessed on 20 January 2026) | |
| IHP SG13G2 | https://github.com/IHP-GmbH/IHP-Open-PDK (accessed on 20 January 2026) | |
| ICsprout55 | https://github.com/openecos-projects/icsprout55-pdk (accessed on 20 January 2026) |