A functional specification notation for co-design of mixed analog-digital systems

Author

Doboli, Alex ; Vemuri, Ranga

Author_Institution

Electr. & Comput. Eng. Dept., State Univ. of New York, Stony Brook, NY, USA

fYear

2002

fDate

2002

Firstpage

760

Lastpage

767

Abstract

This paper discusses aBlox - a specification notation for high-level synthesis of mixed-signal systems. aBlox addresses three important aspects of mixed-signal system specification: (1) description of functionality and (2) performance issues and (3) expression of analog-digital interactions. The semantics of aBlox embeds concepts and rules of a functional computational model, and uses a declarative style to denote performance elements. The paper shows some mixed-signal specifications that we developed in aBlox. Finally, we describe a high-level analog synthesis experiment that used aBlox specifications as inputs

Keywords

VLSI; circuit CAD; formal specification; high level synthesis; integrated circuit design; mixed analogue-digital integrated circuits; programming language semantics; specification languages; SoC; aBlox; analog-digital interactions; analogue/digital codesign; declarative style; functional computational model; functional specification notation; functionality description; high-level synthesis; mixed analog-digital systems; mixed-signal system specification; performance issues; system on chip; Analog circuits; Analog-digital conversion; Circuit synthesis; Circuit testing; Concrete; Constraint optimization; Design automation; Design optimization; Hardware; Signal processing;

fLanguage

English

Publisher

ieee

Conference_Titel

Design, Automation and Test in Europe Conference and Exhibition, 2002. Proceedings

Conference_Location

Paris

ISSN

1530-1591

Print_ISBN

0-7695-1471-5

Type

conf

DOI

10.1109/DATE.2002.998384

Filename

998384