Proceedings of the Institute for System Programming of the RAS
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS


Proceedings of ISP RAS:
Year:
Volume:
Issue:
Page:
Find




Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register

Proceedings of the Institute for System Programming of the RAS, 2022, Volume 34, Issue 5, Pages 23–42
DOI: https://doi.org/10.15514/ISPRAS-2022-34(5)-2 (Mi tisp719) 		 
The practice and prospects of using open and proprietary software solutions in the verification route of SoC

A. V. Garashchenkoab, D. S. Lashinaca, S. A. Nikitinba, A. V. Nikolaeva, E. A. Prokopevab, F. M. Putryaa, B. N. Tsyrenzhapovab

a ELVEES Research and Development Center
b National Research University of Electronic Technology
c National Engineering Physics Institute "MEPhI"
Full-text PDF (501 kB)
DOI: https://doi.org/10.15514/ISPRAS-2022-34(5)-2
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.
Keywords: functional verification, verification route, SoC, system-on-a-chip, automation tools, ECAD, EDA, open source software, free software
Document Type: Article
Language: Russian
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
Citation in format AMSBIB
\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
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Proceedings of the Institute for System Programming of the RAS
    Statistics & downloads:
    Abstract page:28
    Full-text PDF :13
     
      Contact us:
    		  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024