Recent changes to Home

Home modified by Jon Taylor

Jon Taylor — Wed, 28 Aug 2019 11:33:30 -0000

--- v113
+++ v114
@@ -2,7 +2,7 @@

 Controlix is an RTL-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS code, the code will be capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

-[External Links]
+[External links]
 [FAQ]

 [[project_admins]]

Home modified by Jon Taylor

Jon Taylor — Wed, 28 Aug 2019 11:32:47 -0000

--- v112
+++ v113
@@ -2,6 +2,8 @@

 Controlix is an RTL-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS code, the code will be capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

-[[External Links]]
+[External Links]
+[FAQ]
+
 [[project_admins]]
 [[download_button]]

Home modified by Jon Taylor

Jon Taylor — Wed, 28 Aug 2019 11:32:16 -0000

--- v111
+++ v112
@@ -2,5 +2,6 @@

 Controlix is an RTL-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS code, the code will be capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

+[[External Links]]
 [[project_admins]]
 [[download_button]]

Home modified by Jon Taylor

Jon Taylor — Sun, 07 Jul 2019 22:25:30 -0000

--- v110
+++ v111
@@ -1,6 +1,6 @@
 Welcome to Controlix!

-Controlix is an RTL-on-[virtual circuit]-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS and VC code, the code will be capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.
+Controlix is an RTL-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS code, the code will be capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

 [[project_admins]]
 [[download_button]]

Home modified by Jon Taylor

Jon Taylor — Mon, 29 Apr 2019 15:30:16 -0000

--- v109
+++ v110
@@ -1,6 +1,6 @@
 Welcome to Controlix!

-Controlix is an RTL-on-[virtual circuit]-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS, C/C++ libraries and the SystemC simulation library, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.
+Controlix is an RTL-on-[virtual circuit]-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS and VC code, the code will be capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

 [[project_admins]]
 [[download_button]]

Home modified by Jon Taylor

Jon Taylor — Sun, 28 Apr 2019 01:14:30 -0000

--- v108
+++ v109
@@ -1,6 +1,6 @@
 Welcome to Controlix!

-Controlix is an RTL-on-[Virtual Circuit]-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS, C/C++ libraries and the SystemC simulation library, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.
+Controlix is an RTL-on-[virtual circuit]-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS, C/C++ libraries and the SystemC simulation library, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

 [[project_admins]]
 [[download_button]]

Home modified by Jon Taylor

Jon Taylor — Sun, 28 Apr 2019 01:13:50 -0000

--- v107
+++ v108
@@ -1,6 +1,6 @@
 Welcome to Controlix!

-Controlix is an RTL-on-[Virtual-Circuit]-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS, C/C++ libraries and the SystemC simulation library, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.
+Controlix is an RTL-on-[Virtual Circuit]-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS, C/C++ libraries and the SystemC simulation library, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

 [[project_admins]]
 [[download_button]]

Home modified by Jon Taylor

Jon Taylor — Sun, 28 Apr 2019 01:12:57 -0000

--- v106
+++ v107
@@ -1,6 +1,6 @@
 Welcome to Controlix!

-Controlix is an RTL-on-Virtual-Cirtcuit-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS, C/C++ libraries and the SystemC simulation library, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.
+Controlix is an RTL-on-[Virtual-Circuit]-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS, C/C++ libraries and the SystemC simulation library, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

 [[project_admins]]
 [[download_button]]

Home modified by Jon Taylor

Jon Taylor — Sat, 27 Apr 2019 19:47:55 -0000

--- v105
+++ v106
@@ -1,18 +1,6 @@
 Welcome to Controlix!

-Controlix is a virtual circuit based operating system kernel based on hardware design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls and the interconnect bus written in VHDL, and a software layout of the new RTL-on-RTOS based design which builds but is untested.
-
-Controlix is written in the SystemC language - a combination of the traditional C/C++ language used for systems programming everywhere and a set of dataflow abstractions.  SystemC allows systems designers to retain their existing skillsets in C/C++ programming, while simultaneously transitioning into abstract dataflow-parallel programming.  It will allow for an operating system which is testably secure, transparently and implicitly multithreaded, and backwards-compatible with the existing base of C-language systems code in the field today.
-
-While the basic element of the OS are written in SystemC, by leveraging the capabilities of the Icarus compiler any Icarus-supported RTL should be capable (in principle at least) of being compilable to SystemC and therefore runnable and integratable with the basic controlix OS infrastructure.  Controlix will be released out of alpha stage development with a runtime-pluggable Icarus extension module which will provide a transcompiling back-end which will output SystemC code, allowing any of the Icarus front-end supported languages (currently SystemVerilog and VHDL) to integrate with the core SystemC code of the controlix OS system.
-
-Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for some small trampoline code in a set of native binary objects, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction, and, if run with the RTOS system target, the overall broadside exposed to bug exploitation should decrease to almost nothing compared to any type of OS design out there.
-
-Links with more detail:
-
-[FAQ]
-
-[External links]
+Controlix is an RTL-on-Virtual-Cirtcuit-based operating system kernel based on integrated circuit design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls written in VHDL, and a software layout of the new simulator-on-RTOS based design.  Being based on RTL and simulation, Controlix will make extensive use of testbenching and formal verification.  Except for the underlying RTOS, C/C++ libraries and the SystemC simulation library, the code is capable of being fully testbenched "through" at the bit-and-cycle level of abstraction and the overall broadside exposed to bug exploitation should decrease quite a bit compared to almost any current type of OS design.

 [[project_admins]]
 [[download_button]]

Home modified by Jon Taylor

Jon Taylor — Thu, 28 Mar 2019 22:28:25 -0000

--- v104
+++ v105
@@ -1,6 +1,6 @@
 Welcome to Controlix!

-Controlix is a virtual circuit based operating system kernel based on hardware design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls and the interconnect bus written in VHDL, and a software layout of the new SpecC-on-RTOS based design which builds but is untested.
+Controlix is a virtual circuit based operating system kernel based on hardware design principles.  The project as a whole is in pre-alpha stage and much of it is still based in design rather than implementation, but there is a small proof-of-concept implementation of controls and the interconnect bus written in VHDL, and a software layout of the new RTL-on-RTOS based design which builds but is untested.

 Controlix is written in the SystemC language - a combination of the traditional C/C++ language used for systems programming everywhere and a set of dataflow abstractions.  SystemC allows systems designers to retain their existing skillsets in C/C++ programming, while simultaneously transitioning into abstract dataflow-parallel programming.  It will allow for an operating system which is testably secure, transparently and implicitly multithreaded, and backwards-compatible with the existing base of C-language systems code in the field today.