A New Approach for Modeling Inconsistencies in Digital-Assisted Analog Design

Safety critical circuits and systems require a specified function and real world structure to match each other. At the same time the functionality and the structure become more and more complex. This results in a high effort for design verification and test such that specification-oriented testing i...

Full description

Saved in:
Bibliographic Details
Published in:Journal of electronic testing 2016-08, Vol.32 (4), p.491-503
Main Authors: Uygur, Gürkan, Sattler, Sebastian M.
Format: Article
Language:English
Subjects:
Analog
CAE) and Design
Circuits
Circuits and Systems
Composing
Computer-Aided Engineering (CAD
Design engineering
Electrical Engineering
Electronics
Engineering
Feedback
Feedback circuits
Fingerprints
Safety
Safety critical
Specifications
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Safety critical circuits and systems require a specified function and real world structure to match each other. At the same time the functionality and the structure become more and more complex. This results in a high effort for design verification and test such that specification-oriented testing is getting more and more under pressure. In this paper we offer an approach to warrant the match between a specification and its structure by invertibly composing the corresponding “fingerprint” model. Conversely, the fingerprint warrants the match between specification and structure. We present a theoretical framework for creating the fingerprint from the specification and the structure, respectively, and demonstrate the parallel composition of fingerprints to an overall asynchronous feedback circuit system.
ISSN:0923-8174
1573-0727
DOI:10.1007/s10836-016-5600-6