We present the SiEPIC openEBL platform, an open-access, remote silicon photonic design-fabrication-testing workflow enabled by open-source process design kits (PDKs), electronic design automation (EDA ...

Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This ...