Analysis of mixed-signal systems with affine arithmetic

被引：11

作者：

Grimm, C ^{[1
]}

Heupke, W ^{[1
]}

Waldschmidt, K ^{[1
]}

机构：

[1] Goethe Univ Frankfurt, Inst Comp Sci, D-60054 Frankfurt, Germany

来源：

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS | 2005年 / 24卷 / 01期

关键词：

affine arithmetic; control systems; mixed-signal systems; property refinement; semisymbolic analysis; signal processing systems;

D O I：

10.1109/TCAD.2004.839469

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper describes methods and a framework for the refinement and analysis of control and signal processing systems. The design starts with an executable specification and its allowed deviations. Refinement steps introduce models of analog or digital implementations, and augment the "ideal" behavior with different sources of uncertainty, such as noise or production tolerances. The framework verifies and analyzes the influence of these uncertainties on system properties using affine arithmetic.

引用

页码：118 / 123

页数：6

共 15 条

[1]

ANDRADE M, 1994, INTERVAL 94 ST PET R

[2]

Bevington P., 2002, Data Reduction and Error Analysis for the Physical Sciences, V3rd ed.

[3]

CANSELL D, 2002, FOR SPEC DES LANG MA

[4] Modeling digital substrate noise injection in mixed-signal IC's [J].

Charbon, E ;

Miliozzi, P ;

Carloni, LP ;

Ferrari, A ;

Sangiovanni-Vincentelli, A .

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1999, 18 (03) :301-310

[5]

FANG C, 2003, DES AUT C CA JUN

[6]

GAY O, 2003, LIBAA C AFFINE ARITH

[7]

GRAUPNER A, 2000, P WORKSH SYST DES AU, P91

[8]

GRIMM C, 2004, FOR SPEC DES LANG LI

[9]

GRIMM C, 2003, SYSTEMC METHODOLOGIE

[10]

Henzinger TA, 1995, LECT NOTES COMPUT SC, V999, P265

← 1 2 →