Listar por tema "Equivalence checking"
Mostrando ítems 1-2 de 2
-
Automated design flow for applying triple modular redundancy in complex semi-custom digital integrated circuits
(2018) [Tesis de maestría]Radiation effects have been one of the most serious issues in military and space applications. But they are also an increasing concern in modern technologies, even for commercial applications at the ground level. Protection ... -
Parallel algorithms for scalable logic synthesis & verification
(2019) [Tesis]The design of digital integrated circuits relies on gradually compiling a circuit specified by hardware description language into its physical implementation layout. Such a design flow is strongly dependent of a tool chain ...