يعرض 1 - 10 نتائج من 20 نتيجة بحث عن '"M. V. Achutha"', وقت الاستعلام: 0.95s تنقيح النتائج
  1. 1
    تقرير
    RTL2RTL Formal Equivalence: Boosting the Design Confidence

    المؤلفون: Kumar, M V Achutha Kiran, Gupta, Aarti, Bindumadhava, S S

    المصدر: EPTCS 156, 2014, pp. 29-44

    مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Hardware Architecture

    URL الوصول: http://arxiv.org/abs/1407.6342

    أضف إلى المفضلة
  2. 2
    كتاب إلكتروني
    Formally Verifying Graphics FPU : An Intel® Experience

    المؤلفون: Gupta, AartiAff18, KiranKumar, M. V. AchuthaAff18, Ghughal, RajnishAff18

    المساهمون: Hutchison, David, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Kobsa, Alfred, editorAff5, Mattern, Friedemann, editorAff6, Mitchell, John C., editorAff7, Naor, Moni, editorAff8, Nierstrasz, Oscar, editorAff9, Pandu Rangan, C., editorAff10, Steffen, Bernhard, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Weikum, Gerhard, editorAff14, Jones, Cliff, editorAff15, Pihlajasaari, Pekka, editorAff16, Sun, Jun, editorAff17

    المصدر: FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. 8442:673-687

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    Development and integration of laser sensor tracking system in robotic arm for path correction during welding operation

    المؤلفون: Tejaswini P., M. V. Achutha, Ananda Doddagatte

    مصطلحات موضوعية: Motoman robot, User interface application for setting parameters, Seam tracking laser sensor, Building and Construction, Electrical and Electronic Engineering, Robot controller [YRC1000 GP8], Motoplus application

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b152e1314e3dcef357380d80aeefea3
    https://zenodo.org/record/6982599

    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    RTL2RTL Formal Equivalence: Boosting the Design Confidence

    المؤلفون: M V Achutha Kiran Kumar, Aarti Gupta, S S Bindumadhava

    المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 156, Iss Proc. FSFMA 2014, Pp 29-44 (2014)

    مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

    وصف الملف: electronic resource

    Relation: http://arxiv.org/pdf/1407.6342v1; https://doaj.org/toc/2075-2180

    URL الوصول: https://doaj.org/article/1c14105438234927a986bbd2c200b55d

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    كتاب إلكتروني
    Formal Verification : An Essential Toolkit for Modern VLSI Design

    المؤلفون: Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar

    نوع المادة: eBook.

    الموضوعات: Verilog (Computer hardware description language), Integrated circuits--Very large scale integration--Design and construction, Electronic circuits--Testing

    تصنيفات: COMPUTERS / Programming / General, COMPUTERS / Hardware / Chips & Processors, COMPUTERS / Computer Engineering, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Electronics / Microelectronics, TECHNOLOGY & ENGINEERING / Industrial Design / Product

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    كتاب إلكتروني
    Formal Verification : An Essential Toolkit for Modern VLSI Design

    المؤلفون: Erik Seligman, Tom Schubert, M. V. Achutha Kiran Kumar

    نوع المادة: eBook.

    الموضوعات: Electronic circuits--Testing, Integrated circuits--Very large scale integration--Design and construction, Verilog (Computer hardware description language)

    تصنيفات: COMPUTERS / Programming / General

    View record from ScienceDirect Find this book with full text from ScienceDirect Full Text Finder
    أضف إلى المفضلة
  7. 7
    Basic formal verification algorithms

    المؤلفون: Tom Schubert, M V Achutha Kiran Kumar, Erik Seligman

    مصطلحات موضوعية: Model checking, symbols.namesake, Computer science, And-inverter graph, Truth table, symbols, Boolean satisfiability problem, Data structure, Formal verification, Algorithm, Satisfiability, Boolean algebra

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2cb1d0938955d95045fde1c3f264163a
    https://doi.org/10.1016/b978-0-12-800727-3.00002-2

    أضف إلى المفضلة
  8. 8
    FPV 'Apps' for specific SOC problems

    المؤلفون: Tom Schubert, M V Achutha Kiran Kumar, Erik Seligman

    مصطلحات موضوعية: Focus (computing), Cover (telecommunications), business.industry, Computer science, media_common.quotation_subject, Design flow, Full coverage, Mathematical proof, Silicon debug, Debugging, Control register, Embedded system, business, Software engineering, media_common

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::da13f5772de0adbef746229a9782a944
    https://doi.org/10.1016/b978-0-12-800727-3.00007-1

    أضف إلى المفضلة
  9. 9
    Effective FPV for verification

    المؤلفون: Tom Schubert, M V Achutha Kiran Kumar, Erik Seligman

    مصطلحات موضوعية: Arithmetic logic unit, Corner case, Process (engineering), Programming language, Computer science, Plan (drawing), computer.software_genre, Algorithm, Parallels, computer

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b0ae0bc7701da482d4908cec03830faf
    https://doi.org/10.1016/b978-0-12-800727-3.00006-x

    أضف إلى المفضلة
  10. 10
    Introduction to systemverilog assertions

    المؤلفون: M V Achutha Kiran Kumar, Tom Schubert, Erik Seligman

    مصطلحات موضوعية: Sequence, Property (philosophy), Computer science, Simple (abstract algebra), Programming language, Assertion, Verilog, Arbiter, SystemVerilog, computer.software_genre, computer, Axiom, computer.programming_language

    URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8118201c640c097d3e7ddac3d0e41b3d
    https://doi.org/10.1016/b978-0-12-800727-3.00003-4

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء