Menu
▾
▴
Home
Welcome to Controlix!
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.