Abstract:
This article discusses the experience and evaluates the capability of using free, open and internal proprietary EDA tools in the billon gates SoC verification flow initially based on the commercial EDA of the “Big 3”. Article suggests an approach to assessing the suitability of a particular EDA tools for a certain stage of the verification flow based on a formal stage description and requirements for the tool. It presents our internal tools implemented in the company, which are used as an alternative to commercial tools or as unique solutions. Based on the proposed approach, the analysis of the existing automation tools from the point of view of the applicability in the SoC verification flow was carried out.
Citation:
A. V. Garashchenko, D. S. Lashina, S. A. Nikitin, A. V. Nikolaev, E. A. Prokopev, F. M. Putrya, B. N. Tsyrenzhapov, “The practice and prospects of using open and proprietary software solutions in the verification route of SoC”, Proceedings of ISP RAS, 34:5 (2022), 23–42
\Bibitem{GarLasNik22}
\by A.~V.~Garashchenko, D.~S.~Lashina, S.~A.~Nikitin, A.~V.~Nikolaev, E.~A.~Prokopev, F.~M.~Putrya, B.~N.~Tsyrenzhapov
\paper The practice and prospects of using open and proprietary software solutions in the verification route of SoC
\jour Proceedings of ISP RAS
\yr 2022
\vol 34
\issue 5
\pages 23--42
\mathnet{http://mi.mathnet.ru/tisp719}
\crossref{https://doi.org/10.15514/ISPRAS-2022-34(5)-2}
Linking options:
https://www.mathnet.ru/eng/tisp719
https://www.mathnet.ru/eng/tisp/v34/i5/p23
This publication is cited in the following 1 articles:
Citation in format AMSBIB
Contact us: