brmlab

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.
====== Ledum ======

{{template>:project:infobox|
name=Ledum|
image=ledum:320px-ledum_palustre_bluehend.jpg|
sw=FIXME|
hw=FIXME|
founder=[[user:yokotashi]]|
interested=[[user:abyssal]]\\ [[user:bluebear]]\\ [[user:ccx]]\\ [[user:hexo]]\\ [[user:joe]]\\ [[user:prilezitostnypetr]]\\ [[user:rainbof]]\\ [[user:sachy]]\\ [[user:santiago]]\\ [[user:tma]]\\
|
status=active
}}

This project aims to design and develop a new central processing unit (CPU) with a primary focus on //correctness// and //object capabilities.// The design will prioritize formal verification techniques, ensuring the CPU’s functional correctness while introducing innovative approaches to resource management using object capabilities for improved security, efficiency, and modularity. 


===== Project Objectives =====

  - **Achieve High Correctness in Design:**
    * Use formal methods, simulation, and rigorous testing to verify that the CPU’s architecture is functionally correct.
    * Ensure that the CPU meets or exceeds industry standards for reliability and precision.
  - **Implement Object Capabilities Model:**
    * Integrate an object capabilities model into the CPU’s architecture to allow fine-grained, secure management of memory and I/O resources.
    * Ensure that resource access control is embedded at the hardware level to improve security by default.
  - **Enable Scalable Security Mechanisms:**
    * Design the CPU with scalable security features, leveraging capabilities to prevent unauthorized access and misuse of system resources.
    * Provide users with the flexibility to define and manage their own access control policies through object capabilities.
  - **Optimize Performance:**
    * Ensure that the CPU achieves optimal performance in terms of throughput, latency, and power consumption, without compromising correctness or security.
    * Ensure, that the CPU architecture can be parallelized to achieve IPC>1 including OoO execution, although to do so isn't primary objective. 
    * Balance hardware features for high-performance tasks with robust security measures for sensitive operations.
  - **Establish Robust Ecosystem Support:**
    * Develop comprehensive software toolchains and drivers to support the object capability model.
    * Collaborate with industry partners to ensure broad compatibility with existing operating systems and applications.


===== Project Scope =====

==== In-Scope ====

  * **CPU Architecture Design:** Define instruction sets, pipeline architecture, memory hierarchy, and integration of object capabilities.
  * **Formal Verification:** Apply formal methods to mathematically prove the correctness of critical parts of the architecture.
  * **Security & Resource Management:** Implement object capabilities as a mechanism to control access to system resources.
  * **Prototyping and Simulation:** Build prototypes and simulate the architecture to validate design decisions.
  * **Performance Evaluation:** Benchmark the new CPU's performance across several applications to assess trade-offs between correctness, performance, and security.
  * **Software Toolchain Development:** Develop and release supporting software tools, such as compilers, debuggers, and simulators, that work with the new object capability model.

==== Out of Scope ====

  * Development of end-user software applications or operating systems.
  * Manufacturing of physical CPU chips (to be handled post-design phase).
  * Integration into mass-market consumer devices (focus will be on specialized, high-assurance markets initially).

===== Workshops =====

As a part of our efforts, we have realized that different members of the team have different experience with various scientific and engineering fields and it would be very helpful to ensure that everyone has some basic understanding of all required topics. The workshops typically take place during the working group's regular meetings on Thursdays (see [[event:start]]).

If there is enough interest, we are streaming the workshops online using [[https://meet.jit.si/]]. We are also trying to get our A/V streaming and editing skills to a level that allows for publishing the recordings of the workshops. Any help with such endeavor would be more than welcome.

==== Past Workshops ====

  * 2024-10-10 16:00 [[user:tma]] - Verilog I: Introduction to Verilog (CZ)
  * 2024-10-24 16:00 [[user:tma]] - Verilog II: Register Bank in Verliog (CZ)
  * 2024-10-31 16:00 [[user:joe]] - Lambda Calculus I: Introduction to Lambda Calculus (CZ)
  * 2024-11-07 18:00 [[user:tma]] - Verilog III: Advanced Verilog (CZ)
  * 2024-11-14 16:00 [[user:sachy]] - Assembler on Mainframes (CZ)
  * 2024-11-21 18:00 [[user:yokotashi]] - Introduction to Electronics (CZ)
  * 2024-11-28 16:00 [[user:tma]] - Verilog IV: Testbenches (CZ)
  * 2024-12-05 16:00 [[user:joe]] - Lambda Calculus II: Lexical Scoping and Evaluator Implementation (CZ)
  * 2024-12-12 16:00 [[user:ccx]] -- History of Capability Systems I (CZ)
  * 2025-01-09 17:00 [[user:hexo]] -- Adders and Multipliers (CZ/SK)

==== Planned ====


===== Design Topics =====

==== Electronic Circuit Design ====

==== Integrated Circuit Design ====

==== Tooling ====

==== Miscellaneous ====

===== Current Progress =====

==== Tooling ====

{{ :project:ledum:rawaketa-l8b-breakout.png?direct&400|}}

{{:project:ledum:rawaketa-l8b-assembler.png?direct&400 |}}

As a proof-of-concept an assembly language compiler and IDE support was implemented for a very simple Harvard architecture 8-bit CPU. A graphical emulator for the same simple CPU was created as well. The aim of these tooling efforts is to provide a unified framework for creating custom instruction sets including their assemblers and emulators.

<WRAP clear></WRAP>

~~META:
status = active
&relation firstimage = :project:ledum:320px-ledum_palustre_bluehend.jpg
~~