-# Libre-SOC 8 core
+# Preamble
+
+* Preamble not part of the submission
+* [[SEP-210803722 Libre-SOC 8 core/discussion]] see additional notes
+* Public copy of submission posted through europa.eu
+* <https://ec.europa.eu/info/funding-tenders/opportunities/portal/screen/opportunities/topic-details/horizon-cl4-2021-digital-emerging-01-01>
+* Annex also submitted (NLnet)
+* With much thanks and gratitude to everyone who provided crucial
+ input and feedback, especially on such short notice.
+* With many thanks to the EU for this opportunity.
+
+# SEP-210803722 Libre-SOC 8 core
List of participants
|----- |------------- |--------------------- |--------- |------------- |
| 1 |David Calderwood |RED Semiconductor Ltd |UK |1/RED |
| 2 |Luke Leighton |The Libre-SOC Project |Netherlands |2/Libre-SOC |
-| 3 |Céline Ghibaudo |Sorbonne Université (LIP6 Lab) |France |3/SU |
-| 4 |Céline Ghibaudo |Sorbonne Université (CNRS Lab) |France |4/CNRS |
+| 3 |Marie-Minervé Louerat |Sorbonne Université (LIP6 Lab) |France |3/SU |
+| 4 |Marie-Minervé Louerat |Sorbonne Université (CNRS Lab) |France |4/CNRS |
| 5 |Michiel Lenaars |NLnet |Netherlands |5/NLnet |
| 6 |James Lewis |Helix Technology Ltd |UK |6/Helix |
## 1.1 Objectives and ambition
-Throughout this Grant Proposal, you will note that we are making significant use of ideas from the early days of Computing. Due to the limitations of physical technology at that time, these ideas were categorised into "technology that was beyond delivery". Industry-standard computing from then to today missed many of those opportunities and has consequently ploughed narrow "technological ruts" in an incremental fashion that has detrimentally impacted and constrained all world-wide Computing end-users as a result. Modern hardware technology performance is now allowing us to revisit the best of the "Sea of ideas" from the history of the past 60 years of computing. Our Grant Application is therefore based on firm, practical proven foundations, backed up by a real-world customer requirement: Advanced high-accuracy GPS Sensor-Fusion, to prove the core's capabilities and energy efficiency.
-
-
-We have chosen to evolve core technology to develop a Next-Generation Supercomputer-scale Microprocessor family based on an existing 2-decades-proven base (the Power ISA), with Advanced Cray-style Vectors, providing energy-efficient advanced computational power by a unique methodology not currently being achieved by any current general-purpose computing device. We have been working on this strategy for over three years and our grant application is now evolutionary but was revolutionary.
-
-
-Libre-SOC has, for over three years, been backed by EU Funding through NLnet and now NGI POINTER, and at the core of our work we have been developing a novel Draft Vector ISA Extension to the OpenPOWER ISA, called SVP64. https://libre-soc.org/openpower/sv/svp64/ and an enhanced processor core architecture on which it will run.
-
-
-As an aside we must acknowledge the research work of IBM labs who designed and then Open-Licensed their Power ISA: the foundation on which we have been building. Standing on the shoulders of greatness is never a bad place to start.
-
-
-SVP64 contains features and capabilities never seen in any Instruction Set Architecture (ISA) of the past sixty years. With NLnet's help we have TRL (3) implementations and simulations demonstrating a 75% reduction in the program size of core algorithms for Video and Audio DSP Processing (FFT, DCT, Matrix Multiply), and these still need optimized, which if successfully expanded to general-purpose algorithms would result in huge power savings if deployed in mass-volume end-user products.
-
-
-Why we are leveraging the Power ISA as the fundamental basis instead of "completely novel non-standard computing architecture" requires some explanation, best illustrated by reference to other historic high capability designs. Aspex Microelectronics ASP was a 4096-wide SIMD Array of 2-bit processors. It could be programmed at a rate of one instruction per 5-10 days. Elixent also had a similar 2D Grid Array of 4-bit processors. Both were ultra-power-efficient (2 orders of magnitude for certain specialist tasks) but were impossible to program even for the best programming minds and required critical assistance from a severely limited pool of specialists for best exploitation. The Industry-standard rate for general-purpose High-Level programming (C, C++) is around 150 lines of code per day, not 5-10 days per line of assembler. We seek to deliver a much more accessible "general-purpose" Microprocessor that contains Supercomputing elements and consequently stands a much more realistic chance of general world-wide adoption (including Europe).
-
-
-An additional insight: OpenRISC 1200 took 12 years to reach maturity. The team developed the entire processor architecture, low-level software and compiler technology, entirely from scratch. We considered this approach and, due to the long timescales, rejected it, choosing instead to leverage and be compatible with a pre-existing Open ISA: OpenPOWER. We also considered RISC-V however it turns out to be too simplistic (https://news.ycombinator.com/item?id=24459041) and it is far too late to retrospectively add Supercomputer-grade power-efficient functionality to its design or instruction set. With the IBM-inspired Power ISA already being a Supercomputer-grade ISA, it is a natural fit for an energy-efficient Cray-style Vector upgrade, and comes with 25 years of pre-existing software, libraries, compilers and customers. By being backwards-compatible with the existing Power ISA 3.0 (which is now an Open ISA managed by the OpenPOWER Foundation), European businesses will benefit from that pre-existing decades-established stability and pedigree.
-
-
-As hinted at, above: Great hardware is nothing without the corresponding compiler technology and support libraries. Consequently we need to engage with Compiler Service Companies (Embecosm Gmbh, Vrull.eu) to evaluate the feasibility of adding Vectorisation support to gcc, llvm and low-level standard libraries. Whilst Libre-SOC has already demonstrated TRL (3) successful assembly-level SVP64 algorithms (MP3 CODEC in particular), assembler is far too low-level for general-purpose compute. C, C++ and other programming language support is required to be evaluated and developed. Also given that the Libre-SOC Core is being long-term designed for energy-efficient 3D GPU and Video Processing workloads, two 3D Vulkan Drivers (Kazan and MESA3D) need to be taken beyond proof-of-concept (TRL 2/3).
-
-
-We consider it strategically critical to develop processors in an entirely transparent fashion. The current Silicon Industry chooses secrecy to mask technology shortcuts and restrictive cross licencing, which inevitably and systematically fails to provide trustable hardware: Intel's Management Engine; Qualcomm making 40% of the world's smartphones vulnerable to hacking; Apple drive-by Zero-day Wireless exploits; Super-Micro being delisted from NASDAQ for failing to be able to prove the provenance of all hardware and software components. We consider Libre / Open Hardware ASICs and the full Libre/Open VLSI toolchain itself to be fundamental to end-user trust and security as well as Digital Sovereignty.
-
-
-In addition to this, Libre-SOC has already been developing Mathematical Formal Correctness Proofs for the HDL of its early prototype designs, which, in combination with unrestricted access to the HDL Source Code, allow third parties including customers to perform their own verification of the ASIC's purpose (as opposed to the customer having to trust a manufacture that inherently has a direct conflict-of-interest in the form of its Shareholders and profits). Furthermore, we aim to experiment with built-in "tamper-checking" circuits that, on running a test programme on our evaluation test bed, will provide an Electro-Magnetic "signature". By publishing this "signature" and the test programs, customers can verify that their purchased ASICs have the same EMF "signature" and can detect immediately if the ASIC has been tampered with. In addition we will continue existing (TRL 2) research into Hardware-level Speculative Execution mitigation techniques. We feel that the full combination of these objectives meets the Hardware Security requirements of this Call.
-
-
-This strategy does not end with just the HDL: thanks (again) to NLnet we have been collaborating already with Chips4Makers, LIP6 and CNRS (all funded by EU Grants), to advance the state-of-the-art for European VLSI Tool Technology, which is important to European Silicon Sovereignty.
+Throughout this Grant Proposal, you will note that we are making
+significant use of ideas from the early days of Computing. Due to
+the limitations of physical technology at that time, these ideas were
+categorised into "technology that was beyond delivery". Industry-standard
+computing from then to today missed many of those opportunities and
+has consequently ploughed narrow "technological ruts" in an incremental
+fashion that has detrimentally impacted and constrained all world-wide
+Computing end-users as a result. Modern hardware technology performance
+is now allowing us to revisit the best of the "Sea of ideas" from the
+history of the past 60 years of computing. Our Grant Application is
+therefore based on firm, practical proven foundations, backed up by a
+real-world customer requirement: Advanced high-accuracy GPS Sensor-Fusion,
+to prove the core's capabilities and energy efficiency.
+
+
+We have chosen to evolve core technology to develop a Next-Generation
+Supercomputer-scale Microprocessor family based on an existing
+2-decades-proven base (the Power ISA), with Advanced Cray-style Vectors,
+providing energy-efficient advanced computational power by a unique
+methodology not currently being achieved by any current general-purpose
+computing device. We have been working on this strategy for over three
+years and our grant application is now evolutionary but was revolutionary.
+
+
+Libre-SOC has, for over three years, been backed by EU Funding through
+NLnet and now NGI POINTER, and at the core of our work we have been
+developing a novel Draft Vector ISA Extension to the OpenPOWER ISA,
+called SVP64. https://libre-soc.org/openpower/sv/svp64/ and an enhanced
+processor core architecture on which it will run.
+
+
+As an aside we must acknowledge the research work of IBM labs who designed
+and then Open-Licensed their Power ISA: the foundation on which we have
+been building. Standing on the shoulders of greatness is never a bad
+place to start.
+
+
+SVP64 contains features and capabilities never seen in any Instruction
+Set Architecture (ISA) of the past sixty years. With NLnet's help we have
+TRL (3) implementations and simulations demonstrating a 75% reduction in
+the program size of core algorithms for Video and Audio DSP Processing
+(FFT, DCT, Matrix Multiply), and these still have room for optimisation,
+which if
+successfully expanded to general-purpose algorithms would result in huge
+power savings if deployed in mass-volume end-user products.
+
+
+Why we are leveraging the Power ISA as the fundamental basis instead of
+"completely novel non-standard computing architecture" requires some
+explanation, best illustrated by reference to other historic high
+capability designs. Aspex Microelectronics ASP was a 4096-wide SIMD
+Array of 2-bit processors. It could be programmed at a rate of one
+instruction per 5-10 days. Elixent also had a similar 2D Grid Array of
+4-bit processors. Both were ultra-power-efficient (2 orders of magnitude
+for certain specialist tasks) but were impossible to program even for the
+best programming minds and required critical assistance from a severely
+limited pool of specialists for best exploitation. The Industry-standard
+rate for general-purpose High-Level programming (C, C++) is around 150
+lines of code per day, not 5-10 days per line of assembler. We seek to
+deliver a much more accessible "general-purpose" Microprocessor that
+contains Supercomputing elements and consequently stands a much more
+realistic chance of general world-wide adoption (including Europe).
+
+
+An additional insight: OpenRISC 1200 took 12 years to reach maturity.
+The team developed the entire processor architecture, low-level software
+and compiler technology, entirely from scratch. We considered this
+approach and, due to the long timescales, rejected it, choosing
+instead to leverage and be compatible with a pre-existing Open ISA:
+OpenPOWER. We also considered RISC-V however it turns out to be too
+simplistic (https://news.ycombinator.com/item?id=24459041) and it is
+far too late to retrospectively add Supercomputer-grade power-efficient
+functionality to its design or instruction set. With the IBM-inspired
+Power ISA already being a Supercomputer-grade ISA, it is a natural fit for
+an energy-efficient Cray-style Vector upgrade, and comes with 25 years
+of pre-existing software, libraries, compilers and customers. By being
+backwards-compatible with the existing Power ISA 3.0 (which is now an
+Open ISA managed by the OpenPOWER Foundation), European businesses will
+benefit from that pre-existing decades-established stability and pedigree.
+
+
+As hinted at, above: Great hardware is nothing without the corresponding
+compiler technology and support libraries. Consequently we need to engage
+with Compiler Service Companies (Embecosm Gmbh, Vrull.eu) to evaluate the
+feasibility of adding Vectorisation support to gcc, llvm and low-level
+standard libraries. Whilst Libre-SOC has already demonstrated TRL (3)
+successful assembly-level SVP64 algorithms (MP3 CODEC in particular),
+assembler is far too low-level for general-purpose compute. C, C++
+and other programming language support is required to be evaluated
+and developed. Also given that the Libre-SOC Core is being long-term
+designed for energy-efficient 3D GPU and Video Processing workloads,
+two 3D Vulkan Drivers (Kazan and MESA3D) need to be taken beyond
+proof-of-concept (TRL 2/3).
+
+
+We consider it strategically critical to develop processors in an entirely
+transparent fashion. The current Silicon Industry chooses secrecy to mask
+technology shortcuts and restrictive cross licencing, which inevitably and
+systematically fails to provide trustable hardware: Intel's Management
+Engine; Qualcomm making 40% of the world's smartphones vulnerable to
+hacking; Apple drive-by Zero-day Wireless exploits; Super-Micro being
+delisted from NASDAQ for failing to be able to prove the provenance of
+all hardware and software components. We consider Libre / Open Hardware
+ASICs and the full Libre/Open VLSI toolchain itself to be fundamental
+to end-user trust and security as well as Digital Sovereignty.
+
+
+In addition to this, Libre-SOC has already been developing Mathematical
+Formal Correctness Proofs for the HDL of its early prototype designs,
+which, in combination with unrestricted access to the HDL Source Code,
+allow third parties including customers to perform their own verification
+of the ASIC's purpose (as opposed to the customer having to trust a
+manufacture that inherently has a direct conflict-of-interest in the form
+of its Shareholders and profits). Furthermore, we aim to experiment with
+built-in "tamper-checking" circuits that, on running a test programme on
+our evaluation test bed, will provide an Electro-Magnetic "signature".
+By publishing this "signature" and the test programs, customers can
+verify that their purchased ASICs have the same EMF "signature" and can
+detect immediately if the ASIC has been tampered with. In addition we
+will continue existing (TRL 2) research into Hardware-level Speculative
+Execution mitigation techniques. We feel that the full combination of
+these objectives meets the Hardware Security requirements of this Call.
+
+
+This strategy does not end with just the HDL: thanks (again) to NLnet
+we have been collaborating already with Chips4Makers, LIP6 and CNRS
+(all funded by EU Grants), to advance the state-of-the-art for European
+VLSI Tool Technology, which is important to European Silicon Sovereignty.
https://www.europarl.europa.eu/RegData/etudes/BRIE/2020/651992/EPRS_BRI(2020)651992_EN.pdf
-We are however significantly concerned that the LIP6 Department, as an Academic body, is inevitably underfunded, particularly when it is the sole provider of Libre/Open VLSI Silicon-proven software in the whole of Europe. This is why we have included an Engineering Supplement for LIP6 and CNRS in the Libre-SOC budget, to contract engineering support for them and to avoid employment complications due to the French Civil Service Regulations, which lack the flexibility needed. These engineers, who are in high demand, will work for Libre-SOC/RED Semiconductor Ltd but be fully available to assist in the development work covered by the grant being done by LIP6 and CNRS.
-
-
-The consequential effect of this tool development will be to help create VLSI tools that can be directly substituted for the existing commercial (and geopolitically constrained) tools from companies such as Cadence and Mentor, giving a Euro-centric independence from “technology constraining” acts.
-
-
-We are currently awaiting the return of our first 180 nm architecture test ASIC (TRL 4) from TSMC, through IMEC. It is the first major silicon in Europe of its size (5.1 x 5.9 mm^2 and 130,000 cells) to be entirely developed using a Libre-Licensed VLSI ASIC toolchain, and the world's first Power ISA 3.0 outside of IBM to reach Silicon in over 12 years. We have already started to push (drive) the evolution of Europe's only silicon-proven Libre/Open VLSI toolchain, something this Grant application will support and will allow LIP6 and CNRS to enhance it to lower geometries and larger ASIC sizes which will be critical to European businesses' Digital and Silicon Sovereignty.
-
+We are however significantly concerned that the LIP6 Department, as
+an Academic body, is inevitably underfunded, particularly when it is the
+sole provider of Libre/Open VLSI Silicon-proven software in the whole
+of Europe. This is why we have included an Engineering Supplement for
+LIP6 and CNRS in the Libre-SOC budget, to contract engineering support
+for them and to avoid employment complications due to the French Civil
+Service Regulations, which lack the flexibility needed. These engineers,
+who are in high demand, will work for Libre-SOC/RED Semiconductor Ltd
+but be fully available to assist in the development work covered by the
+grant being done by LIP6 and CNRS.
+
+
+The consequential effect of this tool development will be to help
+create VLSI tools that can be directly substituted for the existing
+commercial (and geopolitically constrained) tools from companies such as
+Cadence and Mentor, giving a Euro-centric independence from “technology
+constraining” acts.
+
+
+We are currently awaiting the return of our first 180 nm architecture
+test ASIC (TRL 4) from TSMC, through IMEC. It is the first major
+silicon in Europe of its size (5.1 x 5.9 mm^2 and 130,000 cells)
+to be entirely developed using a Libre-Licensed VLSI ASIC toolchain,
+and the world's first Power ISA 3.0 outside of IBM to reach Silicon in
+over 12 years. We have already started to push (drive) the evolution of
+Europe's only silicon-proven Libre/Open VLSI toolchain, something this
+Grant application will support and will allow LIP6 and CNRS to enhance
+it to lower geometries and larger ASIC sizes which will be critical to
+European businesses' Digital and Silicon Sovereignty.
+
+For the avoidance of confusion the use of the word "Cell" refers to a
+bounded piece of electronic design that when used together, like bricks,
+form larger more complicated electrical functions.
+
+To help advance Digital Sovereignty, LIP6 and CNRS need to once
+again push the boundaries of the Libre/Open VLSI toolchain, coriolis2
+Place-and-Route, https://coriolis2.lip6.fr and HITAS/YAGLE Static Timing
+Analyser https://www-soc.lip6.fr/equipe-cian/logiciels/tasyagle/ both
+of which are, at the lower 360 and 180 nm geometries, at TRL 9, but are
+at TRL 2 for lower geometries 90, 65, 45 nm and below.
+
+
+Chips4Makers (also NLnet funded) created FlexLib Libre/Open Cell
+Libraries which allows porting of Standard Cell Libraries to any geometry.
+An NDA'd TSMC 180nm version of FlexLib was created for the Libre-SOC
+180nm test ASIC. To achieve our objectives, RED Semiconductor,
+Libre-SOC, LIP6 and CNRS will need to
+create smaller geometry ports of FlexLib. These Cell Libraries need to
+be tested in actual Silicon, and consequently we will be working with
+IMEC as a sub-contractor and partner to deliver MPW Shuttle Runs for
+these critical Libraries, using Libre-SOC Cores as a "proving-ground".
-For the avoidance of confusion the use of the word "Cell" refers to a bounded piece of electronic design that when used together, like bricks, form larger more complicated electrical functions.
-
-
-To help advance Digital Sovereignty, LIP6 and CNRS need to once again push the boundaries of the Libre/Open VLSI toolchain, coriolis2 Place-and-Route, https://coriolis2.lip6.fr and HITAS/YAGLE Static Timing Analyser https://www-soc.lip6.fr/equipe-cian/logiciels/tasyagle/ both of which are, at the lower 360 and 180 nm geometries, at TRL 9, but are at TRL 2 for lower geometries 90, 65, 45 nm and below.
-
-
-Chips4Makers (also NLnet funded) created FlexLib Libre/Open Cell Libraries which allows porting of Standard Cell Libraries to any geometry. An NDA'd TSMC 180nm version of FlexLib was created for the Libre-SOC 180nm test ASIC. To achieve our objectives, LIP6 and CNRS will need to create smaller geometry ports of FlexLib. These Cell Libraries need to be tested in actual Silicon, and consequently we will be working with IMEC as a sub-contractor and partner to deliver MPW Shuttle Runs for these critical Libraries, using Libre-SOC Cores as a "proving-ground".
https://europractice-ic.com/wp-content/uploads/2021/01/Pricelist-EUROPRACTICE-General-MPW_8.pdf
-To put all of this to practical use, HELIX Technologies, by defining an advanced GPS Correlator, will set a Computational capability objective for the core technology and be a Reference test-bed. HELIX will then be able to carry out the comparative studies which show that the core technology meets significant performance/watt improvements. The ultimate destination for some of these devices will be Satellites (Space).
-
-
-In addition, NLnet, a Stichting / Foundation, has been so successful in supporting "Works for the Public Good" that we feel that their approach and service fulfilment are extremely relevant to this Call. During the 36 month duration of the proposal, NLnet is in a position to engage with Libre/Open Hardware and Software developers which, for our team, will mitigate the risk of unanticipated issues requiring specialist but small-scope funding, that yet still meets the well-defined objectives of this Call.
+In addition, NLnet, a Stichting / Foundation, has been so successful
+in supporting "Works for the Public Good" that we feel that their approach
+and service fulfilment are extremely relevant to this Call. During the
+36 month duration of the proposal, NLnet is in a position to engage
+with Libre/Open Hardware and Software developers which, for our team,
+will mitigate the risk of unanticipated issues requiring specialist but
+small-scope funding, that yet still meets the well-defined objectives
+of this Call.
+To put all of this to practical use, Helix Technologies, by defining
+an advanced GPS Correlator, will set a Computational capability objective
+for the core technology and be a Reference test-bed. Helix will then
+be able to carry out the comparative studies which show that the core
+technology meets significant performance/watt improvements. The ultimate
+destination for some of these devices will be Satellites (Space).
Summary of why our work is pertinent to Call HORIZON-CL4-2021-DIGITAL-EMERGING-01-01:
* High-performance energy-efficient computing: SVP64 is a Cray-style Vector ISA. Cray-style Vector ISAs are known to produce smaller and more compact programs. Smaller programs means less L1 Cache misses, and overall, smaller L1 Caches are needed. This results inherently in greatly-reduced power consumption, whilst also remaining practical and general-purpose programmable.
-* Targeted applications: We are developing a general-purpose Hybrid Architecture suitable for 3D, Video, Digital Signal Processing, Cryptographic applications, AI and many more. As it is general-purpose it covers all these areas. However in certain areas "specialist" instructions are needed (particularly 3D) and we seek additional funding to complete them. This includes HELIX's high-accuracy GPS application which qualifies as a step-improvement in "Sensor fusion".
+* Targeted applications: We are developing a general-purpose Hybrid Architecture suitable for 3D, Video, Digital Signal Processing, Cryptographic applications, AI and many more. As it is general-purpose it covers all these areas. However in certain areas "specialist" instructions are needed (particularly 3D) and we seek additional funding to complete them. This includes Helix's high-accuracy GPS application which qualifies as a step-improvement in "Sensor fusion".
* Hardware-software co-design and Libre/Open Hardware-Software: as all participants are trained as Software Engineers, we inherently and automatically bring Software Engineering practices and techniques to Hardware design, and consequently achieve a far greater effectiveness and flexibility. Additionally, all participants are long-term contributors to Libre/Open Software and Hardware Projects. This shall continue throughout this Grant proposal. The involvement of RED Semiconductor Ltd brings further semiconductor hardware experience, bringing balance to the overall team.
* Moore's Law and changing Economics: as a general-purpose Cray-style Vector Supercomputer ISA, what we are designing may deploy either "Fast and Narrow" back-end (internal) micro-architecture, or "Slow and Wide": huge numbers of SIMD ALUs running at a much slower clock rate. The beauty and elegance of a Vector ISA is that, unlike SIMD ISAs such as AVX-512, NEON and to a partial extend SVE2, is that the programmer doesn't need to know about the internal micro-architecture, but their programs achieve the same throughput, even on larger geometries.
-* Hardware-based security: We consider it deeply unwise to follow the false practice of "adding more complexity to achieve more security". Security is achieved through simplicity and transparency. Simplicity: we studied historic Supercomputer designs dating back to 1965 (CDC 6600) where pure pragmatism required simpler and more elegant designs. Transparency: Fully Libre/Open designs that customers can themselves verify by running Formal Correctness Proofs (where those tools are also Libre/Open Source). Fully Libre/Open VLSI toolchains and Cell Libraries (no possibility of insertion of spying at the Silicon level). "Tripwires" embedded into the silicon to gauge area-local EMF "Signatures". Additionally, we already have work underway into Out-of-Order Execution and seek to explore Speculative Execution Mitigation techniques at the hardware level, to increase security. These are practical achievable demonstrable ways to achieve Hardware-based trust.
+* Hardware-based security: We consider it deeply unwise to follow the false practice of "adding more complexity to achieve more security". Security is achieved through simplicity and transparency. Simplicity: we studied historic Supercomputer designs dating back to 1965 (CDC 6600) where pure pragmatism required simpler and more elegant designs,
+and with Mitch Alsup's help learned how to bring them up-to-date.
+Transparency: Fully Libre/Open designs that customers can themselves verify by running Formal Correctness Proofs (where those tools are also Libre/Open Source). Fully Libre/Open VLSI toolchains and Cell Libraries (no possibility of insertion of spying at the Silicon level). "Tripwires" embedded into the silicon to gauge area-local EMF "Signatures". Additionally, we already have work underway into Out-of-Order Execution and seek to explore Speculative Execution Mitigation techniques at the hardware level, to increase security. These are practical achievable demonstrable ways to achieve Hardware-based trust.
* Security and Safety-critical Guidelines: Due to our overall approach, although potentially inherently achievable by others utilising our work as the basis for ongoing Research, the main participants consider it out of scope due to practical time constraints. Security Certification typically takes 5 to 7 years: The scope of this project is only 3. NLnet however may fund work that does indeed take into account these criteria.
* ASIC (Chip) prototyping: We are developing RTL including High-Level (core designs) as well as Low-Level (Cell Libraries). Nobody in any European Company will use a Cell Library if it has not been demonstrated as Silicon-Proven. As we already did with the 180nm ASIC, the best way to prove that a Cell Library (and an innovative approach - using Libre/Open VLSI toolchains) works is to do an actual ASIC.
* LIP6's toolkit containing existing large-geometry Cell Libraries and test benches at https://gitlab.lip6.fr/vlsi-eda/alliance-check-toolkit.
* CNRS's HITAS/YAGLE is also Open Source https://www-soc.lip6.fr/equipe-cian/logiciels/tasyagle/.
* Symbiyosys and its subcomponents for Formal Correctness Proofs are Libre/Open https://symbiyosys.readthedocs.io/.
-* GPS GNSS-SDR is also Open Source https://gnss-sdr.org/ and can be adapted for HELIX's requirement
+* GPS GNSS-SDR is also Open Source https://gnss-sdr.org/ and can be adapted for Helix's requirement
* Chips4Makers FlexLib is also Open Source https://gitlab.com/Chips4Makers but the NDA'd "ports" are not.
* To solve the above problem, all Libre/Open Developers will work with an Academic "Ghost" version, called C4M-FreePDK45 https://gitlab.com/Chips4Makers/c4m-pdk-freepdk45. This "ghost" version will allow full (parallel-track) collaboration between Libre/Open Developers and those Participants creating "real" GDS-II Files, without violating Foundry NDAs.
-This methodology is based on an established process that has already allowed us to deliver demonstrable software and hardware results, the manifestation of which is our 180nm architecture test chip now in manufacture. This has involved a significant amount of cooperative development among the applicants, and others beyond, and the development of core supporting technology that this grant application can now efficiently build upon.
-
-
-We refer to other supporting technology sources further in this application and whilst they are not the core team they will critically contribute to the overall success. In particular, these groups can be supported by NLnet, whose "Works for the Public Good" remit is 100% compatible with the full transparency objectives (that the project's participants are already committed to) which will help by providing additional non-core-team development on an on-demand basis, on the back of NLnet's already-trusted commitment to fulfil European Union objectives under Grant Agreements No 825310 and 825322.
-
-
-Additionally, Libre-SOC is working closely with the OpenPOWER Foundation ISA Working Group Chair, having attended regular bi-weekly meetings for over 18 months. As mentioned above, the entirety of our work of greater than 3 years on this Vector Extension, SVP64, is entirely transparent and open: https://libre-soc.org/openpower/sv/svp64/. Both NLnet (and StandICT.eu through a proposal under consideration at the time of writing) are supporting our efforts to submit the Draft SVP64 and its subcomponents through the RFC (Request for Change) process being developed by the OpenPOWER Foundation. For long-term stability and impact it is a necessary prerequisite that Draft SVP64 become an official part of the Power ISA: this decision is however down to the OpenPOWER Foundation and requires considerable preparation and planning, which this Grant will help support.
-
-
-One huge benefit of Libre-SOC's core being Power ISA 3.0 Compliant is that IBM contributed a huge patent pool through the OpenPOWER EULA. Compliant Designs enjoy the protection of this patent pool. By contributing SVP64 to the Power ISA it falls under this same umbrella. Libre-SOC shall be entering into an agreement with the OpenPOWER Foundation, here, as part of the ISA RFC process. European businesses clearly benefit from the long-term stability of this arrangement.
-
-
-Whilst we clearly need, ultimately, to prove our design's power-efficiency in silicon, we would however consider it unwise and extremely costly to tape-out to Silicon without having gone through a proper early-evaluation process, weeding out ineffective strategies and designs. To that end, we learned from Jeff Bush's work on the Nyuzi 3D core to perform estimates on power consumption and clock cycles. This is a highly-effective feedback process that allows identification and targeting of the most urgent (inefficient) areas, and we have taken it on-board and adopted it throughout the project.
-
-
-Part of that involves Peter Hsu's cavatools (another NLnet Grant) which is (at present) a cycle-accurate Simulator for RISC-V. A (new) NLnet Grant (not yet approved at the time of writing) is targeted at porting cavatools to the Power ISA. This proposal would allow NLnet-funded work to be extended into 3D, Video, DSP and other areas, to simulate (test) out the feasibility, power-efficiency and effectiveness of different Custom SVP64 Extensions to the Power ISA, long before they reach actual Silicon.
+This methodology is based on an established process that has already
+allowed us to deliver demonstrable software and hardware results,
+the manifestation of which is our 180nm architecture test chip now
+in manufacture. This has involved a significant amount of cooperative
+development among the applicants, and others beyond, and the development
+of core supporting technology that this grant application can now
+efficiently build upon.
+
+
+We refer to other supporting technology sources further in this
+application and whilst they are not the core team they will critically
+contribute to the overall success. In particular, these groups can be
+supported by NLnet, whose "Works for the Public Good" remit is 100%
+compatible with the full transparency objectives (that the project's
+participants are already committed to) which will help by providing
+additional non-core-team development on an on-demand basis, on the back
+of NLnet's already-trusted commitment to fulfil European Union objectives
+under Grant Agreements No 825310 and 825322.
+
+
+Additionally, Libre-SOC is working closely with the OpenPOWER Foundation
+ISA Working Group Chair, having attended regular bi-weekly meetings for
+over 18 months. As mentioned above, the entirety of our work of greater
+than 3 years on this Vector Extension, SVP64, is entirely transparent
+and open: https://libre-soc.org/openpower/sv/svp64/. Both NLnet
+(and StandICT.eu through a proposal under consideration at the time of
+writing) are supporting our efforts to submit the Draft SVP64 and its
+subcomponents through the RFC (Request for Change) process being developed
+by the OpenPOWER Foundation. For long-term stability and impact it is a
+necessary prerequisite that Draft SVP64 become an official part of the
+Power ISA: this decision is however down to the OpenPOWER Foundation
+and requires considerable preparation and planning, which this Grant
+will help support.
+
+
+One huge benefit of Libre-SOC's core being Power ISA 3.0 Compliant is that
+IBM contributed a huge patent pool through the OpenPOWER EULA. Compliant
+Designs enjoy the protection of this patent pool. By contributing SVP64
+to the Power ISA it falls under this same umbrella. Libre-SOC shall be
+entering into an agreement with the OpenPOWER Foundation, here, as part
+of the ISA RFC process. European businesses clearly benefit from the
+long-term stability of this arrangement.
+
+
+Whilst we clearly need, ultimately, to prove our design's power-efficiency
+in silicon, we would however consider it unwise and extremely costly to
+tape-out to Silicon without having gone through a proper early-evaluation
+process, weeding out ineffective strategies and designs. To that end, we
+learned from Jeff Bush's work on the Nyuzi 3D core to perform estimates
+on power consumption and clock cycles. This is a highly-effective
+feedback process that allows identification and targeting of the most
+urgent (inefficient) areas, and we have taken it on-board and adopted
+it throughout the project.
+
+
+Part of that involves Peter Hsu's cavatools (another NLnet Grant) which
+is (at present) a cycle-accurate Simulator for RISC-V. A (new) NLnet
+Grant (not yet approved at the time of writing) is targeted at porting
+cavatools to the Power ISA. This proposal would allow NLnet-funded work to
+be extended into 3D, Video, DSP and other areas, to simulate (test) out
+the feasibility, power-efficiency and effectiveness of different Custom
+SVP64 Extensions to the Power ISA, long before they reach actual Silicon.
# 2 Impact
## 2.1 Project’s pathways towards impact
-The core of modern computing is the capability of the computational element of the systems and the microprocessors they are based around. Every twenty years there has been a significant evolutionary step in the technical concepts employed by these microprocessor devices. For example the last big step was the concept of RISC (Reduced Instruction Set) processors. These developments have been driven by many forces from cost of devices to limitations of the available technology of the time.
+The core of modern computing is the capability of the computational
+element of the systems and the microprocessors they are based around.
+Every twenty years there has been a significant evolutionary step in the
+technical concepts employed by these microprocessor devices. For example
+the last big step was the concept of RISC (Reduced Instruction Set)
+processors. These developments have been driven by many forces from
+cost of devices to limitations of the available technology of the time.
-The Libre-SOC core is capable of becoming the next significant step change in microprocessor speed, technology, and reduction in equivalent computational power (Watts).
+The Libre-SOC core is capable of becoming the next significant step
+change in microprocessor speed, technology, and reduction in equivalent
+computational power (Watts).
-To illustrate this, we need to go back in history to early computing. The first microprocessors were reliant on expensive core then bipolar memory and even with the advent of DRAMS (Dynamic Random-Access Memories) the primary focus of microprocessor processor core designs was to optimise the minimal use of memory and focus on the power of the core. Over time, memory became cheaper and reliance on memory to improve processing increased with techniques like RAMdisk stores were developed. This cheap memory also resulted in the evolution of RISC and similar computing technology concepts. Today the problem is epitomized by speed, where microprocessors have evolved to be much faster than the fastest memories, and to increase performance, the state of the art computing requires coming full-circle: once again minimising the use of memory, which is now a log jam, and looking again at the core optimisation solutions devised in the 1960’s by luminaries such as Seymour Cray. The Libre-SOC core is an optimal adoption of this category of core processor performance enhancement.
+To illustrate this, we need to go back in history to early computing.
+The first microprocessors were reliant on expensive core then bipolar
+memory and even with the advent of DRAMS (Dynamic Random-Access Memories)
+the primary focus of microprocessor processor core designs was to
+optimise the minimal use of memory and focus on the power of the core.
+Over time, memory became cheaper and reliance on memory to improve
+processing increased with techniques like RAMdisk stores were developed.
+This cheap memory also resulted in the evolution of RISC and similar
+computing technology concepts. Today the problem is epitomized by speed,
+where microprocessors have evolved to be much faster than the fastest
+memories, and to increase performance, the state of the art computing
+requires coming full-circle: once again minimising the use of memory,
+which is now a log jam, and looking again at the core optimisation
+solutions devised in the 1960’s by luminaries such as Seymour Cray.
+The Libre-SOC core is an optimal adoption of this category of core
+processor performance enhancement.
-Libre-SOC has the benefit that its development relies on fundamental research that has been known and proven for nearly 60 years. SVP64 has input from and takes on-board lessons learned from NEC SX-Aurora, Cray-I, Mitch Alsup's MyISA 66000, RISC-V RVV Vectors, MRISC32, AVX-512, ARM SVE2, Qualcomm Hexagon and TI's DSP range, as well as other more esoteric Micro-architectures such as Aspex's Array-String Processor and Elixent's 2D Grid design.
+Libre-SOC has the benefit that its development relies on fundamental
+research that has been known and proven for nearly 60 years. SVP64 has
+input from and takes on-board lessons learned from NEC SX-Aurora, Cray-I,
+Mitch Alsup's MyISA 66000, RISC-V RVV Vectors, MRISC32, AVX-512, ARM
+SVE2, Qualcomm Hexagon and TI's DSP range, as well as other more esoteric
+Micro-architectures such as Aspex's Array-String Processor and Elixent's
+2D Grid design.
-As a Hybrid (merged) CPU-VPU-GPU Micro-architecture (similar to ICubeCorp's IC3128) there is a huge reduction in the complexity of 3D Graphics and Video Driver and overall hardware. NVidia, ARM (MALI), AMD, PowerVR, Vivante: these are all dual (ISA-incompatible) architectures with staggering levels of hardware-software complexity. Like ICubeCorp's design, Libre-SOC 3D and Video binaries are executed directly on the actual main (one) core.
+As a Hybrid (merged) CPU-VPU-GPU Micro-architecture (similar to
+ICubeCorp's IC3128) there is a huge reduction in the complexity
+of 3D Graphics and Video Driver and overall hardware. NVidia, ARM
+(MALI), AMD, PowerVR, Vivante: these are all dual (ISA-incompatible)
+architectures with staggering levels of hardware-software complexity.
+Like ICubeCorp's design, Libre-SOC 3D and Video binaries are executed
+directly on the actual main (one) core.
-The end-result here is, if deployed in mass-volume products world-wide including for European end-users of ubiquitous Computing devices, a significant energy saving results on a massive scale, particularly in battery-operated (mobile, tablet, laptop) appliances. Demonstrating this however requires, ultimately, that we actually create real silicon, and measure its performance and power consumption.
+The end-result here is, if deployed in mass-volume products world-wide
+including for European end-users of ubiquitous Computing devices, a
+significant energy saving results on a massive scale, particularly in
+battery-operated (mobile, tablet, laptop) appliances. Demonstrating this
+however requires, ultimately, that we actually create real silicon,
+and measure its performance and power consumption.
-## 2.2 Measures to maximise impact - Dissemination, exploitation and communication
+## 2.2 Measures to maximise impact - Dissemination,
+exploitation and communication
-As the Libre-SOC core is the result of a Libre/Open Source project by default all of our development work has been published for the last four years. This was also a requirement of our EU funding through NLnet. In addition we have undertaken a full program of conference presentations, technology awareness activities and cooperation with key bodies such as the OpenPOWER Foundation and OpenPOWER Members (Libre-SOC is participating in a world-wide Open University Course about the OpenPOWER ISA, an activity led by IBM). Examples:
+As the Libre-SOC core is the result of a Libre/Open Source project
+by default all of our development work has been published for the last
+four years. This was also a requirement of our EU funding through NLnet.
+In addition we have undertaken a full program of conference presentations,
+technology awareness activities and cooperation with key bodies such as
+the OpenPOWER Foundation and OpenPOWER Members (Libre-SOC is participating
+in a world-wide Open University Course about the OpenPOWER ISA, an
+activity led by IBM). Examples:
* https://openpowerfoundation.org/events/openpower-summit-2020-north-america/
* https://openpowerfoundation.org/libre-soc-180nm-power-isa-asic-submitted-to-imec-for-fabrication/
-Marie-Minerve Louerat (CNRS) and Jean-Paul Chaput's and Professor Galayko's (Sorbonne Université LIP6 Lab) Academic Publications will continue https://www.lip6.fr/actualite/personnes-fiche.php?ident=P109 https://www.lip6.fr/actualite/personnes-fiche.php?ident=P98 https://www.lip6.fr/actualite/personnes-fiche.php?ident=P230 as will their continued Conference participation (example: FOSDEM 2021 coriolis2 https://av.tib.eu/media/52401?hl=coriolis2)
+Marie-Minerve Louerat (CNRS) and Jean-Paul Chaput's and Professor
+Galayko's (Sorbonne Université LIP6 Lab) Academic Publications will
+continue https://www.lip6.fr/actualite/personnes-fiche.php?ident=P109
+https://www.lip6.fr/actualite/personnes-fiche.php?ident=P98
+https://www.lip6.fr/actualite/personnes-fiche.php?ident=P230 as will
+their continued Conference participation (example: FOSDEM 2021 coriolis2
+https://av.tib.eu/media/52401?hl=coriolis2)
-Luke Leighton also releases videos of his Libre-SOC talks on youtube https://www.youtube.com/user/lkcl and a full list of all conferences (past and present) are maintained on the Libre-SOC website https://libre-soc.org/conferences/
+Luke Leighton also releases videos of his Libre-SOC talks on
+youtube https://www.youtube.com/user/lkcl and a full list of all
+conferences (past and present) are maintained on the Libre-SOC website
+https://libre-soc.org/conferences/
-The Libre-SOC bugtracker (where we track our TODO actions) is public access (https://bugs.libre-soc.org), and the Mailing lists are also public access (https://lists.libre-soc.org). LIP6's alliance/coriolis2 mailing lists are also public access (https://www-soc.lip6.fr/wws/info/alliance-users)
+The Libre-SOC bugtracker (where we track our TODO actions) is
+public access (https://bugs.libre-soc.org), and the Mailing
+lists are also public access (https://lists.libre-soc.org).
+LIP6's alliance/coriolis2 mailing lists are also public access
+(https://www-soc.lip6.fr/wws/info/alliance-users)
-These are ongoing activities that actively encourage world-wide Open Participation, and shall remain so indefinitely. We will continue to grow these activities along with a commercial thread of publicity by RED Semiconductor Ltd to publicise and determine product family opportunities where RED Semiconductor Ltd will focus on potential product and market development built upon the Libre-SOC core technology.
+These are ongoing activities that actively encourage world-wide Open
+Participation, and shall remain so indefinitely. We will continue to
+grow these activities along with a commercial thread of publicity by RED
+Semiconductor Ltd to publicise and determine product family opportunities
+where RED Semiconductor Ltd will focus on potential product and market
+development built upon the Libre-SOC core technology.
## 2.3 Summary
### Specific needs
-Modern computing technology is designed in secrecy and released to the market without the ability of the user base to vet or validate. When problems arise it is usually due to “discovery” and usually driven by technical curiosity or malice. What is clear is that to those on the inside these problems were visible from the outset, however time resource and unwillingness to explore (and unethical Commercial pragmatism) has left these vulnerabilities open to be exploited. As a general principle we have taken the view that any new design should be open to review and able to be corrected (every design has some bugs) before mass adoption and the inevitable loss and crisis.
+Modern computing technology is designed in secrecy and released to
+the market without the ability of the user base to vet or validate.
+When problems arise it is usually due to “discovery” and usually
+driven by technical curiosity or malice. What is clear is that to those
+on the inside these problems were visible from the outset, however
+time resource and unwillingness to explore (and unethical Commercial
+pragmatism) has left these vulnerabilities open to be exploited. As a
+general principle we have taken the view that any new design should be
+open to review and able to be corrected (every design has some bugs)
+before mass adoption and the inevitable loss and crisis.
-In practical terms: as indicated in sections above there have been a number of security incidents involving ubiquitous computing devices, impacting millions to hundreds of millions of end-users, world-wide. Qualcomm failed last year to provide adequate secure firmware, leaving 40% of the entire world's Android smartphones vulnerable to attack. With the majority of smartphones being "fire-and-forget" products with non-upgradeable firmware, the end-user's only solution is to throw away a perfectly good electronics product and purchase a new one. For Intel products - all Intel products - the exact same thing has occurred (Master Firmware Key, Spectre, Meltdown), but at an unfixable hardware level, and there are no replacement Intel products that can be purchased in the market to "fix" their fundamental design flaws.
+In practical terms: as indicated in sections above there have
+been a number of security incidents involving ubiquitous computing
+devices, impacting millions to hundreds of millions of end-users,
+world-wide. Qualcomm failed last year to provide adequate secure firmware,
+leaving 40% of the entire world's Android smartphones vulnerable to
+attack. With the majority of smartphones being "fire-and-forget" products
+with non-upgradeable firmware, the end-user's only solution is to throw
+away a perfectly good electronics product and purchase a new one.
+For Intel products - all Intel products - the exact same thing has
+occurred (Master Firmware Key, Spectre, Meltdown), but at an unfixable
+hardware level, and there are no replacement Intel products that can be
+purchased in the market to "fix" their fundamental design flaws.
-Not only that, but all of the ubiquitous Computing products (Apple, Intel, IBM, NVidia, AMD being the most well-known) are 100% non-EU-based. As far as EU Digital Sovereignty is concerned, this is an extremely serious and alarming situation, compounded by critical Foundries and know-how to run those Foundries also not being part of a Sovereign European remit.
+Not only that, but all of the ubiquitous Computing products (Apple, Intel,
+IBM, NVidia, AMD being the most well-known) are 100% non-EU-based. As far
+as EU Digital Sovereignty is concerned, this is an extremely serious
+and alarming situation, compounded by critical Foundries and know-how
+to run those Foundries also not being part of a Sovereign European remit.
-If that was not enough, Foundries and the Semiconductor Industry requires NDAs that at the minimum prohibit full publication of Academic results, stifling innovation and research, in turn driving up the cost for EU businesses of the cost of ASIC products by creating artificial cost, overhead and knowledge barriers.
+If that was not enough, Foundries and the Semiconductor Industry requires
+NDAs that at the minimum prohibit full publication of Academic results,
+stifling innovation and research, in turn driving up the cost for EU
+businesses of the cost of ASIC products by creating artificial cost,
+overhead and knowledge barriers.
The entire Computing and Semiconductor Industry needs a new approach.
-Taking the initiative, the end goal of the Libre-SOC/RED Semiconductor Ltd project is therefore to deliver high performance, security auditable, supercomputer class computing devices to the market. As this is not currently available it will prompt a step change in low power (Watts) high performance computing. This will be achieved through:
+Taking the initiative, the end goal of the Libre-SOC/RED Semiconductor
+Ltd project is therefore to deliver high performance, security auditable,
+supercomputer class computing devices to the market. As this is not
+currently available it will prompt a step change in low power (Watts)
+high performance computing. This will be achieved through:
* Energy/Power consumption measurement: we need to verify that performance/watt is lowered
### Dissemination, exploitation and Communication
+ Energy/Power consumption measurement:
-Energy/Power consumption measurement:
+Just as Jeff Bush showed by publishing Nyuzi Research at Conferences we
+shall follow the same proven incremental performance/watt measures and
+procedures, and publish the results.
-Just as Jeff Bush showed by publishing Nyuzi Research at Conferences we shall follow the same proven incremental performance/watt measures and procedures, and publish the results.
https://ieeexplore.ieee.org/document/7095803/
Draft SVP64 inclusion in Power ISA:
-We are already working with the OpenPOWER ISA Working Group, and have already begun publishing the Draft SVP64 Specification as it is being developed. This will become official RFCs (Request for Changes) leading to adoption. This includes development of Compliance Test Suites, low-level libraries, compilers etc. which shall be announced through Conferences, Press Releases (by RED Semiconductor Ltd, NLnet and the OpenPOWER Foundation) and standard Libre/Open development practices (Mailing list Announcements).
+We are already working with the OpenPOWER ISA Working Group, and have
+already begun publishing the Draft SVP64 Specification as it is being
+developed. This will become official RFCs (Request for Changes) leading
+to adoption. This includes development of Compliance Test Suites,
+low-level libraries, compilers etc. which shall be announced through
+Conferences, Press Releases (by RED Semiconductor Ltd, NLnet and the
+OpenPOWER Foundation) and standard Libre/Open development practices
+(Mailing list Announcements).
Auditability and Transparency:
-Using symbiyosys we have already established a number of Formal Correctness Proofs for the TRL 3 HDL used in the 180nm ASIC: This needs to be extended right the way throughout all future work and be published for other OpenPOWER Foundation Members and European businesses to be able to independently verify the correct functionality of not just Libre-SOC ASIC designs but other Power ISA 3.0 compliant designs as well. Libre-SOC HDL and the associated Formal Correctness Proofs are published as-they-are-developed in real-time and consequently dissemination is implicit and automatic.
+Using symbiyosys we have already established a number of Formal
+Correctness Proofs for the TRL 3 HDL used in the 180nm ASIC: This
+needs to be extended right the way throughout all future work and be
+published for other OpenPOWER Foundation Members and European businesses
+to be able to independently verify the correct functionality of not just
+Libre-SOC ASIC designs but other Power ISA 3.0 compliant designs as well.
+Libre-SOC HDL and the associated Formal Correctness Proofs are published
+as-they-are-developed in real-time and consequently dissemination is
+implicit and automatic.
-For the Silicon-level "EMF signature" measurement system Libre-SOC will define and publish Reference Standards, test applications and methodology documentation. RED Semiconductor Ltd will establish and make available a "expected results" database for its commercial products, as part of its Product Application Documentation, so that European Businesses may independently verify that their commercial off-the-shelf RED Semiconductor Ltd products have not been tampered with at the Silicon level. (It is beyond the scope of this Grant however RED Semiconductor Ltd will publish its overall Quality Standards Strategy). In concept, the "EMF Signature" strategy is very similar to Hewlett Packard's "Signature Analysis Strategy" that has been around since 1949. https://www.hpl.hp.com/hpjournal/pdfs/IssuePDFs/1977-05.pdf
+For the Silicon-level "EMF signature" measurement system Libre-SOC
+will define and publish Reference Standards, test applications and
+methodology documentation. RED Semiconductor Ltd will establish
+and make available a "expected results" database for its commercial
+products, as part of its Product Application Documentation, so that
+European Businesses may independently verify that their commercial
+off-the-shelf RED Semiconductor Ltd products have not been tampered with
+at the Silicon level. (It is beyond the scope of this Grant however RED
+Semiconductor Ltd will publish its overall Quality Standards Strategy).
+In concept, the "EMF Signature" strategy is very similar to Hewlett
+Packard's "Signature Analysis Strategy" that has been around since
+1949. https://www.hpl.hp.com/hpjournal/pdfs/IssuePDFs/1977-05.pdf
Power ISA 3.0 Interoperability:
-Standing on the shoulders of Giants (IBM and other OPF Members in this case) is always a good starting point. The familiarity and decades-long-term stability of the existing Power ISA 3.0 gives us a vast existing-established user audience to whom we can provide training and experience upgrades from an existing high-level of knowledge. In this we already have the cooperation of IBM (through the OpenPOWER University Education Course that Libre-SOC has helped to create - to be first run from 18th-29th October 2021).
+Standing on the shoulders of Giants (IBM and other OPF Members in
+this case) is always a good starting point. The familiarity and
+decades-long-term stability of the existing Power ISA 3.0 gives us a vast
+existing-established user audience to whom we can provide training and
+experience upgrades from an existing high-level of knowledge. In this
+we already have the cooperation of IBM (through the OpenPOWER University
+Education Course that Libre-SOC has helped to create - to be first run
+from 18th-29th October 2021).
-We will take the Interoperability further at a practical level by developing a Libre/Open Power ISA 3.0 "Compliance Test Suite" that meets the OpenPOWER Foundation documented standards (https://openpowerfoundation.org/openpower-isa-compliance-definition/) and make it entirely public and available to all without limit, and invite other OpenPOWER Foundation Members to participate in its development and use. This will then be, again, announced through Press Releases and Mailing List as well as Conference Presentations.
+We will take the Interoperability further at a practical level
+by developing a Libre/Open Power ISA 3.0 "Compliance Test
+Suite" that meets the OpenPOWER Foundation documented standards
+(https://openpowerfoundation.org/openpower-isa-compliance-definition/)
+and make it entirely public and available to all without limit, and invite
+other OpenPOWER Foundation Members to participate in its development
+and use. This will then be, again, announced through Press Releases
+and Mailing List as well as Conference Presentations.
FPGA and Simulator demonstrators:
-Again: all new software tools created, and existing ones used and modified to both develop and use resultant devices will be published as an inherent part of the OpenSource real time publishing strategy.
+Again: all new software tools created, and existing ones used and modified
+to both develop and use resultant devices will be published as an inherent
+part of the OpenSource real time publishing strategy.
VLSI Toolchain and Cell Library verification:
-Again: the results of the development are, to date and in the future, part of Libre/Open Source projects, and are therefore fully-visible, even though they are Hardware-related we treat them as Open Source Software. Conference presentations shall therefore be given, announcements on Mailing Lists, as part of the overall communications strategy.
+Again: the results of the development are, to date and in the future,
+part of Libre/Open Source projects, and are therefore fully-visible, even
+though they are Hardware-related we treat them as Open Source Software.
+Conference presentations shall therefore be given, announcements on
+Mailing Lists, as part of the overall communications strategy.
-In this particular case however, the communication has to involve the results of the MPW Shuttle runs, testing the actual ASICs, because it is critical to demonstrate and communicate that the Cell Libraries are Silicon-Proven and that the VLSI tools were capable of successfully creating that Silicon-Proven layout. However the caveat here: anything involving NDA'd material as required by the Foundry has to remain confidential (note that this is not something that can be addressed within the funding scope of this Call)
+In this particular case however, the communication has to involve the
+results of the MPW Shuttle runs, testing the actual ASICs, because it
+is critical to demonstrate and communicate that the Cell Libraries are
+Silicon-Proven and that the VLSI tools were capable of successfully
+creating that Silicon-Proven layout. However the caveat here: anything
+involving NDA'd material as required by the Foundry has to remain
+confidential (note that this is not something that can be addressed
+within the funding scope of this Call)
NLnet mini-grants:
-NLnet's website has already been established with communication facilities for around 19 years. NLnet are experienced in the effective evaluation and management of small-scale Grants. They are also extremely familiar with the work that we are doing, and with the detail of EU Grant Procedures. Following those procedures they will add a new section to the website for Grant Proposals that inherently meet the objectives of this Call, and will use their existing communications infrastructure to maximum benefit.
+NLnet's website has already been established with communication facilities
+for around 19 years. NLnet are experienced in the effective evaluation
+and management of small-scale Grants. They are also extremely familiar
+with the work that we are doing, and with the detail of EU Grant
+Procedures. Following those procedures they will add a new section to
+the website for Grant Proposals that inherently meet the objectives of
+this Call, and will use their existing communications infrastructure to
+maximum benefit.
### Expected results
Energy/Power consumption measurement:
-We anticipate in the actual ASIC a significant measurable reduction in performance/watt. Early predictions shall be based on Instruction-level Simulations, but these need to be validated against the "real thing". Due to the iterative process (outlined by Jeff Bush) we simply cannot state exactly in advance the full magnitude of improvement that will occur. The process itself, and how it was successfully applied, however, will be considered to be part of the results themselves as part of publications online and at Conferences.
+We anticipate in the actual ASIC a significant measurable reduction in
+performance/watt. Early predictions shall be based on Instruction-level
+Simulations, but these need to be validated against the "real thing".
+Due to the iterative process (outlined by Jeff Bush) we simply cannot
+state exactly in advance the full magnitude of improvement that will
+occur. The process itself, and how it was successfully applied, however,
+will be considered to be part of the results themselves as part of
+publications online and at Conferences.
Draft SVP64 inclusion in Power ISA:
-The ultimate outcome here is that SVP64 becomes an officially-adopted part of the OpenPOWER ISA, including a full compliance test suite, documentation in a future revision of the official Power ISA Technical Reference Manual. This process is, however, by necessity and being an extremely important responsibility of the OpenPOWER Foundation (not of any of the Participants), very slow and outside of our control, and may take longer than the 36 month duration of the Grant to complete.
+The ultimate outcome here is that SVP64 becomes an officially-adopted
+part of the OpenPOWER ISA, including a full compliance test suite,
+documentation in a future revision of the official Power ISA Technical
+Reference Manual. This process is, however, by necessity and being an
+extremely important responsibility of the OpenPOWER Foundation (not of
+any of the Participants), very slow and outside of our control, and may
+take longer than the 36 month duration of the Grant to complete.
-Therefore, the critical Milestone shall be our submission to the OpenPOWER Foundation's ISA Working Group, as well as the development of the required Compliance Test Suites. Both of these shall be published under appropriate Libre/Open Licenses.
+Therefore, the critical Milestone shall be our submission to the
+OpenPOWER Foundation's ISA Working Group, as well as the development of
+the required Compliance Test Suites. Both of these shall be published
+under appropriate Libre/Open Licenses.
Auditability and Transparency:
-We will have completed the Formal Correctness Proofs and published them and the results of running them against the Libre-SOC HDL. We will also have received the ASICs back from MPW Shuttle runs, which will contain "EMF detection" wires routed strategically throughout it, and run the pre-arranged unit tests that will create "Signatures" that shall be recorded and published. This task is another critical reason why we need actual Silicon, because only with an ASIC can we demonstrate the viability of Signature Analysis (and similar) Strategies for ASICs.
+We will have completed the Formal Correctness Proofs and published them
+and the results of running them against the Libre-SOC HDL. We will also
+have received the ASICs back from MPW Shuttle runs, which will contain
+"EMF detection" wires routed strategically throughout it, and run the
+pre-arranged unit tests that will create "Signatures" that shall be
+recorded and published. This task is another critical reason why we
+need actual Silicon, because only with an ASIC can we demonstrate the
+viability of Signature Analysis (and similar) Strategies for ASICs.
Power ISA 3.0 Interoperability:
-We will have completed an implementation of the Compliance Test Suite as a Libre-Licensed application that can test multiple different implementations: FPGA, Simulators (including our own as well as qemu), and actual Silicon implementations including IBM POWER9, POWER10, Microwatt. In addition we will have extended our own interoperability "Test API" that allows comparisons of any arbitrary user-generated application against any other arbitrary Power ISA compliant devices (whether FPGA, Simulator, or Silicon): the OpenPOWER Compliance Test Suite implementation shall simply be one of those applications.
+We will have completed an implementation of the Compliance Test
+Suite as a Libre-Licensed application that can test multiple different
+implementations: FPGA, Simulators (including our own as well as qemu), and
+actual Silicon implementations including IBM POWER9, POWER10, Microwatt.
+In addition we will have extended our own interoperability "Test API"
+that allows comparisons of any arbitrary user-generated application
+against any other arbitrary Power ISA compliant devices (whether FPGA,
+Simulator, or Silicon): the OpenPOWER Compliance Test Suite implementation
+shall simply be one of those applications.
-We expect the Libre-SOC core to pass the full OpenPOWER ISA 3.0 Test Suite, and the results to be published. We will also communicate with OpenPOWER Foundation Members and make them aware of the existence of the Test Suite and document how it may be used to test their own Power ISA 3.0 implementations for Compliance.
+We expect the Libre-SOC core to pass the full OpenPOWER ISA 3.0 Test
+Suite, and the results to be published. We will also communicate with
+OpenPOWER Foundation Members and make them aware of the existence of
+the Test Suite and document how it may be used to test their own Power
+ISA 3.0 implementations for Compliance.
FPGA and Simulator demonstrators:
-Successful software simulation (emulation) of the augmented Power 3.0 ISA with the Draft SVP64 Extensions, and successful demonstration of the HDL of a multi-core SMP processor implementing the same, running in a large FPGA (the size of the commercially-available FPGAs constraining what is possible, here). Each shall help verify the other's correctness. This will be a rapid iterative cycle of development and shall always produce early results, feeding back to continued improvement.
+Successful software simulation (emulation) of the augmented Power 3.0 ISA
+with the Draft SVP64 Extensions, and successful demonstration of the HDL
+of a multi-core SMP processor implementing the same, running in a large
+FPGA (the size of the commercially-available FPGAs constraining what
+is possible, here). Each shall help verify the other's correctness.
+This will be a rapid iterative cycle of development and shall always
+produce early results, feeding back to continued improvement.
VLSI Toolchain and Cell Library verification:
-Multiple demonstrator 2-core ASICs and a proven path to an 8-core ASIC (as we anticipate that the 8-core is likely to be beyond the scope of the Grant due to Silicon costs). Where the 2-core ASIC MPW is multi-purpose (proving the HDL, proving the VLSI toolchain, proving the Cell Library) and shall use the FPGA and Simulations to check its correctness before proceeding, the 8-core shall remain in FPGA only, due to cost, but a VLSI Layout for the 8-core will still be attempted, in order to "test the limits" of the VLSI tools. If funding was available we could take the 8-core to full MPW rather than just to FPGA and GDS-II. As the 8 core Layout develops, if it (and the coriolis2 toolchain) progresses to viability in the 36 months one option might be for RED Semiconductor to apply for a EUR 500,000 NLnet mini-grant, payment terms to meet requirements set by IMEC, from their budget allocated under this proposal.
+Multiple demonstrator 2-core ASICs and a proven path to an 8-core ASIC
+(as we anticipate that the 8-core is likely to be beyond the scope of the
+Grant due to Silicon costs). Where the 2-core ASIC MPW is multi-purpose
+(proving the HDL, proving the VLSI toolchain, proving the Cell Library)
+and shall use the FPGA and Simulations to check its correctness before
+proceeding, the 8-core shall remain in FPGA only, due to cost, but a
+VLSI Layout for the 8-core will still be attempted, in order to "test
+the limits" of the VLSI tools. If funding was available we could take
+the 8-core to full MPW rather than just to FPGA and GDS-II. As the 8
+core Layout develops, if it (and the coriolis2 toolchain) progresses
+to viability in the 36 months one option might be for RED Semiconductor
+to apply for a EUR 500,000 NLnet mini-grant, payment terms to meet
+requirements set by IMEC, from their budget allocated under this proposal.
NLnet mini-grants:
-NLnet will receive and review potentially hundreds of small Grant Proposals to ensure that they meet both the Call's Objectives and meet NLnet's responsibilities as a Stichting / Foundation to fund "Works for the Public Good". They shall request that the successful Grant Applicant create Milestones and that Grant Applicant communicate those results, thus requiring that it is the Grant Applicant that fulfils the requirement herein. This process is already established and already in effect under Grant Agreements No 825310 and 825322.
+NLnet will receive and review potentially hundreds of small Grant
+Proposals to ensure that they meet both the Call's Objectives and meet
+NLnet's responsibilities as a Stichting / Foundation to fund "Works
+for the Public Good". They shall request that the successful Grant
+Applicant create Milestones and that Grant Applicant communicate those
+results, thus requiring that it is the Grant Applicant that fulfils the
+requirement herein. This process is already established and already in
+effect under Grant Agreements No 825310 and 825322.
-In the case of the Participants, if we need "reserve" budgets for unforseen activities, we commit to following that exact same procedure and thus also shall meet the Objectives of this Call (examples include the MPW 8-core, above). We are aware that new technology beneficial to the project may not be currently apparent but will be available within the 36 months duration, and the methodology of funding it through NLnet may prove optimal and a cost-effective use of EU funds, as NLnet would (as they do now) only draw the budget down as needed.
+In the case of the Participants, if we need "reserve" budgets for
+unforseen activities, we commit to following that exact same procedure
+and thus also shall meet the Objectives of this Call (examples include
+the MPW 8-core, above). We are aware that new technology beneficial to
+the project may not be currently apparent but will be available within
+the 36 months duration, and the methodology of funding it through NLnet
+may prove optimal and a cost-effective use of EU funds, as NLnet would
+(as they do now) only draw the budget down as needed.
### Target groups
-Due to our Open real time publishing of the Libre-SOC project, our work can be forked by anyone at any time as a starting point or as a building block for new projects, potentially taking the ideas and concepts in any direction. These can be individuals or teams and they can be academics or industrialists, the point being that if we trigger a step change in the technology everyone should be able to benefit.
+Due to our Open real time publishing of the Libre-SOC project, our work
+can be forked by anyone at any time as a starting point or as a building
+block for new projects, potentially taking the ideas and concepts in any
+direction. These can be individuals or teams and they can be academics
+or industrialists, the point being that if we trigger a step change in
+the technology everyone should be able to benefit.
This is in addition to our own commercialisation plans.
-Open Source methodology leads to Open standards which leads to Open understanding and rapid adoption of new ideas in academia and industry. The Eurocentric nature and benefit of the work should not be overlooked either.
+Open Source methodology leads to Open standards which leads to Open
+understanding and rapid adoption of new ideas in academia and industry.
+The Eurocentric nature and benefit of the work should not be overlooked
+either.
### Outcomes
-As the development chain includes elements of commercialisation, beyond the immediate benefit to similar projects by the enhancement of the Libre/Open Source tool chain and the educational uplift provided directly and by example to other groups and European businesses and Educational Establishments planning Software-to-Silicon projects, the most direct outcome will be the availability, as devices in the market through RED Semiconductor Ltd, of a new concept in supercomputing power that is also completely security auditable and transparent.
+As the development chain includes elements of commercialisation, beyond
+the immediate benefit to similar projects by the enhancement of the
+Libre/Open Source tool chain and the educational uplift provided directly
+and by example to other groups and European businesses and Educational
+Establishments planning Software-to-Silicon projects, the most direct
+outcome will be the availability, as devices in the market through RED
+Semiconductor Ltd, of a new concept in supercomputing power that is also
+completely security auditable and transparent.
-We are already aware of a commercial venture formed recently, who are aware and already benefiting from our work over the last three years to improve the Software-to-Silicon toolchain, that is now focusing on the finessing of the toolchain and its human interface to widen access to the methodology and IMEC are using our architectural test chip, currently in production, to validate and test their new cloud based chip design suite. The outcomes are already happening and are bound to magnify.
+We are already aware of a commercial venture formed recently, who are
+aware and already benefiting from our work over the last three years to
+improve the Software-to-Silicon toolchain, that is now focusing on the
+finessing of the toolchain and its human interface to widen access to the
+methodology and IMEC are using our architectural test chip, currently in
+production, to validate and test their new cloud based chip design suite.
+The outcomes are already happening and are bound to magnify.
### Impacts
-We believe the market demand for our step change in core architecture thinking is so great it will force the world's leading microprocessor companies to follow. The result will be a greater step change in the performance and security of computer hardware across the world.
+We believe the market demand for our step change in core architecture
+thinking is so great it will force the world's leading microprocessor
+companies to follow. The result will be a greater step change in the
+performance and security of computer hardware across the world.
-Additionally the confirmation of Silicon-proven Cell Libraries and a European-led functional Libre-Licensed VLSI toolchain in lower geometries will significantly reduce the cost of ASIC development for European businesses and reduce to zero the risk of critical dependence on non-Sovereign (geo-politically constrained) Commercial VLSI tools and Cell Libraries.
+Additionally the confirmation of Silicon-proven Cell Libraries and
+a European-led functional Libre-Licensed VLSI toolchain in lower
+geometries will significantly reduce the cost of ASIC development for
+European businesses and reduce to zero the risk of critical dependence
+on non-Sovereign (geo-politically constrained) Commercial VLSI tools
+and Cell Libraries.
# 3 Quality and efficiency of the implementation
-
-https://online.visual-paradigm.com/diagrams/tutorials/pert-chart-tutorial/
-
-
Work Packages:
8. Improve Coriolis2 for smaller geometries
9. VLSI Layout, Tape-outs and ASIC testing
10. Project Management
-11. HELIX GPS Application
+11. Helix GPS Application
# 3.1 Work plan and resources
+[[!img 2021-10-19_09-50.png size="550px" ]]
+
Tables for section 3.1
|8 |Coriolis2 |3 |3/SU |338 |1 |36 |
|9 |Layout |3 |3/SU |220 |8 |36 |
|10 |Mgmt, Fin, Legal |1 |RED |185 |1 |36 |
-|11 |HELIX GPS Cor. |6 |HELIX |248 |1 |36 |
+|11 |Helix GPS Cor. |6 |Helix |248 |1 |36 |
| | | |Total months |1512 | | |
## 1. NLnet
Objectives:
-To manage the people who put in supplementary (by timescale) proposals intended to support the core objectives of our proposal, ensuring that those proposals also honour and meet the objectives outlined in the original call:
+To manage the people who put in supplementary (by timescale) proposals
+intended to support the core objectives of our proposal, ensuring that
+those proposals also honour and meet the objectives outlined in the
+original call:
+
https://ec.europa.eu/info/funding-tenders/opportunities/portal/screen/opportunities/topic-details/horizon-cl4-2021-digital-emerging-01-01
-This will allow us to address and deploy new ideas and concepts not immediately available to us at the time of this submission, and have them properly vetted by an Organisation both familiar with our work, and already trusted by the EU to fulfil the same role for other EU Grants.
+This will allow us to address and deploy new ideas and concepts not
+immediately available to us at the time of this submission, and have
+them properly vetted by an Organisation both familiar with our work,
+and already trusted by the EU to fulfil the same role for other EU Grants.
Description of work:
-These descriptions effectively mirror the light-weight grant mechanism NLnet manages for the NGI research and development calls (EU Grants 825310 and 825322) and does not deviate from those pre-established procedures except to define the context of the work to be carried out by the Grant Recipient to fall within the criteria defined by this call (HORIZON-CL4-2021-DIGITAL-EMERGING-01-01) not those of the previous Grants
+These descriptions effectively mirror the light-weight grant mechanism
+NLnet manages for the NGI research and development calls (EU Grants
+825310 and 825322) and does not deviate from those pre-established
+procedures except to define the context of the work to be carried out
+by the Grant Recipient to fall within the criteria defined by this call
+(HORIZON-CL4-2021-DIGITAL-EMERGING-01-01) not those of the previous Grants
* To include on the NLnet website a dedicated Call for mini-grant (EUR 50,000) Proposals, meeting the criteria of this existing Call (HORIZON-CL4-2021-DIGITAL-EMERGING-01-01) where the wording shall be written by NLnet and approved by the EU.
Deliverables:
-Again these deliverables are no different from NLnet's existing deliverables to the EU under Grant Agreements 825310 and 825322
+Again these deliverables are no different from NLnet's existing
+deliverables to the EU under Grant Agreements 825310 and 825322
* 1.1. A functioning Call-for-Proposals on the NLnet website.
Objectives:
-To advance Draft SVP64 Standards, to work with the OpenPOWER Foundation ISA Working Group to comply with deliverable requirements as defined by the OPF ISA WG within their Request For Change (RFC) Process, and to deliver them.
+To advance Draft SVP64 Standards, to work with the OpenPOWER Foundation
+ISA Working Group to comply with deliverable requirements as defined
+by the OPF ISA WG within their Request For Change (RFC) Process, and to
+deliver them.
Description of work:
Deliverables:
-Note: some of these deliverables may not yet be determined due to the OpenPOWER Foundation having not yet finalised and published its procedures, having not yet completed their Legal Review. In addition, although we can advise and consult with them, it will be the OPF ISA WG who decides what final subdivisions of SVP64 are appropriate (not the Participants). This directly impacts and determines what the actual Deliverables will be: They will however fit the following template:
+Note: some of these deliverables may not yet be determined due to
+the OpenPOWER Foundation having not yet finalised and published its
+procedures, having not yet completed their Legal Review. In addition,
+although we can advise and consult with them, it will be the OPF ISA
+WG who decides what final subdivisions of SVP64 are appropriate (not
+the Participants). This directly impacts and determines what the actual
+Deliverables will be: They will however fit the following template:
* 2.1. Publish report on appropriate subdivisions of SVP64 subdivisions into multiple distinct OPF RFCs
Objectives:
-To advance the state-of-the-art in high-speed (near-real-time) hardware-cycle-accurate ISA Simulators to include the Power ISA and the SVP64 Draft Vector Extensions, and to create Test Suites and Compliance Test Suites with a view to aiding and assisting OpenPOWER Foundation Members including other European businesses and Academic Institutions to be able to check the interoperability and compliance of their Power ISA designs, and to have a stable base from which to accurately and cost-effectively test out experimental energy-efficient and performance advancements in computing, in close to real-time, before committing to actual Silicon.
+To advance the state-of-the-art in high-speed (near-real-time)
+hardware-cycle-accurate ISA Simulators to include the Power ISA and the
+SVP64 Draft Vector Extensions, and to create Test Suites and Compliance
+Test Suites with a view to aiding and assisting OpenPOWER Foundation
+Members including other European businesses and Academic Institutions
+to be able to check the interoperability and compliance of their Power
+ISA designs, and to have a stable base from which to accurately and
+cost-effectively test out experimental energy-efficient and performance
+advancements in computing, in close to real-time, before committing to
+actual Silicon.
Description of work:
Objectives:
-To create usable prototype compilers including the advanced Draft SVP64 Vector features suitable for programmers using C, C++ and other High-level Languages, and to provide the base for the 3D Vulkan Drivers (IR - Intermediate Representation). To advance the 3D Vulkan Drivers with Draft SVP64 support. To add support for SVP64 Vectors into low-level software such as libc6, u-boot, the Linux Kernel and other critical infrastructure necessary for general-purpose computing software development.
+To create usable prototype compilers including the advanced Draft SVP64
+Vector features suitable for programmers using C, C++ and other High-level
+Languages, and to provide the base for the 3D Vulkan Drivers (IR -
+Intermediate Representation). To advance the 3D Vulkan Drivers with Draft
+SVP64 support. To add support for SVP64 Vectors into low-level software
+such as libc6, u-boot, the Linux Kernel and other critical infrastructure
+necessary for general-purpose computing software development.
Description of work:
Objectives:
-To create progressively larger processor designs, implementing the Power ISA 3, augmented by Draft SVP64 Cray-style Vectors, in order to act as real-world test cases for coriolis2 VLSI.
+To create progressively larger processor designs, implementing the
+Power ISA 3, augmented by Draft SVP64 Cray-style Vectors, in order to
+act as real-world test cases for coriolis2 VLSI.
Description of work:
Objectives:
-To create a Electro-Magnetic "Signature" system that threads all the way through an ASIC VLSI layout that is sensitive to localised signal conditions, without adversely impacting the ASIC's behavioural integrity. For the "Signature" system to be sufficiently sensitive to change its output depending what program the ASIC is running at the time, in real time. To integrate the "threading" into the coriolis2 VLSI toolchain such that the "Signature" system's deployment is fully automatic. To demonstrate its successful functionality through a small (low-cost, large geometry) MPW test runs prior to deployment in the larger ASIC at lower geometries.
+To create a Electro-Magnetic "Signature" system that threads all the
+way through an ASIC VLSI layout that is sensitive to localised signal
+conditions, without adversely impacting the ASIC's behavioural integrity.
+For the "Signature" system to be sufficiently sensitive to change its
+output depending what program the ASIC is running at the time, in real
+time. To integrate the "threading" into the coriolis2 VLSI toolchain
+such that the "Signature" system's deployment is fully automatic.
+To demonstrate its successful functionality through a small (low-cost,
+large geometry) MPW test runs prior to deployment in the larger ASIC at
+lower geometries.
Description of work:
Objectives:
-To create, simulate, and test in actual silicon the low-level Cell Libraries in multiple geometries needed for advancing Libre/Open VLSI, using this proposals' other Work Packages as a test and proving platform, with a view to significantly reducing the cost for European Businesses in the creation of ASICs, for European Businesses and Academic Institutions to be able to publish the results of Security Research in full without impediment of Foundry NDAs, and to aid and assist in meeting the Digital Sovereignty Objectives outlined in EPRS PE 651,992 of July 2020.
+To create, simulate, and test in actual silicon the low-level Cell
+Libraries in multiple geometries needed for advancing Libre/Open VLSI,
+using this proposals' other Work Packages as a test and proving platform,
+with a view to significantly reducing the cost for European Businesses in
+the creation of ASICs, for European Businesses and Academic Institutions
+to be able to publish the results of Security Research in full without
+impediment of Foundry NDAs, and to aid and assist in meeting the Digital
+Sovereignty Objectives outlined in EPRS PE 651,992 of July 2020.
Description of work:
-Please Note: Work Packages 7, 8 and 9 are highly interdependent and will cross fertilise their results in an iterative manner as the design complexity increases, starting from smaller rapid-prototype test ASIC layouts and progressing to full designs.
+Please Note: Work Packages 7, 8 and 9 are highly interdependent and
+will cross fertilise their results in an iterative manner as the design
+complexity increases, starting from smaller rapid-prototype test ASIC
+layouts and progressing to full designs.
* Analog PLL, ADC and DAC Cells
Objectives:
-To improve coriolis2 for lower geometries (to be decided on evaluation) such that it performs 100% DRC-clean (Design Rule Check) GDS-II files at the chosen geometry for the chosen Foundry, for each ASIC.
+To improve coriolis2 for lower geometries (to be decided on evaluation)
+such that it performs 100% DRC-clean (Design Rule Check) GDS-II files
+at the chosen geometry for the chosen Foundry, for each ASIC.
-Note: Commercial "DRC" will confirm that the GDS-II layout meets timing, electrical characteristics, ESD, spacing between tracks, sizes of vias etc. and confirms that the layout will not damage the Foundry's equipment during Manufacture.
+Note: Commercial "DRC" will confirm that the GDS-II layout meets timing,
+electrical characteristics, ESD, spacing between tracks, sizes of vias
+etc. and confirms that the layout will not damage the Foundry's equipment
+during Manufacture.
Description of work:
-Please Note: Work Packages 7, 8 and 9 are highly interdependent and will cross fertilise their results in an iterative manner as the design complexity increases, starting from smaller rapid-prototype test ASIC layouts and progressing to full designs.
+Please Note: Work Packages 7, 8 and 9 are highly interdependent and
+will cross fertilise their results in an iterative manner as the design
+complexity increases, starting from smaller rapid-prototype test ASIC
+layouts and progressing to full designs.
* The main focus (absolute priority) should be put on timing closure
Deliverables:
-The key deliverables are measured by the successful passing of DRC (Design Rule Checks) against Commercial VLSI tools (Mentor, Synopsis), and is so critically inter-dependent on all components working 100% together that there can only be one deliverable, here, per ASIC Layout. Completion of sub- and sub-sub-tasks shall however be recorded in an easily-auditable Standard Libre/Open Task Tracking Database (gitlab, bugzilla) and appropriate structured progress reports created. As is the case with all Libre/Open Projects, "continuous" delivery is inherent through the ongoing publication of all source code in real-time. Full delivery is expected around 30 months.
+The key deliverables are measured by the successful passing of DRC
+(Design Rule Checks) against Commercial VLSI tools (Mentor, Synopsis), and
+is so critically inter-dependent on all components working 100% together
+that there can only be one deliverable, here, per ASIC Layout. Completion
+of sub- and sub-sub-tasks shall however be recorded in an easily-auditable
+Standard Libre/Open Task Tracking Database (gitlab, bugzilla) and
+appropriate structured progress reports created. As is the case with
+all Libre/Open Projects, "continuous" delivery is inherent through the
+ongoing publication of all source code in real-time. Full delivery is
+expected around 30 months.
* 8.1. Coriolis2 VLSI improvements
Objectives:
-To create 100% DRC-clean VLSI Layouts, to perform the necessary Validation of HDL as to its correctness at the transistor level, to submit them for MPW Shuttle Runs at the appropriate geometry through IMEC, and to test the resultant ASICs. This to confirm that the advancements to the entire coriolis2 VLSI Toolchain is in fact capable of correctly producing ASICs at both smaller geometries than it can already do, and at much larger sizes than it can already handle. To publish reports that serve to inform European Businesses and Academic Institutions of the results such that, if successful, those Businesses will potentially save hugely on the cost of development of ASICs, and the dependence on geo-political commercial tools is mitigated and the EU's Digital Sovereignty Objectives met.
+To create 100% DRC-clean VLSI Layouts, to perform the necessary
+Validation of HDL as to its correctness at the transistor level, to
+submit them for MPW Shuttle Runs at the appropriate geometry through IMEC,
+and to test the resultant ASICs. This to confirm that the advancements
+to the entire coriolis2 VLSI Toolchain is in fact capable of correctly
+producing ASICs at both smaller geometries than it can already do,
+and at much larger sizes than it can already handle. To publish reports
+that serve to inform European Businesses and Academic Institutions of
+the results such that, if successful, those Businesses will potentially
+save hugely on the cost of development of ASICs, and the dependence
+on geo-political commercial tools is mitigated and the EU's Digital
+Sovereignty Objectives met.
Description of work:
-Please Note: Work Packages 7, 8 and 9 are highly interdependent and will cross fertilise their results in an iterative manner as the design complexity increases, starting from smaller rapid-prototype test ASIC layouts and progressing to full designs.
+Please Note: Work Packages 7, 8 and 9 are highly interdependent and
+will cross fertilise their results in an iterative manner as the design
+complexity increases, starting from smaller rapid-prototype test ASIC
+layouts and progressing to full designs.
* To create VLSI Layouts using Libre-SOC HDL
Description of work:
-With a multi discipline project across five organisations it is essential that there is management and direction, as well as adequate training of new individuals introduced within each team. Each individual organisation will be responsible for their own activities with a central focus being maintained by RED Semiconductor Ltd and Libre-SOC jointly.
+With a multi discipline project across five organisations it is
+essential that there is management and direction, as well as adequate
+training of new individuals introduced within each team. Each individual
+organisation will be responsible for their own activities with a central
+focus being maintained by RED Semiconductor Ltd and Libre-SOC jointly.
Deliverables:
|Work Package Number |11 |
| ---- | -------- |
-|Lead beneficiary |HELIX |
+|Lead beneficiary |Helix |
|Title | |
|Participant Number |1 |6 | |
-|Short name of participant |RED |HELIX | |
+|Short name of participant |RED |Helix | |
|Person months per participant |136 |112 | |
|Start month |1 |
|End month |36 |
To focus the Libre-SOC 2-core ASIC onto a real-word customer
requirement: GPS. To integrate both an FPGA as an early prototype and
-the final ASIC into a Demonstrator connecting to HELIX's high-accuracy
+the final ASIC into a Demonstrator connecting to Helix's high-accuracy
GPS Antenna Arrays. To confirm functionality, and confirm energy savings
(performance/watt) compared to other solutions.
Description of work:
-1. Scoping Report by HELIX to research a Technical Architecture and the full Mathematical Requirements
-2. Creating from Scoping an agreed definition of the GPS ASIC requirement, by HELIX, to be given to Libre-SOC and RED.
+1. Scoping Report by Helix to research a Technical Architecture and the full Mathematical Requirements
+2. Creating from Scoping an agreed definition of the GPS ASIC requirement, by Helix, to be given to Libre-SOC and RED.
3. Software, Hardware, Documentation, FPGA Prototypes, Test and QA for the Libre-SOC 2-core to be focussed on GPS as a real-word customer Application.
4. Software Development and Hardware compatibility design through the GPS Antenna Arrays, and testing to confirm functionality in both FPGA and ASIC. To confirm reduction in performance/watt of the ASIC.
5. Reporting
|9.2 |2-core GDS-II |9 |3/SU |OTHER|PU |26 |
|9.4 |Academic Papers |9 |3/SU |R |PU |36 |
|10.2 |Reporting |10 |1/RED |R |PU |12/24/36 |
-|11.2 |Requirements |11 |6/HELIX |R |PU |12 |
-|11.5 |Reporting |11 |6/HELIX |R |PU |12/24/36 |
+|11.2 |Requirements |11 |6/Helix |R |PU |12 |
+|11.5 |Reporting |11 |6/Helix |R |PU |12/24/36 |
## Table 3.1d: List of milestones
+List of Milestones:
|M/stone #|Milestone name |WP# |Due date |Means of verification |
|------ | ------ | ----- | ------ | ------ |
|3.1 |cavatools/SVP64 |3 |12 |Deliverable 3.5 (Compliance tests) |
|4.2 |compilers |4 |24 |Deliverable 4.3 (software tests) |
|5.3 |Libre-SOC Core |5 |18 |Deliverable 5.5 (HDL Validation) |
-|6.2 |Signature Cells |6 |12 |Deliverable 6.3 / 6.5(SPICE, ASIC) |
-|7.1 |Cell designs |7 |12 |Deliverable 7.2 / 7.3 (SPICE, ASIC) |
+|6.2 |Signature Cells |6 |12 |Deliverables 6.3 / 6.5(SPICE, ASIC) |
+|7.1 |Cell designs |7 |12 |Deliverables 7.2 / 7.3 (SPICE, ASIC) |
|8.1 |coriolis2 |8 |18 |Deliverables 8.2-8.4 |
|9.1 |coriolis2 ongoing|9 |12 |Deliverables 9.2-9.3 (ASICs) |
|6.7 |Academic report |6 |36 |self-verifying (peer review) |
## Table 3.1e: Critical risks for implementation
-Risk level: (i) likelihood L/M/H,(ii) severity: Low/Medium/High
+Risk level: (i) likelihood L/M/H, (ii) severity: Low/Medium/High
|Description of risk |Wp# |Proposed risk-mitigation measures |
## Table 3.1f: Summary of staff effort
-|Part#/name |Wp1 |Wp2 |Wp3 |Wp4 |Wp5 |Wp6 |Wp7 |Wp8 |Wp9 |Wp10 |Wp11 |Total |
-|------------- |----- |----- |----- |----- |----- |----- |----- |----- |----- |----- |----- |----- |
-|1/RED | | |32 |20 |94 |25 |63 |98 |62 |116 |136 |598 |
-|2/Libre-SOC | |21 |32 |12 |72 |13 |13 |128 |94 |15 | |230 |
-|3/SU | | | | |27 |26 |33 |112 |64 |12 | |273 |
-|4/CNRS | | | | | |24 | | | | | |237 |
-|5/NLnet |18 | | | | | | | | |42 | |60 |
-|6/Helix | | | | | | | | | | |112 |112 |
-|Totals |18 |21 |64 |32 |193 |84 |109 |338 |220 |185 |248 |1512 |
+|Part#/name |Wp1 |Wp2 |Wp3 |Wp4 |Wp5 |Wp6 |Wp7 |Wp8 |Wp9 |Wp10 |Wp11 |Total |
+|------------- |----- |----- |----- |----- |----- |----- |----- |----- |----- |----- |----- |----- |
+|1/RED | | |32 |20 |94 |25 |63 |98 |62 |116 |136 |646 |
+|2/Libre-SOC | |21 |32 |12 |72 |13 |13 |128 |94 |15 | |400 |
+|3/SU | | | | |27 |35 |33 |112 |64 |12 | |283 |
+|4/CNRS | | | | | |11 | | | | | |11 |
+|5/NLnet |18 | | | | | | | | |42 | |60 |
+|6/Helix | | | | | | | | | | |112 |112 |
+|Totals |18 |21 |64 |32 |193 |84 |109 |338 |220 |185 |248 |1512 |
## 3.1g Subcontracting
+These are the subcontracting costs for the participants
### Table 3.1g: 1/RED ‘Subcontracting costs’ items
-
-|Cost EUR |description and justification |
-| ----- | ------ |
-|60000 |feasibility and scope studies for compilers |
-|1500000 |gcc compiler (1) |
-|1500000 |llvm compiler (1) |
-|500000 |Kazan Vulkan 3D compiler (1) |
-|500000 |MESA 3D Vulkan compiler (1) |
-|400000 |libc6, u-boot, linux kernel software (1) |
-|50000 |smaller (180/130 nm) ASIC MPWs (IMEC) (2) |
-|280000 |larger (low geometry) ASIC MPWs (IMEC) (2) |
-|4790000 | total |
+|Cost EUR |description and justification |
+| ----- | ------ |
+|60000 |feasibility and scope studies for compilers |
+|1500000 |gcc compiler (1) |
+|1500000 |llvm compiler (1) |
+|500000 |Kazan Vulkan 3D compiler (1) |
+|500000 |MESA 3D Vulkan compiler (1) |
+|400000 |libc6, u-boot, linux kernel software (1) |
+|50000 |smaller (180/130 nm) ASIC MPWs (IMEC) (2) |
+|280000 |larger (low geometry) ASIC MPWs (IMEC) (2) |
+|4790000 | total |
(1) These software and compiler costs are to develop extremely specialist
software, where it is Industry-standard normal to spend EUR 25 million
to achieve TRL (9). Contracting of an extremely small pool of specialist
Companies (Embecosm Gmbh, Vrull.EU) is therefore Industry-standard normal
-practice.
+practice. All of the Compiler / Software Contracting shall be with
+Companies that are part of the European Union.
(2) IMEC is one of Europe's leading Sub-contractors for ASIC MPW Shuttle
runs, and they handle the NDA relationships with Foundries that are almost
## Purchase costs
+These are the purchasing costs for the participants
### Table 3.1h: 1/RED Purchase Costs
| |Cost EUR |Justification |
| ------ | ----- | ------ |
|travel / subst |48000 |3yr World-wide travel to conferences/meetings/interviews |
-|equipment |140000 |High-end Servers for Layouts, High-end FPGAs for testing |
+|equipment |240000 |High-end Servers for Layouts, High-end FPGAs for testing, Jigs |
|Other/Good/work/Svc. |90000 |Legal/Accountancy/Insurance +prof. business services |
|remaining purch. cst. | | |
-|Total |278000 | |
+|Total |378000 | |
### Table 3.1h: 2/Libre-SOC Purchase costs
|equipment |100000 |High-end Servers for Layouts, Simulations |
|Other/Good/work/Svc. |10500 |Office Administration |
|remaining purch. cst. | | |
-|Total | | |
+|Total |110500 | |
### Table 3.1h: 5/NLnet
but are yet to be identified, they are a fundamental sounding board that
will be invaluable to the project moving forward.
+Helix develops antennas and electronic systems for PNT (Position,
+Navigation, Timing) applications. Markets include defence/security,
+asset tracking, autonomous systems/vehicles/drones/robotics, critical
+infrastructure (network sync – 5G, V2X, etc), fintech (blockchain
+timestamping) and many other industrial applications.
+
+Helix solutions defend against the vulnerabilities and threats to
+global dependency on GNSS (Global Navigation Satellite Systems), where
+disruption to services would cost the world’s major economies £10s
+of Billions every single day. Our patented technology enables filtering
+antennas to mitigate multi-path, RF and electrical interference and
+reduce the impact of jamming and spoofing, meaning that the receiver
+electronics becomes a streamlined high performance, low-power/low-cost
+correlator/processor to deliver highly accurate and resilience x,y,z
+and time data as its output. We are developing sophisticated anti-
+jamming/spoofing hardware that uses targeted nulling to ignore jamming,
+and enable system-level resilience. This capability can be co-designed
+with the receiver chipset for ultimate resilience.
+
Regarding the extreme high-end computing resources necessary to complete
the exceptionally-demanding task of VLSI development and Layout, we
find that high-end modern laptops and desktop computers (with 64 to
out of their way to regularly advise us on how to go about a successful
RFC Process for SVP64, and we deeply appreciate their support.
-HELIX Technology's involvement, as a potential customer and potential
+Helix Technology's involvement, as a potential customer and potential
user of the Libre-SOC technology, will give focus to the deliverable of
the project. They have world-leading expertise in Antenna Technology,
and in the mathematics behind the Signal Processing required for
projects / libreriscv.git / blobdiff