Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-Line Testability Metric

doi 10.1109/date.2003.1253673
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

On VHDL Synthesis of Self-Checking Two-Level Combinational Circuits

Facta universitatis - series: Electronics and Energetics
2004English

Redundancy and Testability in Digital Filter Datapaths

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
1999English

Cyclic Redundancy Checking (CRC) Accelerator for Embedded Processor Datapaths

International Journal of Advanced Computer Science and Applications
Computer Science
2017English

Object Tracking Using On-Line Distance Metric Learning

2017English

High-Level Petri Net Model Checking With AlPiNA

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2011English

Equivalence Checking for High-Assurance Behavioral Synthesis

2000English

Validation of Service Level Agreements Using Probabilistic Model Checking

2017English

Checking Strong Specifications Using an Extensible Software Model Checking Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Self-Organizing Oligothiophene-Nucleoside Conjugates: Versatile Synthesis via Click-Chemistry

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy