Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

ABC: System for Sequential Logic Synthesis and Formal Verification

江介宏老師的“邏輯合成驗證”作業與專題(LSV)