On using ABC for deriving distinguishing sequences for Verilog-descriptions
| Parent link: | East-West Design and Test Symposium (EWDTS), 2015 IEEE: proceedings, Batumi, Georgia, September 26 – 29, 2015. [4 р.].— , 2016 |
|---|---|
| Institution som forfatter: | |
| Andre forfattere: | , , , |
| Summary: | Title screen In this paper, we discuss how a software ABC can be effectively used to derive distinguishing sequences for Verilog-descriptions. A set of these sequences can serve as a test suite for a digital device that is designed based on the corresponding Verilog-description using the FPGA technology. The paper contains a methodology for such test derivation technique, as well as technical details about the use of the tool and necessary commands. ABC can be easily downloaded from its official web site, and an interested reader can always repeat these experiments or apply this technology for more serious industrial need. Режим доступа: по договору с организацией-держателем ресурса |
| Udgivet: |
2016
|
| Fag: | |
| Online adgang: | http://dx.doi.org/10.1109/EWDTS.2015.7493150 |
| Format: | Electronisk Bog |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=651219 |
Lignende værker
MICASE - description and use in the language learning process
af: Демидова О. М. Ольга Михайловна
Udgivet: (2019)
af: Демидова О. М. Ольга Михайловна
Udgivet: (2019)
Automatic derivation of kinematic equations for robotic manipulators on the bases of formalized description of their kinematic chains
af: Yakovlev A. S.
Udgivet: (2014)
af: Yakovlev A. S.
Udgivet: (2014)
On properly convergent numerical sequences
af: Sukhotin A. M. Aleksandr Mikhailovich
Udgivet: (2004)
af: Sukhotin A. M. Aleksandr Mikhailovich
Udgivet: (2004)
SystemVerilog For Design. A Guide to Using System Verilog for Hardware Design and Modeling
af: Sutherland S. Stuart
Udgivet: (New York, Springer, 2006)
af: Sutherland S. Stuart
Udgivet: (New York, Springer, 2006)
Business process description using BPMN and BPEL4People
af: Nguyen Hoang Trinh
Udgivet: (2009)
af: Nguyen Hoang Trinh
Udgivet: (2009)
Description of heavy exotic resonances as molecular states using phenomenological Lagrangians
af: Dong Yu. Yubing
Udgivet: (2017)
af: Dong Yu. Yubing
Udgivet: (2017)
An ABC
af: Chaucer G.
Udgivet: (Санкт-Петербург, Лань, 2013)
af: Chaucer G.
Udgivet: (Санкт-Петербург, Лань, 2013)
Limits of Sequences and Functions textbook
af: Konev V. V. Valeriy Vasilevich
Udgivet: (Tomsk, TPU Publishing House, 2020)
af: Konev V. V. Valeriy Vasilevich
Udgivet: (Tomsk, TPU Publishing House, 2020)
Problems in the thermodynamic description of real crystals
af: Panin V. E. Viktor Evgenyevich
Udgivet: (1982)
af: Panin V. E. Viktor Evgenyevich
Udgivet: (1982)
Distinguishing features and constraints of ambient media technologies
af: Lyubavina A. G.
Udgivet: (2014)
af: Lyubavina A. G.
Udgivet: (2014)
Сравнительный анализ программных систем ABC-оценки затрат процессов
af: Зиборова О. С.
Udgivet: (2013)
af: Зиборова О. С.
Udgivet: (2013)
Structural descriptions framework of onboard repeaters schemas
Udgivet: (2015)
Udgivet: (2015)
Use of a Spline Function of a Fractional Degree for the Description of the Base Line in the Determination of Platinum by Stripping Voltammetry
af: Romanenko S. V. Sergey Vladimirovich
Udgivet: (2001)
af: Romanenko S. V. Sergey Vladimirovich
Udgivet: (2001)
On minimal coupling of the ABC superparticle to supergravity background
af: Galajinsky A. V. Anton Vladimirovich
Udgivet: (1999)
af: Galajinsky A. V. Anton Vladimirovich
Udgivet: (1999)
Role of the ρ meson in the description of pion electroproduction experiments
Udgivet: (2007)
Udgivet: (2007)
Electrochemical characterization and voltammetric determination of benzoyl derivatives of phenobarbital using glassy carbon electrode
Udgivet: (2019)
Udgivet: (2019)
Polymers based on norbornene derivatives
Udgivet: (2015)
Udgivet: (2015)
Distinguishing between old and modern permafrost sources in the northeast Siberian land-shelf system with compound-specific δ2H analysis
Udgivet: (2017)
Udgivet: (2017)
Effect of the Nucleon-Density Distribution on the Description of Nuclear Decay
Udgivet: (2020)
Udgivet: (2020)
Facies and sedimentation model of iron-ore sequence in Bakchar deposit
af: Rudmin M. A. Maksim Andreevich
Udgivet: (2015)
af: Rudmin M. A. Maksim Andreevich
Udgivet: (2015)
Description of alpha decay and cluster radioactivity in the dinuclear system model
af: Kuklin S. A. Sergey Aleksandrovich
Udgivet: (2016)
af: Kuklin S. A. Sergey Aleksandrovich
Udgivet: (2016)
Synthetic Seismic Models Construction for Detailed Geological Outcrop Description
af: Fedorova E. V. Evgeniya Vyacheslavovna
Udgivet: (2016)
af: Fedorova E. V. Evgeniya Vyacheslavovna
Udgivet: (2016)
Vacuum-free electric arc synthesis of titanium carbide using plant waste-derived carbon
Udgivet: (2023)
Udgivet: (2023)
The abcs of simultaneous interpreting
af: Караваева Н. А.
Udgivet: (Воронеж, ВГУ, 2016)
af: Караваева Н. А.
Udgivet: (Воронеж, ВГУ, 2016)
Synthesis of vanilloloside, calleryanin, and their derivatives
af: Avetyan (Avetian) D. L. David Ludvigovich
Udgivet: (2016)
af: Avetyan (Avetian) D. L. David Ludvigovich
Udgivet: (2016)
Novel synthesis method of azole derivatives
Udgivet: (2013)
Udgivet: (2013)
Higher-derivative Lagrangians for spinning light
af: Aghamalyan D.
Udgivet: (2010)
af: Aghamalyan D.
Udgivet: (2010)
Synthesis of Natural Phenolglycosides, Vanilloloside Derivatives
af: Avetyan (Avetian) D. L. David Ludvigovich
Udgivet: (2015)
af: Avetyan (Avetian) D. L. David Ludvigovich
Udgivet: (2015)
Synthesis of phosphorylated urea derivatives
af: Gorbin S. I.
Udgivet: (2017)
af: Gorbin S. I.
Udgivet: (2017)
Практикум по проектированию на языках VerilogHDL и SystemVerilog учебное пособие для вузов
af: Мурсаев А. Х.
Udgivet: (Санкт-Петербург, Лань, 2025)
af: Мурсаев А. Х.
Udgivet: (Санкт-Петербург, Лань, 2025)
New encryption method and simulation of quasi-random sequences
af: Reizlin (Reyzlin) V. I. Valery Izrailevich
Udgivet: (2014)
af: Reizlin (Reyzlin) V. I. Valery Izrailevich
Udgivet: (2014)
Application of ABC and XYZ Analysis to Inventory Optimization at a Commercial Enterprise
Udgivet: (2020)
Udgivet: (2020)
Geological Descriptiveness for Specialized Methods in the Investigation of Oriented Core Samples
af: Krasnoshchekova L. A. Lubov Afanasievna
Udgivet: (2016)
af: Krasnoshchekova L. A. Lubov Afanasievna
Udgivet: (2016)
Solution for the problem of graph structure invariant description
af: Pogrebnoy A. V. Aleksandr Vladimirovich
Udgivet: (2014)
af: Pogrebnoy A. V. Aleksandr Vladimirovich
Udgivet: (2014)
"A traditional approach" to descriptions of Uralic languages in Russia
af: Мымрина Д. Ф. Дина Федоровна
Udgivet: (2015)
af: Мымрина Д. Ф. Дина Федоровна
Udgivet: (2015)
Discrete-mathematical approach to formal description of measurement procedure
af: Muravyov (Murav’ev) S. V. Sergey Vasilyevich
Udgivet: (1996)
af: Muravyov (Murav’ev) S. V. Sergey Vasilyevich
Udgivet: (1996)
Simple Synthesis of Pyrazole-derived Dithioethers
Udgivet: (2015)
Udgivet: (2015)
Oxidation of a wood extractive betulin to biologically active oxo-derivatives using supported gold catalysts
Udgivet: (2019)
Udgivet: (2019)
Model of Polycrystalline Inelastic Deformation with Grain Boundary Sliding Description
Udgivet: (2014)
Udgivet: (2014)
Synthesis and antiviral activity of antipyrine derivatives
Udgivet: (1992)
Udgivet: (1992)